Make the pretty output more pretty.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 16 Feb 2009 15:59:29 +0000 (16:59 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 16 Feb 2009 15:59:29 +0000 (16:59 +0100)
This prevents an unwanted wrap in the output.

Pretty.hs

index 6f5f63dc71b46323fb582674992bd18e7c335d19..dd8e4eea33cac26e083046ca63434f4e19e02cf6 100644 (file)
--- a/Pretty.hs
+++ b/Pretty.hs
@@ -84,7 +84,7 @@ instance Pretty FuncData where
 
 instance Pretty Entity where
   pPrint (Entity id args res decl) =
-    text "Entity id: " $$ nest 10 (pPrint id)
+    text "Entity: " $$ nest 10 (pPrint id)
     $+$ text "Args: " $$ nest 10 (pPrint args)
     $+$ text "Result: " $$ nest 10 (pPrint res)
     $+$ ppdecl decl