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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cxx-util/print-as-cxx.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cxx-util/print-as-cxx.sml

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

revision 4025, Wed Jun 22 15:01:29 2016 UTC revision 4026, Wed Jun 22 15:55:07 2016 UTC
# Line 162  Line 162 
162                                    then (sp(); str "{ }"; PP.closeBox strm)                                    then (sp(); str "{ }"; PP.closeBox strm)
163                                    else (                                    else (
164                                      PP.closeBox strm;                                      PP.closeBox strm;
165                                        PP.openBox strm indent;
166                                          PP.newline strm;
167                                          str ":"; sp();
168                                          ppCommaList {pp = ppExp, l = inits};
169                                        PP.closeBox strm;
170                                      PP.newline strm;                                      PP.newline strm;
 (* FIXME: inits *)  
171                                      str"{ }"))                                      str"{ }"))
172                              | SOME body => (                              | SOME body => (
173                                  PP.closeBox strm;                                  PP.closeBox strm;
174                                    if List.null inits
175                                      then ()
176                                      else (
177                                        PP.openBox strm indent;
178                                          PP.newline strm;
179                                          str ":"; sp();
180                                          ppCommaList {pp = ppExp, l = inits};
181                                        PP.closeBox strm);
182                                  PP.newline strm;                                  PP.newline strm;
 (* FIXME inits *)  
183                                  ppBody body)                                  ppBody body)
184                              | NONE => ()                              | NONE => ()
185                            (* end case *);                            (* end case *);

Legend:
Removed from v.4025  
changed lines
  Added in v.4026

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