diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-15 16:50:55 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-15 16:50:55 -0400 |
| commit | 7f32f0ab54aaa4d4f19ae6943ceafd815547d470 (patch) | |
| tree | 73aebcfa002bfc332ec3a531fb864869086b390c /src/main.mlton.sml | |
| parent | e4a29fbb4aca90b241ac13c0ea604f8a9cf594f9 (diff) | |
Generated pretty-printed HTML for a simple tutorial source file
Diffstat (limited to 'src/main.mlton.sml')
| -rw-r--r-- | src/main.mlton.sml | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml index 06c04366..0c6f96ba 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2010, Adam Chlipala +(* Copyright (c) 2008-2011, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -29,6 +29,7 @@ val timing = ref false val tc = ref false val sources = ref ([] : string list) val demo = ref (NONE : (string * bool) option) +val tutorial = ref false val css = ref false fun doArgs args = @@ -43,6 +44,9 @@ fun doArgs args = | "-guided-demo" :: prefix :: rest => (demo := SOME (prefix, true); doArgs rest) + | "-tutorial" :: rest => + (tutorial := true; + doArgs rest) | "-protocol" :: name :: rest => (Settings.setProtocol name; doArgs rest) @@ -118,8 +122,8 @@ val job = | _ => raise Fail "Zero or multiple job files specified" val () = - case (!css, !demo) of - (true, _) => + case (!css, !demo, !tutorial) of + (true, _, _) => (case Compiler.run Compiler.toCss job of NONE => OS.Process.exit OS.Process.failure | SOME {Overall = ov, Classes = cl} => @@ -131,8 +135,9 @@ val () = app (print o Css.inheritableToString) ins; app (print o Css.othersToString) ots; print "\n")) cl)) - | (_, SOME (prefix, guided)) => + | (_, SOME (prefix, guided), _) => Demo.make {prefix = prefix, dirname = job, guided = guided} + | (_, _, true) => Tutorial.make job | _ => if !tc then (Compiler.check Compiler.toElaborate job; |