Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/IL/value-numbering-fn.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/IL/value-numbering-fn.sml

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

revision 2631, Fri May 23 18:13:12 2014 UTC revision 2632, Fri May 23 18:57:58 2014 UTC
# Line 45  Line 45 
45        val {getFn=getVN, setFn=setVN, clrFn=clrVN, ...} = IL.Var.newProp (fn x => x)        val {getFn=getVN, setFn=setVN, clrFn=clrVN, ...} = IL.Var.newProp (fn x => x)
46    
47      (* property for mapping value numbers to hash-consed expressions. *)      (* property for mapping value numbers to hash-consed expressions. *)
48  val {getFn=getExp : IL.var -> expr, setFn=setExp, clrFn=clrExp, ...} =(print "\n pre fn";        val {getFn=getExp : IL.var -> expr, setFn=setExp, clrFn=clrExp, ...} =
49              IL.Var.newProp (fn x => raise Fail(concat["getExp(", IL.Var.toString x, ")"])))              IL.Var.newProp (fn x => raise Fail(concat["getExp(", IL.Var.toString x, ")"]))
50    
51        datatype env = ENV of {        datatype env = ENV of {
52            avail : IL.var ValueMap.map   (* map from expressions to their value numbers, which *)            avail : IL.var ValueMap.map   (* map from expressions to their value numbers, which *)

Legend:
Removed from v.2631  
changed lines
  Added in v.2632

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