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/Elaborator/modules/instantiate.sml
ViewVC logotype

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

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

revision 3376, Fri May 22 16:15:37 2009 UTC revision 3377, Fri May 22 23:06:37 2009 UTC
# Line 1488  Line 1488 
1488                                    val primaries = map PrimaryTyc primaryTycs @                                    val primaries = map PrimaryTyc primaryTycs @
1489                                                    map PrimaryFct primaryFcts                                                    map PrimaryFct primaryFcts
1490                                    val exp = LAMBDA{param=paramvar,                                    val exp = LAMBDA{param=paramvar,
1491                                                     body=bodyExp,                                                     body=bodyExp}
                                                    primaries=primaries}  
1492                                in primFcts := (stamp,sign,epath)::(!primFcts);                                in primFcts := (stamp,sign,epath)::(!primFcts);
1493                                   FCTent {stamp = stamp,                                   FCTent {stamp = stamp,
1494                                           exp = exp,                                           exp = exp,
1495                                             primaries = primaryTycs,
1496                                             paramEnv = #entities paramRlzn,
1497                                           closureEnv = entEnv,                                           closureEnv = entEnv,
1498                                           rpath = path,                                           rpath = path,
1499                                           stub = NONE,                                           stub = NONE,

Legend:
Removed from v.3376  
changed lines
  Added in v.3377

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