Mercurial > urweb
comparison src/demo.sml @ 502:8875ff2e85dc
Profiling support
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 20 Nov 2008 12:16:30 -0500 |
parents | 7ef4b2911b09 |
children | a8effb6159c2 |
comparison
equal
deleted
inserted
replaced
501:7ef4b2911b09 | 502:8875ff2e85dc |
---|---|
90 (#sources combined) (#sources urp), | 90 (#sources combined) (#sources urp), |
91 exe = OS.Path.joinDirFile {dir = dirname, | 91 exe = OS.Path.joinDirFile {dir = dirname, |
92 file = "demo.exe"}, | 92 file = "demo.exe"}, |
93 sql = SOME (OS.Path.joinDirFile {dir = dirname, | 93 sql = SOME (OS.Path.joinDirFile {dir = dirname, |
94 file = "demo.sql"}), | 94 file = "demo.sql"}), |
95 debug = false | 95 debug = false, |
96 profile = false | |
96 } | 97 } |
97 | 98 |
98 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") | 99 val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp") |
99 | 100 |
100 fun capitalize "" = "" | 101 fun capitalize "" = "" |