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/plambda/flintnm.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/plambda/flintnm.sml

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

revision 586, Thu Mar 30 05:08:07 2000 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 62  Line 62 
62                 must be unit ***)                 must be unit ***)
63            let fun fix t =            let fun fix t =
64                  LT.ltw_arrow(t,                  LT.ltw_arrow(t,
65                   fn (ff,[t1],ts2) =>                  (fn (ff,[t1],ts2) =>
66                     (if LT.tc_eqv(t1, LT.tcc_unit)                     (if LT.tc_eqv(t1, LT.tcc_unit)
67                      then LT.ltc_tyc(LT.tcc_arrow(ff, [], ts2))                      then LT.ltc_tyc(LT.tcc_arrow(ff, [], ts2))
68                      else bug "unexpected zero-args prims 1 in flint_prim"),                       else bug "unexpected zero-args prims 1 in flint_prim")
69                      | _ => bug "flint_prim:t1"),
70                   fn _ => bug "unexpected zero-args prims 2 in flint_prim")                   fn _ => bug "unexpected zero-args prims 2 in flint_prim")
71                val nlt =                val nlt =
72                  LT.ltw_ppoly(lt,                  LT.ltw_ppoly(lt,
# Line 226  Line 227 
227              in tovalue(venv, d, le,              in tovalue(venv, d, le,
228                         fn (v, lty) =>                         fn (v, lty) =>
229                         let val default = Option.map (#1 o tolexp(venv,d)) default                         let val default = Option.map (#1 o tolexp(venv,d)) default
230                             val conlexps as ((_,lty)::_) = map f conlexps                             val conlexps = map f conlexps
231                               val lty = #2 (List.hd conlexps)
232                         in (F.SWITCH(v, acs, map #1 conlexps, default), lty)                         in (F.SWITCH(v, acs, map #1 conlexps, default), lty)
233                         end)                         end)
234              end              end

Legend:
Removed from v.586  
changed lines
  Added in v.587

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