diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:35:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:35:51 -0400 |
| commit | ed9e3cb10161dde86a87894155f2f74c60d28c4a (patch) | |
| tree | 6720f063434c521f4004809f3a557aa8b86a23ce /src/compiler.sml | |
| parent | 2355b20a32d8ed4924cee84a44831061b2b49b49 (diff) | |
Matching values in signatures
Diffstat (limited to 'src/compiler.sml')
| -rw-r--r-- | src/compiler.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 9a213ab6..de644d37 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -132,7 +132,8 @@ fun testElaborate filename = (case elaborate ElabEnv.basis filename of NONE => print "Failed\n" | SOME (file, _) => - (Print.print (ElabPrint.p_file ElabEnv.basis file); + (print "Succeeded\n"; + Print.print (ElabPrint.p_file ElabEnv.basis file); print "\n")) handle ElabEnv.UnboundNamed n => print ("Unbound named " ^ Int.toString n ^ "\n") |