SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/flint/chkflint.sml
Parent Directory
| 
Revision Log
| 
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) |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
