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 3343, Thu May 14 16:29:06 2009 UTC revision 3344, Fri May 15 12:52:07 2009 UTC
# Line 1486  Line 1486 
1486                                                                VARstr [paramvar]))                                                                VARstr [paramvar]))
1487                                            end                                            end
1488                                          | INST_FORMAL => M.FORMstr sign                                          | INST_FORMAL => M.FORMstr sign
1489                                    val (paramRlzn, _, _) =                                    val (paramRlzn, abstycs, _) =
1490                                        instGeneric{sign=paramsig, entEnv=entEnv,                                        instGeneric{sign=paramsig, entEnv=entEnv,
1491                                                    rpath=path,                                                    rpath=path,
1492                                                    region=SourceMap.nullRegion,                                                    region=SourceMap.nullRegion,
# Line 1501  Line 1501 
1501                                                     env=entEnv}                                                     env=entEnv}
1502                                in FCTent {stamp = stamp,                                in FCTent {stamp = stamp,
1503                                           rpath=path,                                           rpath=path,
1504                                             primaries = abstycs,
1505                                           paramRlzn = paramRlzn,                                           paramRlzn = paramRlzn,
1506                                           closure=cl,                                           closure=cl,
1507                                           properties = PropList.newHolder (),                                           properties = PropList.newHolder (),

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