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
 [smlnj] / sml / trunk / src / MLRISC / gc-safety / gc-type-system.sml

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

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