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 52, Mon Mar 23 03:59:51 1998 UTC revision 53, Mon Mar 23 04:02:58 1998 UTC
# Line 87  Line 87 
87    
88  fun check phase envs lexp = let  fun check phase envs lexp = let
89    val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)    val ltEquiv = LT.lt_eqv_x (* should be LT.lt_eqv *)
90    fun ltTAppChk (lt, ts, kenv) = LT.lt_inst(lt, ts)  
91      val ltTAppChk =
92          if !Control.CG.checkkinds then
93              LT.lt_inst_chk_gen()
94          else
95              fn (lt,ts,_) => LT.lt_inst(lt,ts)
96    
97    fun constVoid _ = LT.ltc_void    fun constVoid _ = LT.ltc_void
98    val (ltString,ltExn,ltEtag,ltVector,ltWrap) =    val (ltString,ltExn,ltEtag,ltVector,ltWrap) =

Legend:
Removed from v.52  
changed lines
  Added in v.53

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