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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/ast/ast-pp.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/ast/ast-pp.sml

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

revision 3424, Fri Nov 13 15:44:42 2015 UTC revision 3425, Fri Nov 13 15:58:43 2015 UTC
# Line 190  Line 190 
190                  (* end case *))                  (* end case *))
191            in            in
192              PP.openVBox ppStrm (PP.Abs 0);              PP.openVBox ppStrm (PP.Abs 0);
193                string "{"; nl();                string "{";
194                PP.openVBox ppStrm indent;                PP.openVBox ppStrm indent;
195                    nl();
196                  List.app ppStmt stms;                  List.app ppStmt stms;
197                PP.closeBox ppStrm;                PP.closeBox ppStrm;
198                string "}"; nl();                string "}";
199              PP.closeBox ppStrm              PP.closeBox ppStrm;
200                nl()
201            end            end
202    
203      and ppBlockStmt (ppStrm, AST.S_Block stms) = ppBlock (ppStrm, stms)      and ppBlockStmt (ppStrm, AST.S_Block stms) = ppBlock (ppStrm, stms)
# Line 215  Line 217 
217            fun sp () = PP.space ppStrm 1            fun sp () = PP.space ppStrm 1
218            fun nl () = PP.newline ppStrm            fun nl () = PP.newline ppStrm
219            val string = PP.string ppStrm            val string = PP.string ppStrm
220    (*
221            fun ppMethod name (AST.S_Block stms) = (nl(); string name; nl(); ppBlock (ppStrm, stms))            fun ppMethod name (AST.S_Block stms) = (nl(); string name; nl(); ppBlock (ppStrm, stms))
222              | ppMethod name stm = (nl(); string name; nl(); ppBlock (ppStrm, [stm]))              | ppMethod name stm = (nl(); string name; nl(); ppBlock (ppStrm, [stm]))
223    *)
224              fun ppMethod name stm = (
225                    PP.openHBox ppStrm;
226                      string name; sp();
227                      ppBlockStmt (ppStrm, stm);
228                    PP.closeBox ppStrm)
229            in            in
230              PP.openHBox ppStrm;              PP.openHBox ppStrm;
231                string "strand"; sp(); string(Atom.toString name); sp();                string "strand"; sp(); string(Atom.toString name); sp();
# Line 226  Line 235 
235              PP.openVBox ppStrm indent;              PP.openVBox ppStrm indent;
236                string "{";                string "{";
237                List.app (fn vdcl => (nl(); ppVarDecl ppStrm vdcl)) state;                List.app (fn vdcl => (nl(); ppVarDecl ppStrm vdcl)) state;
238                  nl();
239                Option.app (ppMethod "initially") init;                Option.app (ppMethod "initially") init;
240                ppMethod "update" update;                ppMethod "update" update;
241                Option.app (ppMethod "stabilize") stabilize;                Option.app (ppMethod "stabilize") stabilize;

Legend:
Removed from v.3424  
changed lines
  Added in v.3425

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