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.sig
ViewVC logotype

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

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

revision 3287, Wed Apr 8 06:15:05 2009 UTC revision 3288, Fri Apr 10 17:07:35 2009 UTC
# Line 101  Line 101 
101    = VARfct of EntPath.entPath    = VARfct of EntPath.entPath
102    | CONSTfct of fctEntity    | CONSTfct of fctEntity
103    | LAMBDA of {param : EntPath.entVar, paramRlzn : strEntity, body : strExp}    | LAMBDA of {param : EntPath.entVar, paramRlzn : strEntity, body : strExp}
   | LAMBDA_TP of {param : EntPath.entVar, body : strExp, sign : fctSig}  
104    | LETfct of entityDec * fctExp    | LETfct of entityDec * fctExp
105    
106  and entityExp  and entityExp

Legend:
Removed from v.3287  
changed lines
  Added in v.3288

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