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/primop-branch-3/compiler/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/trans/translate.sml

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

revision 3294, Tue Apr 21 11:19:52 2009 UTC revision 3295, Thu Apr 23 14:42:42 2009 UTC
# Line 40  Line 40 
40        structure TU = TypesUtil        structure TU = TypesUtil
41        structure V  = VarCon        structure V  = VarCon
42        structure EU = ElabUtil        structure EU = ElabUtil
       structure TTP = TypesTP  
43        structure FTM = FlexTycMap        structure FTM = FlexTycMap
44    
45        structure IIMap = RedBlackMapFn (type ord_key = IntInf.int        structure IIMap = RedBlackMapFn (type ord_key = IntInf.int
46                                          val compare = IntInf.compare)                                          val compare = IntInf.compare)
47    
48        open Absyn PLambda        open Absyn PLambda
       (* open AbsynTP (* TODO: Should just qualify pats or split out,  
                       counting on correct shadowing is fragile  
                       and dangerous. *) *)  
49  in  in
50    
51  type flexmap = TypesTP.tycpath FlexTycMap.map  type flexmap = TypesTP.tycpath FlexTycMap.map

Legend:
Removed from v.3294  
changed lines
  Added in v.3295

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