Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

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 58, Mon Mar 30 01:11:18 1998 UTC revision 59, Mon Mar 30 19:24:59 1998 UTC
# Line 89  Line 89 
89    val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)    val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)
90    
91    val ltTAppChk =    val ltTAppChk =
92        if !Control.CG.checkkinds then        if !Control.CG.checkKinds then
93            LT.lt_inst_chk_gen()            LT.lt_inst_chk_gen()
94        else        else
95            fn (lt,ts,_) => LT.lt_inst(lt,ts)            fn (lt,ts,_) => LT.lt_inst(lt,ts)

Legend:
Removed from v.58  
changed lines
  Added in v.59

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