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-3/compiler/ElabData/modules/modules.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/ElabData/modules/modules.sml

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

revision 3347, Fri May 15 15:53:19 2009 UTC revision 3348, Fri May 15 16:48:04 2009 UTC
# Line 138  Line 138 
138    | CONSTfct of fctEntity  (* a constant reference to an existing fct entity *)    | CONSTfct of fctEntity  (* a constant reference to an existing fct entity *)
139    | LAMBDA of {param : EP.entVar,    | LAMBDA of {param : EP.entVar,
140                 body : strExp,                 body : strExp,
141                 primaries: Types.tycon list * (ST.stamp * fctsig) list}                 primaries: Types.tycon list * (ST.stamp * fctSig) list}
142                  (* these become FLINT type variables *)                  (* these become FLINT type variables *)
143    | LETfct of entityDec * fctExp    | LETfct of entityDec * fctExp
144    
# Line 271  Line 271 
271  val bogusFctEntity : fctEntity =  val bogusFctEntity : fctEntity =
272      {stamp = bogusFctStamp,      {stamp = bogusFctStamp,
273       exp = LAMBDA {param=EP.bogusEntVar,       exp = LAMBDA {param=EP.bogusEntVar,
274                     paramRlzn=bogusStrEntity,                     primaries=([],[]),
                    primaries=[],  
275                     body=CONSTstr bogusStrEntity},                     body=CONSTstr bogusStrEntity},
276       closureEnv = NILeenv,       closureEnv = NILeenv,
277       (* closure = CLOSURE{param=EP.bogusEntVar,       (* closure = CLOSURE{param=EP.bogusEntVar,

Legend:
Removed from v.3347  
changed lines
  Added in v.3348

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