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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/low-to-tree/low-to-tree.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/low-to-tree/low-to-tree.sml

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

revision 4163, Thu Jul 7 09:45:19 2016 UTC revision 4164, Thu Jul 7 12:56:59 2016 UTC
# Line 830  Line 830 
830                          doNode (!succ, ifStk, stm :: stms)                          doNode (!succ, ifStk, stm :: stms)
831                        end                        end
832                    | k as IR.EXIT{kind, succ, ...} => (case (!succ, kind)                    | k as IR.EXIT{kind, succ, ...} => (case (!succ, kind)
833                         of (NONE, ExitKind.RETURN) => mkBlock (List.rev(T.S_Exit :: stms))                         of (NONE, ExitKind.RETURN NONE) => mkBlock (List.rev(T.S_Exit :: stms))
834                            | (NONE, ExitKind.RETURN(SOME x)) => raise Fail "FIXME: RETURN"
835                          | (NONE, ExitKind.ACTIVE) => mkBlock (List.rev(T.S_Active :: stms))                          | (NONE, ExitKind.ACTIVE) => mkBlock (List.rev(T.S_Active :: stms))
836                          | (NONE, ExitKind.STABILIZE) => let                          | (NONE, ExitKind.STABILIZE) => let
837                              val stms = T.S_Stabilize :: stms                              val stms = T.S_Stabilize :: stms

Legend:
Removed from v.4163  
changed lines
  Added in v.4164

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