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 "" = ""