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 3343, Thu May 14 16:29:06 2009 UTC revision 3344, Fri May 15 12:52:07 2009 UTC
# Line 137  Line 137 
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}                 primaries: Types.tycon 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 213  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,       primaries: Types.tycon 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 *)

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

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