Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Diff of /sml/branches/FLINT/src/compiler/FLINT/reps/ltnarrow.sml
ViewVC logotype

Diff of /sml/branches/FLINT/src/compiler/FLINT/reps/ltnarrow.sml

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

revision 44, Sun Mar 22 20:10:57 1998 UTC revision 45, Sun Mar 22 20:11:09 1998 UTC
# Line 9  Line 9 
9  structure LtNarrow : LTNARROW =  structure LtNarrow : LTNARROW =
10  struct  struct
11    
12  local structure LU = LtyUtil  local structure LT = LtyExtern
13        open Lambda        open Lambda
14  in  in
15    
# Line 18  Line 18 
18  fun narrow lexp =  fun narrow lexp =
19  let  let
20    
21  val (tcNarrow, ltNarrow, clear) = LU.narrowGen ()  val (tcNarrow, ltNarrow, clear) = LT.tnarrow_gen ()
22    
23  fun lpsv sv =  fun lpsv sv =
24    (case sv    (case sv
# Line 38  Line 38 
38       | UNWRAP(tc, b, v) => UNWRAP(tcNarrow tc, b, lpsv v)       | UNWRAP(tc, b, v) => UNWRAP(tcNarrow tc, b, lpsv v)
39    
40       | CON _ => bug "unexpected CON in loop"       | CON _ => bug "unexpected CON in loop"
41       | DECON _ => bug "unexpected CON in loop"       | DECON (dc, ts, v) => SVAL(lpsv v)
42             (* bug "unexpected DECON in loop" *)
43    
44       | SWITCH (v, reps, cases, opp) =>       | SWITCH (v, reps, cases, opp) =>
45           let fun g (c, x) = (c, loop x)           let fun g (c, x) = (c, loop x)

Legend:
Removed from v.44  
changed lines
  Added in v.45

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