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-3/compiler/FLINT/plambda/chkplexp.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/plambda/chkplexp.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                  else LT.ltc_etag lt                  else LT.ltc_etag lt
88  fun ltVector t = if laterPhase(phase) then LT.ltc_void  fun ltVector t = if laterPhase(phase) then LT.ltc_void
89                   else LT.ltc_tyc(LT.tcc_vector t)                   else LT.ltc_tyc(LT.tcc_vector t)
90    val lt_inst_chk = LT.lt_inst_chk_gen()
91    
92  (** lazily selecting a field from a record/structure type *)  (** lazily selecting a field from a record/structure type *)
93  exception LtySelect  exception LtySelect
# Line 104  Line 105 
105  fun ltArrow lt = (LT.lt_arrow lt) handle _ => raise LtyArrow  fun ltArrow lt = (LT.lt_arrow lt) handle _ => raise LtyArrow
106    
107  fun ltAppChk (lt, ts, kenv) =  fun ltAppChk (lt, ts, kenv) =
108    (case LT.lt_inst_chk(lt, ts, kenv)    (case lt_inst_chk(lt, ts, kenv)
109      of [b] => b      of [b] => b
110       | _ => bug "unexpected ase in ltAppChk")       | _ => bug "unexpected ase in ltAppChk")
111    

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