SCM Repository
Diff of /branches/charisee/src/compiler/simplify/simple-pp.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 2603, Thu Apr 24 03:58:37 2014 UTC | revision 2604, Fri Apr 25 18:23:44 2014 UTC | |
|---|---|---|
| # | Line 10 | Line 10 |
| 10 | ||
| 11 | val output : TextIO.outstream * string * Simple.program -> unit | val output : TextIO.outstream * string * Simple.program -> unit |
| 12 | ||
| 13 | val outputFunc : TextIO.outstream * string * Simple.func -> unit | |
| 14 | ||
| 15 | end = struct | end = struct |
| 16 | ||
| 17 | structure PP = TextIOPP | structure PP = TextIOPP |
| # | Line 286 | Line 288 |
| 288 | PP.closeStream ppStrm | PP.closeStream ppStrm |
| 289 | end | end |
| 290 | ||
| 291 | fun outputFunc (outS, msg, func) = let | |
| 292 | val ppStrm = PP.openOut {dst = outS, wid = 120} | |
| 293 | in | |
| 294 | PP.openVBox ppStrm (PP.Abs 0); | |
| 295 | PP.string ppStrm (concat[ | |
| 296 | "/* ", msg, " */" | |
| 297 | ]); PP.newline ppStrm; | |
| 298 | ppFunc ppStrm func; | |
| 299 | PP.closeBox ppStrm; | |
| 300 | PP.closeStream ppStrm | |
| 301 | end | |
| 302 | ||
| 303 | end | end |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
