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

SCM Repository

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

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

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

revision 1996, Thu Oct 4 10:42:57 2012 UTC revision 2011, Sun Oct 7 21:14:31 2012 UTC
# Line 219  Line 219 
219            fun nl () = PP.newline ppStrm            fun nl () = PP.newline ppStrm
220            val string = PP.string ppStrm            val string = PP.string ppStrm
221            fun var x = string(Var.nameOf x)            fun var x = string(Var.nameOf x)
222              fun ppDesc NONE = ()
223                | ppDesc (SOME desc) = (
224                    string(concat["(\"", String.toString desc, "\")"]); sp())
225            in            in
226              fn AST.D_Input(x, desc, NONE) => (              fn AST.D_Input(x, desc, NONE) => (
227                  PP.openHBox ppStrm;                  PP.openHBox ppStrm;
228                    string "input"; sp();                    string "input"; sp();
229                    string(concat["(\"", String.toString desc, "\")"]); sp();                    ppDesc desc;
230                    string(TU.toString(#2(Var.typeOf x))); sp(); var x; string ";";                    string(TU.toString(#2(Var.typeOf x))); sp(); var x; string ";";
231                  PP.closeBox ppStrm;                  PP.closeBox ppStrm;
232                  nl())                  nl())
233               | AST.D_Input(x, desc, SOME e) => (               | AST.D_Input(x, desc, SOME e) => (
234                  PP.openHBox ppStrm;                  PP.openHBox ppStrm;
235                    string "input"; sp();                    string "input"; sp();
236                    string(concat["(\"", String.toString desc, "\")"]); sp();                    ppDesc desc;
237                    string(TU.toString(#2(Var.typeOf x))); sp(); var x;                    string(TU.toString(#2(Var.typeOf x))); sp(); var x;
238                    sp(); string "="; sp(); ppExp(ppStrm, e); string ";";                    sp(); string "="; sp(); ppExp(ppStrm, e); string ";";
239                  PP.closeBox ppStrm;                  PP.closeBox ppStrm;

Legend:
Removed from v.1996  
changed lines
  Added in v.2011

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