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

Diff of /sml/branches/primop-branch-3/compiler/FLINT/plambda/flintnm.sml

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

revision 2388, Sat Apr 7 14:10:04 2007 UTC revision 2389, Mon Apr 9 17:03:21 2007 UTC
# Line 632  Line 632 
632                      fn (le_lv, le_lty) =>                      fn (le_lv, le_lty) =>
633                      let val (c_lexp, c_lty) = cont(LT.ltc_etag lty)                      let val (c_lexp, c_lty) = cont(LT.ltc_etag lty)
634                          val mketag = FU.mketag (FL.tcc_raw (LT.ltd_tyc lty))                          val mketag = FU.mketag (FL.tcc_raw (LT.ltd_tyc lty))
635                                         handle LT.DeconExn => bug "etag in flintnm"
636                      in (flint_prim(mketag, [le_lv], lvar, c_lexp), c_lty)                      in (flint_prim(mketag, [le_lv], lvar, c_lexp), c_lty)
637                      end)                      end)
638        | L.CON ((s,cr,lty),tycs,le) =>        | L.CON ((s,cr,lty),tycs,le) =>
# Line 708  Line 709 
709      let val r =      let val r =
710              (#1(tofundec(LT.initLtyEnv, DI.top, mkv(), arg_lv, arg_lty, e, false))              (#1(tofundec(LT.initLtyEnv, DI.top, mkv(), arg_lv, arg_lty, e, false))
711               handle x => raise x)               handle x => raise x)
712      in (debugmsg "<<norm"; r)      in (debugmsg "<<norm" (*; PPFlint.printFundec r *); r)
713      end      end
714    | norm _ = bug "unexpected toplevel lexp"    | norm _ = bug "unexpected toplevel lexp"
715    

Legend:
Removed from v.2388  
changed lines
  Added in v.2389

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