Mercurial > urweb
comparison src/main.mlton.sml @ 14:f1c36df29ed7
Primitive type constants
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 08 Jun 2008 12:27:08 -0400 |
parents | 4202f6eda946 |
children | 1ab48e37d0ef |
comparison
equal
deleted
inserted
replaced
13:6049e2193bf2 | 14:f1c36df29ed7 |
---|---|
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE | 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
25 * POSSIBILITY OF SUCH DAMAGE. | 25 * POSSIBILITY OF SUCH DAMAGE. |
26 *) | 26 *) |
27 | 27 |
28 val () = case CommandLine.arguments () of | 28 val () = case CommandLine.arguments () of |
29 [filename] => Compiler.testParse filename | 29 [filename] => Compiler.testElaborate filename |
30 | _ => print "Bad arguments" | 30 | _ => print "Bad arguments" |