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

Diff of /sml/trunk/src/compiler/FLINT/flint/chkflint.sml

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

revision 732, Mon Nov 13 21:59:12 2000 UTC revision 733, Fri Nov 17 05:13:45 2000 UTC
# Line 25  Line 25 
25        structure DI = DebIndex        structure DI = DebIndex
26        structure PP = PPFlint        structure PP = PPFlint
27        structure PO = PrimOp        structure PO = PrimOp
28        structure S  = Intset        structure S  = IntRedBlackSet
29        open FLINT        open FLINT
30    
31  fun bug s = ErrorMsg.impossible ("ChkFlint: "^s)  fun bug s = ErrorMsg.impossible ("ChkFlint: "^s)
# Line 93  Line 93 
93       * illegal).  Note that lvars and tvars actually share the same       * illegal).  Note that lvars and tvars actually share the same
94       * namespace!   --league, 11 April 1998       * namespace!   --league, 11 April 1998
95       *)       *)
96    val definedLvars = S.new()    val definedLvars = ref S.empty
97    fun lvarDef le (lvar:lvar) =    fun lvarDef le (lvar:lvar) =
98        if S.mem definedLvars lvar then        if S.member(!definedLvars, lvar) then
99            errMsg (le, ("lvar " ^ (LambdaVar.prLvar lvar) ^ " redefined"), ())            errMsg (le, ("lvar " ^ (LambdaVar.prLvar lvar) ^ " redefined"), ())
100        else        else
101            S.add definedLvars lvar            definedLvars := S.add(!definedLvars, lvar)
102    
103    val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)    val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)
104    val ltTAppChk =    val ltTAppChk =

Legend:
Removed from v.732  
changed lines
  Added in v.733

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