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/lsplit/ls-inline.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/lsplit/ls-inline.sml

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

revision 2013, Fri Aug 11 04:09:23 2006 UTC revision 2014, Fri Aug 11 20:42:24 2006 UTC
# Line 17  Line 17 
17      type import = pid * importTree      type import = pid * importTree
18      type symenv = SymbolicEnv.env      type symenv = SymbolicEnv.env
19    
20        structure LT = Lty
21      structure LK = LtyKernel      structure LK = LtyKernel
22      structure LV = LambdaVar      structure LV = LambdaVar
23      structure F  = FLINT      structure F  = FLINT
# Line 29  Line 30 
30          let          let
31              val importTypes =              val importTypes =
32                  case LK.lt_out mainArgLty of                  case LK.lt_out mainArgLty of
33                      LK.LT_STR it => it                      LT.LT_STR it => it
34                    | _ => bug "non-structure arg to comp-unit"                    | _ => bug "non-structure arg to comp-unit"
35              val newArgLvar = LV.mkLvar ()              val newArgLvar = LV.mkLvar ()
36              val symLook = SymbolicEnv.look symenv              val symLook = SymbolicEnv.look symenv
# Line 92  Line 93 
93                  end                  end
94    
95              val (tyl, imps, newBody) = build (imports, importTypes, 0, [])              val (tyl, imps, newBody) = build (imports, importTypes, 0, [])
96              val newArgLty = LK.lt_inj (LK.LT_STR tyl)              val newArgLty = LK.lt_inj (LT.LT_STR tyl)
97          in          in
98              ((mainFkind, mainLvar, [(newArgLvar, newArgLty)], newBody), imps)              ((mainFkind, mainLvar, [(newArgLvar, newArgLty)], newBody), imps)
99          end          end

Legend:
Removed from v.2013  
changed lines
  Added in v.2014

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