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 3500, Wed Dec 16 15:01:40 2015 UTC revision 3501, Thu Dec 17 20:07:13 2015 UTC
# Line 71  Line 71 
71          code : block                    (* the loop nest for creating the strands *)          code : block                    (* the loop nest for creating the strands *)
72        }        }
73    
74      and block = Block of stmt list      and block = Block of {
75            code : stmt list,                       (* the body of the block *)
76            props : PropList.holder                 (* property list *)
77          }
78    
79      and stmt      and stmt
80        = S_Var of var * exp option               (* introduce a local variable.  The uninitialized *)        = S_Var of var * exp option               (* introduce a local variable.  The uninitialized *)
# Line 127  Line 130 
130        | typeOf (E_LoadSeq(ty, _)) = ty        | typeOf (E_LoadSeq(ty, _)) = ty
131        | typeOf (E_LoadImage(ty, _, _)) = ty        | typeOf (E_LoadImage(ty, _, _)) = ty
132    
133        fun newProp initFn = PropList.newProp (fn (Block{props, ...}) => props, initFn)
134        fun newFlag () = PropList.newFlag (fn (Block{props, ...}) => props)
135    
136    end    end

Legend:
Removed from v.3500  
changed lines
  Added in v.3501

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