Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/simplify/eval.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/simplify/eval.sml

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

revision 700, Fri Mar 25 23:38:46 2011 UTC revision 701, Tue Mar 29 17:00:37 2011 UTC
# Line 178  Line 178 
178                   of NONE => NONE                   of NONE => NONE
179                    | SOME vs => SOME(TV([List.length vs], List.map (fn (TV([], [r])) => r) vs))                    | SOME vs => SOME(TV([List.length vs], List.map (fn (TV([], [r])) => r) vs))
180                  (* end case *))                  (* end case *))
181              | S.E_Slice(e, indices, _) => raise Fail "TODO: E_Slice"              | S.E_Slice(x, indices, _) => (case VMap.find (env, x)
182                     of SOME(TV(dd, vs)) => raise Fail "E_Slice"
183                      | _ => NONE
184                    (* end case *))
185              | S.E_Input(ty, name, optDefault) => raise Fail "impossible"              | S.E_Input(ty, name, optDefault) => raise Fail "impossible"
186              | S.E_LoadImage info => SOME(ImgV info)              | S.E_LoadImage info => SOME(ImgV info)
187            (* end case *))            (* end case *))

Legend:
Removed from v.700  
changed lines
  Added in v.701

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