diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:29:59 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:29:59 -0400 |
commit | 975b1f43784dfc1769ec93dd5dd408434791464e (patch) | |
tree | 049d9d5397185e0cc0589cbfe86e882d41087b63 /src | |
parent | 3b47d68d29a931de92e0c9d2543b4085cfc45e32 (diff) |
Demo improvements
Diffstat (limited to 'src')
-rw-r--r-- | src/demo.sig | 2 | ||||
-rw-r--r-- | src/demo.sml | 4 | ||||
-rw-r--r-- | src/main.mlton.sml | 3 |
3 files changed, 9 insertions, 0 deletions
diff --git a/src/demo.sig b/src/demo.sig index 5f5fa2bb..57154ed7 100644 --- a/src/demo.sig +++ b/src/demo.sig @@ -30,4 +30,6 @@ signature DEMO = sig val make : {prefix : string, dirname : string, guided : bool} -> unit val make' : {prefix : string, dirname : string, guided : bool} -> bool + val noEmacs : bool ref + end diff --git a/src/demo.sml b/src/demo.sml index 358815de..19632d0e 100644 --- a/src/demo.sml +++ b/src/demo.sml @@ -27,6 +27,8 @@ structure Demo :> DEMO = struct +val noEmacs = ref false + fun make' {prefix, dirname, guided} = let val prose = OS.Path.joinDirFile {dir = dirname, @@ -333,6 +335,8 @@ fun make' {prefix, dirname, guided} = else () end) + + val highlight = fn () => if !noEmacs then () else highlight () in if OS.Path.base file = "demo" then () diff --git a/src/main.mlton.sml b/src/main.mlton.sml index 33838c93..09b53c58 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -88,6 +88,9 @@ fun doArgs args = | "-moduleOf" :: fname :: _ => (print (Compiler.moduleOf fname ^ "\n"); OS.Process.exit OS.Process.success) + | "-noEmacs" :: rest => + (Demo.noEmacs := true; + doArgs rest) | arg :: rest => (if size arg > 0 andalso String.sub (arg, 0) = #"-" then raise Fail ("Unknown flag " ^ arg) |