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

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml

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

revision 53, Mon Mar 23 04:02:58 1998 UTC revision 71, Fri Apr 3 01:57:57 1998 UTC
# Line 95  Line 95 
95    (LT.lt_select(lt, i)) handle _ => raise LtySelect    (LT.lt_select(lt, i)) handle _ => raise LtySelect
96    
97  (** build a function or functor type from a pair of arbitrary ltys *)  (** build a function or functor type from a pair of arbitrary ltys *)
98    fun ltFun (x, y) =
99  val ltFun = LT.ltc_fun    if (LT.ltp_tyc x) andalso (LT.ltp_tyc y) then LT.ltc_parrow(x, y)
100      else LT.ltc_pfct(x, y)
101    
102  fun ltTup ts = LT.ltc_tyc(LT.tcc_tuple (map LT.ltd_tyc ts))  fun ltTup ts = LT.ltc_tyc(LT.tcc_tuple (map LT.ltd_tyc ts))
103    
104  (** lazily finding out the arg and res of an lty *)  (** lazily finding out the arg and res of an lty *)
105  exception LtyArrow  exception LtyArrow
106  fun ltArrow lt = (LT.lt_arrow lt) handle _ => raise LtyArrow  fun ltArrow lt =
107      (if LT.ltp_tyc lt then LT.ltd_parrow lt
108       else LT.ltd_pfct lt) handle _ => raise LtyArrow
109    
110    val lt_inst_chk = LT.lt_inst_chk_gen()
111    
112  fun ltAppChk (lt, ts, kenv) =  fun ltAppChk (lt, ts, kenv) =
113    (case lt_inst_chk(lt, ts, kenv)    (case lt_inst_chk(lt, ts, kenv)

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

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