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") |