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 3336, Wed May 13 12:46:49 2009 UTC revision 3343, Thu May 14 16:29:06 2009 UTC
# Line 136  Line 136 
136  and fctExp  and fctExp
137    = VARfct of EP.entPath   (* selection from current entityEnv *)    = VARfct of EP.entPath   (* selection from current entityEnv *)
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, body : strExp, paramRlzn : strEntity}    | LAMBDA of {param : EP.entVar, body : strExp, paramRlzn : strEntity,
140                   primaries: ST.stamp list}
141         (* paramRlzn is a memoization of the instantiated functor param signature         (* paramRlzn is a memoization of the instantiated functor param signature
142          * used later in the translation phase.  It plays no direct role in          * used later in the translation phase.  It plays no direct role in
143          * entity evaluation. *)          * entity evaluation. *)
# Line 212  Line 213 
213  and fctEntity =  and fctEntity =
214      {stamp    : ST.stamp,      {stamp    : ST.stamp,
215       paramRlzn: strEntity,      (* an instantiation of the param signature *)       paramRlzn: strEntity,      (* an instantiation of the param signature *)
216         primaries: ST.stamp list,
217       closure  : fctClosure,     (* used to compute result rlzn in functor application *)       closure  : fctClosure,     (* used to compute result rlzn in functor application *)
218       rpath    : IP.path,        (* reverse symbolic path name of the functor *)       rpath    : IP.path,        (* reverse symbolic path name of the functor *)
219       stub     : stubinfo option, (* for pickling isolation *)       stub     : stubinfo option, (* for pickling isolation *)
# Line 271  Line 273 
273  val bogusFctEntity : fctEntity =  val bogusFctEntity : fctEntity =
274      {stamp = bogusFctStamp,      {stamp = bogusFctStamp,
275       paramRlzn = bogusStrEntity,       paramRlzn = bogusStrEntity,
276         primaries = [],
277       closure = CLOSURE{param=EP.bogusEntVar,       closure = CLOSURE{param=EP.bogusEntVar,
278                         body= CONSTstr bogusStrEntity,                         body= CONSTstr bogusStrEntity,
279                         env=NILeenv},                         env=NILeenv},

Legend:
Removed from v.3336  
changed lines
  Added in v.3343

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