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/reps/typeoper.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/reps/typeoper.sml

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

revision 217, Sun Feb 28 23:41:30 1999 UTC revision 218, Tue Mar 2 08:12:06 1999 UTC
# Line 17  Line 17 
17    val tkAbs  : kenv * (tvar * tkind) list * lvar ->    val tkAbs  : kenv * (tvar * tkind) list * lvar ->
18                    (kenv * (lexp * lexp -> lexp))                    (kenv * (lexp * lexp -> lexp))
19    val tcLexp : kenv -> tyc -> lexp    val tcLexp : kenv -> tyc -> lexp
20    val tsLexp : kenv * tyc list -> lexp    val tsLexp : kenv * tyc list -> (value list * (lexp -> lexp))
21    
22    val utgc   : tyc * kenv * tyc -> value -> lexp    val utgc   : tyc * kenv * tyc -> value -> lexp
23    val utgd   : tyc * kenv * tyc -> value -> lexp    val utgd   : tyc * kenv * tyc -> value -> lexp
# Line 119  Line 119 
119     in SELECT(u, i, x, RET [VAR x])     in SELECT(u, i, x, RET [VAR x])
120    end    end
121    
122  fun APPg(e1, e2) =  fun APPg (e1,(v2s,h2)) =
123    let val (v1, h1) = split e1    let val (v1, h1) = split e1
124        val (v2, h2) = split e2     in h1(h2(APP(v1, v2s)))
    in h1(h2(APP(v1, [v2])))  
125    end    end
126    
127  fun RECORDg es =  fun RECORDg es =

Legend:
Removed from v.217  
changed lines
  Added in v.218

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