Mercurial > urweb

diff src/main.mlton.sml @ 501:7ef4b2911b09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some demo improvements
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 11:34:36 -0500
parents 2a7e7bd7b29f
children 86ec89baee01
line wrap: on
line diff
--- a/src/main.mlton.sml	Thu Nov 20 10:44:28 2008 -0500
+++ b/src/main.mlton.sml	Thu Nov 20 11:34:36 2008 -0500
@@ -29,7 +29,9 @@
     case args of
         [] => (timing, demo, rev sources)
       | "-demo" :: prefix :: rest =>
-        doArgs (rest, (timing, SOME prefix, sources))
+        doArgs (rest, (timing, SOME (prefix, false), sources))
+      | "-guided-demo" :: prefix :: rest =>
+        doArgs (rest, (timing, SOME (prefix, true), sources))
       | arg :: rest =>
         let
             val acc =
@@ -52,8 +54,8 @@
 
 val () =
     case demo of
-        SOME prefix =>
-        Demo.make {prefix = prefix, dirname = job}
+        SOME (prefix, guided) =>
+        Demo.make {prefix = prefix, dirname = job, guided = guided}
       | NONE =>
         if timing then
             Compiler.time Compiler.toCjrize job