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 555, Fri Mar 3 16:10:30 2000 UTC revision 601, Thu Apr 6 04:38:14 2000 UTC
# Line 51  Line 51 
51           | T(T.PRED(e, _))    = T e           | T(T.PRED(e, _))    = T e
52           | T(T.REXT(t,RTL.OP(misc_op,es))) = GC.INT           | T(T.REXT(t,RTL.OP(misc_op,es))) = GC.INT
53           | T(T.REXT(t,RTL.FETCH(RTL.AGG(_,_,RTL.CELL(k,ty,e,_))))) = GC.TOP           | T(T.REXT(t,RTL.FETCH(RTL.AGG(_,_,RTL.CELL(k,ty,e,_))))) = GC.TOP
54           | T(e) = error("typeOf: "^ #rexp (RTL.showRTL ([],[])) e)           | T(e) = error("typeOf: "^ RTL.expToString e)
55    
56         and binaryArith(t,a,b) =         and binaryArith(t,a,b) =
57             let val ta = T(a)             let val ta = T(a)
# Line 66  Line 66 
66      * Compute the effect      * Compute the effect
67      *)      *)
68     fun effectOf{lookup, update} {action, dst, src, effect} =     fun effectOf{lookup, update} {action, dst, src, effect} =
69     let fun err() = error("effectOf: "^ #stm (RTL.showRTL ([], [])) action)     let fun err() = error("effectOf: "^ RTL.rtlToString action)
70    
71         (* Note the parallel copy semantics! *)         (* Note the parallel copy semantics! *)
72         fun copy(dst, src, e) =         fun copy(dst, src, e) =

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

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