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

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltyextern.sml

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

revision 2042, Thu Aug 24 14:56:24 2006 UTC revision 2043, Thu Aug 24 16:32:45 2006 UTC
# Line 67  Line 67 
67  fun lt_bug lt s = bug (s ^ "\n\n" ^ (lt_print lt) ^ "\n\n")  fun lt_bug lt s = bug (s ^ "\n\n" ^ (lt_print lt) ^ "\n\n")
68    
69  val ltKindChk = LtyKindChk.ltKindCheckGen ()  val ltKindChk = LtyKindChk.ltKindCheckGen ()
70  val (tcKindChk,teKindChk) = LtyKindChk.tcteKindCheckGen ()  val (tcKindChk,tcKindVer,teKindChk) = LtyKindChk.tcteKindCheckGen ()
71    
72  val tkc_mono = LT.tkc_mono  val tkc_mono = LT.tkc_mono
73    

Legend:
Removed from v.2042  
changed lines
  Added in v.2043

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