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/src/MLRISC/gc-safety/gc-type-system.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/gc-safety/gc-type-system.sml

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

revision 601, Thu Apr 6 04:38:14 2000 UTC revision 624, Fri Apr 21 03:06:21 2000 UTC
# Line 95  Line 95 
95                  | RTL.AGG(_,_,_) => e                  | RTL.AGG(_,_,_) => e
96              end              end
97           | E(T.EXT(RTL.PAR(a,b)), e) = E(b,E(a,e))           | E(T.EXT(RTL.PAR(a,b)), e) = E(b,E(a,e))
          | E(T.PINNED s, e) = E(s, e)  
98           | E(rtl, e) = err()           | E(rtl, e) = err()
99     in  E(action, effect) end     in  E(action, effect) end
100    

Legend:
Removed from v.601  
changed lines
  Added in v.624

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