Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2060, Thu Sep 7 20:57:35 2006 UTC revision 2061, Fri Sep 22 19:07:06 2006 UTC
# Line 322  Line 322 
322    
323                   | LET(v, e1, e2) =>                   | LET(v, e1, e2) =>
324                     let val t1 = loop e1                     let val t1 = loop e1
325                         val _ = ltyChkenv "LET definen" t1                         val _ = ltyChkenv "LET definien" t1
326                         val venv' = LT.ltInsert(venv, v, t1, d)                         val venv' = LT.ltInsert(venv, v, t1, d)
327                         val bodyLty = check (kenv, venv', d) e2                         val bodyLty = check (kenv, venv', d) e2
328                         val _ = ltyChkenv "LET body" bodyLty                         val _ = ltyChkenv "LET body" bodyLty

Legend:
Removed from v.2060  
changed lines
  Added in v.2061

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0