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