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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/simplify/simplify.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/simplify/simplify.sml

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

revision 2013, Mon Oct 8 14:52:41 2012 UTC revision 2014, Mon Oct 8 14:58:19 2012 UTC
# Line 34  Line 34 
34              | AST.E_Lit(Literal.String s) => InP.String s              | AST.E_Lit(Literal.String s) => InP.String s
35              | AST.E_Lit(Literal.Bool b) => InP.Bool b              | AST.E_Lit(Literal.Bool b) => InP.Bool b
36              | AST.E_Tuple es => raise Fail "E_Tuple not yet implemented"              | AST.E_Tuple es => raise Fail "E_Tuple not yet implemented"
37    (*
38              | AST.E_Cons es => let              | AST.E_Cons es => let
39                  fun toReal (AST.E_Lit(Literal.Int n)) = FloatLit.fromInt n                  fun toReal (AST.E_Lit(Literal.Int n)) = FloatLit.fromInt n
40                    | toReal (AST.E_Lit(Literal.Float f)) = f                    | toReal (AST.E_Lit(Literal.Float f)) = f
# Line 53  Line 54 
54                  end                  end
55              | AST.E_Seq es => ??              | AST.E_Seq es => ??
56              | AST.E_Coerce{srcTy, dstTy, e} => ??              | AST.E_Coerce{srcTy, dstTy, e} => ??
57    *)
58              | _ => raise Fail "impossible initialization expression"              | _ => raise Fail "impossible initialization expression"
59            (* end case *))            (* end case *))
60    
# Line 81  Line 83 
83                   of AST.D_Input(x, desc, NONE) => let                   of AST.D_Input(x, desc, NONE) => let
84                        val (ty, init) = (case Var.monoTypeOf x                        val (ty, init) = (case Var.monoTypeOf x
85                               of ty as Ty.T_Image{dim, shape} => let                               of ty as Ty.T_Image{dim, shape} => let
86                                    val info = ImageInfo.mkInfo(TypeUtil.monoDim dim, TypeUtil.monoShape shp)                                    val info = ImageInfo.mkInfo(TypeUtil.monoDim dim, TypeUtil.monoShape shape)
87                                    in                                    in
88                                      (ty, SOME(InP.Image info))                                      (ty, SOME(InP.Image info))
89                                    end                                    end

Legend:
Removed from v.2013  
changed lines
  Added in v.2014

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