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 2961, Mon Mar 24 02:55:01 2008 UTC revision 3006, Fri Apr 25 20:02:56 2008 UTC
# Line 125  Line 125 
125  and fctExp  and fctExp
126    = VARfct of EP.entPath (* selection from current entityEnv *)    = VARfct of EP.entPath (* selection from current entityEnv *)
127    | CONSTfct of fctEntity    | CONSTfct of fctEntity
128    | LAMBDA of {param : EP.entVar, paramEnts : entityEnv, body : strExp}    | LAMBDA of {param : EP.entVar, paramRlzn : strEntity, body : strExp}
129    | LAMBDA_TP of {param : EP.entVar, body : strExp, sign : fctSig}    | LAMBDA_TP of {param : EP.entVar, body : strExp, sign : fctSig}
130    | LETfct of entityDec * fctExp    | LETfct of entityDec * fctExp
131    
# Line 197  Line 197 
197    
198  and fctEntity =  and fctEntity =
199      {stamp    : ST.stamp,      {stamp    : ST.stamp,
200       paramEnts: entityEnv,       paramRlzn: strEntity,
201         bodyRlzn : strEntity,
202       closure  : fctClosure,       closure  : fctClosure,
203       properties: PropList.holder, (* lambdaty *)       properties: PropList.holder, (* lambdaty *)
204       rpath    : IP.path,       rpath    : IP.path,
# Line 240  Line 241 
241    
242  val bogusFctEntity : fctEntity =  val bogusFctEntity : fctEntity =
243      {stamp = bogusFctStamp,      {stamp = bogusFctStamp,
244       paramEnts = ERReenv,       paramRlzn = bogusStrEntity,
245         bodyRlzn = bogusStrEntity,
246       closure = CLOSURE{param=EP.bogusEntVar,       closure = CLOSURE{param=EP.bogusEntVar,
247                         body= CONSTstr bogusStrEntity,                         body= CONSTstr bogusStrEntity,
248                         env=NILeenv},                         env=NILeenv},

Legend:
Removed from v.2961  
changed lines
  Added in v.3006

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