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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/simple/simple.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/simple/simple.sml

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

revision 3455, Mon Nov 23 13:54:15 2015 UTC revision 3456, Mon Nov 23 15:49:56 2015 UTC
# Line 22  Line 22 
22      datatype meta_arg = datatype SimpleTypes.meta_arg      datatype meta_arg = datatype SimpleTypes.meta_arg
23    
24      datatype input_init      datatype input_init
25        = ConstExpr of ConstExpr.t        (* constant value *)        = NoDefault                       (* uninitialized input *)
26          | ConstExpr                       (* initialized to constant.  The actual initialization
27                                             * is handled in the constInit block.
28                                             *)
29        | LoadSeq of string               (* load a sequence from a file *)        | LoadSeq of string               (* load a sequence from a file *)
30        | Proxy of string * ImageInfo.info (* input image specified by proxy *)        | Proxy of string * ImageInfo.info (* input image specified by proxy *)
31        | Image of ImageInfo.info         (* input image w/o proxy *)        | Image of ImageInfo.info         (* input image w/o proxy *)
# Line 30  Line 33 
33      datatype input = INP of {           (* global input variable *)      datatype input = INP of {           (* global input variable *)
34          var : var,                      (* the global variable *)          var : var,                      (* the global variable *)
35          desc : string option,           (* the optional descriptor *)          desc : string option,           (* the optional descriptor *)
36          init : input_init option        (* the optional initialization *)          init : input_init               (* the optional default value *)
37        }        }
38    
39      datatype program = Program of {      datatype program = Program of {
40          props : Properties.t list,          props : Properties.t list,
41  (* consts? *)          consts : var list,              (* constant variables *)
42          inputs : input list,            (* input globals *)          inputs : input list,            (* input globals *)
43            constInit : block,              (* code that initializes constants and inputs *)
44          globals : var list,             (* non-input globals *)          globals : var list,             (* non-input globals *)
45          funcs : func list,          funcs : func list,
46          init : block,          init : block,
# Line 85  Line 89 
89      and exp      and exp
90        = E_Var of var        = E_Var of var
91        | E_Lit of Literal.t        | E_Lit of Literal.t
92          | E_Select of var * var                                   (* strand-field selection *)
93        | E_Apply of var * var list * ty                          (* user-defined function *)        | E_Apply of var * var list * ty                          (* user-defined function *)
94        | E_Prim of AST.var * meta_arg list * var list * ty       (* Diderot builtin *)        | E_Prim of AST.var * meta_arg list * var list * ty       (* Diderot builtin *)
95        | E_Tensor of var list * ty        | E_Tensor of var list * ty
# Line 101  Line 106 
106              | (Literal.String s) => SimpleTypes.T_String              | (Literal.String s) => SimpleTypes.T_String
107              | (Literal.Bool _) => SimpleTypes.T_Bool              | (Literal.Bool _) => SimpleTypes.T_Bool
108            (* end case *))            (* end case *))
109          | typeOf (E_Select(_, fld)) = SimpleVar.typeOf fld
110        | typeOf (E_Apply(_, _, ty)) = ty        | typeOf (E_Apply(_, _, ty)) = ty
111        | typeOf (E_Prim(_, _, _, ty)) = ty        | typeOf (E_Prim(_, _, _, ty)) = ty
112        | typeOf (E_Tensor(_, ty)) = ty        | typeOf (E_Tensor(_, ty)) = ty

Legend:
Removed from v.3455  
changed lines
  Added in v.3456

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