Mercurial > urweb

comparison src/compiler.sml @ 14:f1c36df29ed7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitive type constants
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 12:27:08 -0400
parents 258261a53842
children bc7b76ca57e0
comparison
equal deleted inserted replaced
13:6049e2193bf2 14:f1c36df29ed7
74 | SOME file => 74 | SOME file =>
75 (Print.print (SourcePrint.p_file file); 75 (Print.print (SourcePrint.p_file file);
76 print "\n") 76 print "\n")
77 77
78 fun testElaborate filename = 78 fun testElaborate filename =
79 (case elaborate ElabEnv.empty filename of 79 (case elaborate ElabEnv.basis filename of
80 NONE => print "Failed\n" 80 NONE => print "Failed\n"
81 | SOME (_, file) => 81 | SOME (_, file) =>
82 (Print.print (ElabPrint.p_file ElabEnv.empty file); 82 (Print.print (ElabPrint.p_file ElabEnv.basis file);
83 print "\n")) 83 print "\n"))
84 handle ElabEnv.UnboundNamed n => 84 handle ElabEnv.UnboundNamed n =>
85 print ("Unbound named " ^ Int.toString n ^ "\n") 85 print ("Unbound named " ^ Int.toString n ^ "\n")
86 86
87 end 87 end