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/ltybasic.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltybasic.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 271  Line 271 
271   ***************************************************************************)   ***************************************************************************)
272    
273  (** utility values and functions on ltyEnv *)  (** utility values and functions on ltyEnv *)
274  type ltyEnv = (lty * DebIndex.depth) IntBinaryMap.map  type ltyEnv = (lty * DebIndex.depth) IntRedBlackMap.map
275    
276  exception ltUnbound  exception ltUnbound
277  val initLtyEnv : ltyEnv = IntBinaryMap.empty  val initLtyEnv : ltyEnv = IntRedBlackMap.empty
278    
279  fun ltLookup (venv, lv, nd) =  fun ltLookup (venv, lv, nd) =
280    (case IntBinaryMap.find(venv, lv)    (case IntRedBlackMap.find(venv, lv)
281       of NONE  =>       of NONE  =>
282            (say "**** hmmm, I didn't find the variable ";            (say "**** hmmm, I didn't find the variable ";
283             say (Int.toString lv); say "\n";             say (Int.toString lv); say "\n";
# Line 288  Line 288 
288                 else ltc_env(lt, 0, nd - d, LK.initTycEnv)                 else ltc_env(lt, 0, nd - d, LK.initTycEnv)
289    (*easc*))    (*easc*))
290    
291  fun ltInsert (venv, lv, lt, d) = IntBinaryMap.insert(venv, lv, (lt, d))  fun ltInsert (venv, lv, lt, d) = IntRedBlackMap.insert(venv, lv, (lt, d))
292    
293  end (* top-level local *)  end (* top-level local *)
294  end (* structure LtyBasic *)  end (* structure LtyBasic *)

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