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/compiler/FLINT/kernel/ltyextern.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sml

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

revision 503, Tue Dec 7 17:56:19 1999 UTC revision 504, Tue Dec 7 18:31:05 1999 UTC
# Line 133  Line 133 
133      val recallOrCompute : dict * tkindEnv * tyc * (unit -> tkind) -> tkind      val recallOrCompute : dict * tkindEnv * tyc * (unit -> tkind) -> tkind
134  end =  end =
135  struct  struct
136        structure TcDict = RedBlackMapFn
137                               (struct
138                                   type ord_key = tyc
139                                   val compare = LK.tc_cmp
140                               end)
141    
142      type dict = (tkind * tkind) list TcDict.map ref      type dict = (tkind * tkind) list TcDict.map ref
143      val newDict : unit -> dict = ref o (fn () => TcDict.empty)      val newDict : unit -> dict = ref o (fn () => TcDict.empty)

Legend:
Removed from v.503  
changed lines
  Added in v.504

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