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/branches/SMLNJ/src/MLRISC/gc-safety/gc-typing.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/gc-safety/gc-typing.sml

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

revision 474, Wed Nov 10 22:59:58 1999 UTC revision 475, Wed Nov 10 22:59:58 1999 UTC
# Line 4  Line 4 
4  functor GCTyping  functor GCTyping
5     (structure IR : MLRISC_IR     (structure IR : MLRISC_IR
6      structure GCProps : GC_PROPERTIES      structure GCProps : GC_PROPERTIES
7        structure GCMap : GC_MAP
8      structure Props : INSN_PROPERTIES      structure Props : INSN_PROPERTIES
9           sharing GCMap.GC = GCProps.GC
10         sharing IR.I = GCProps.I = Props.I         sharing IR.I = GCProps.I = Props.I
11     ) : GC_TYPING =     ) : GC_TYPING =
12  struct  struct
# Line 16  Line 18 
18     structure An  = Annotations     structure An  = Annotations
19    
20     fun gcTyping(IR as G.GRAPH cfg) =     fun gcTyping(IR as G.GRAPH cfg) =
21         case #get GC.GCMAP (CFG.getAnnotations IR)         case #get GCMap.GCMAP (CFG.getAnnotations IR)
22         of NONE => IR (* no gc map; do nothing *)         of NONE => IR (* no gc map; do nothing *)
23          | SOME gcmap =>          | SOME gcmap =>
24         let val lookup = Intmap.map gcmap         let val lookup = Intmap.map gcmap

Legend:
Removed from v.474  
changed lines
  Added in v.475

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