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/trunk/compiler/Semant/statenv/prim.sml
ViewVC logotype

Diff of /sml/trunk/compiler/Semant/statenv/prim.sml

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

revision 4415, Mon Sep 18 20:38:19 2017 UTC revision 4416, Mon Sep 18 20:39:57 2017 UTC
# Line 493  Line 493 
493                         elements=allElements,                         elements=allElements,
494                         typsharing=nil, strsharing=nil,                         typsharing=nil, strsharing=nil,
495                         properties = PropList.newHolder (),                         properties = PropList.newHolder (),
                        (* boundeps=ref (SOME []), *)  
                        (* lambdaty=ref NONE, *)  
496                         stub = NONE}                         stub = NONE}
497     in M.STR{sign=M.SIG sigrec,     in M.STR{sign=M.SIG sigrec,
498              rlzn={stamp=ST.special "uListStr",              rlzn={stamp=ST.special "uListStr",
499                    stub=NONE,                    stub=NONE,
500                    entities=EE.bind(ev,M.TYCent BT.ulistTycon,EE.empty),                    entities=EE.bind(ev,M.TYCent BT.ulistTycon,EE.empty),
501                    properties = PropList.newHolder (),                    properties = PropList.newHolder (),
                   (* lambdaty=ref(NONE), *)  
502                    rpath=IP.IPATH[S.strSymbol "uList"]},                    rpath=IP.IPATH[S.strSymbol "uList"]},
503              access=A.nullAcc, prim= []}              access=A.nullAcc, prim= []}
504    end    end

Legend:
Removed from v.4415  
changed lines
  Added in v.4416

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