Fix missing { when pretty printing empty record types

Zokka-Dev · Nov 29, 2014 · 0eea430 · 0eea430
1 parent 317f80e
commit 0eea430
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/AST/Type.hs b/src/AST/Type.hs
@@ -62,6 +62,9 @@ instance (Var.ToString var, Pretty var) => Pretty (Type var) where
 
       Record _ _ ->
           case flattenRecord tipe of
+            ([], Nothing) ->
+                P.text "{}"
+
             (fields, Nothing) ->
                 P.sep
                   [ P.cat (zipWith (<+>) (P.lbrace : repeat P.comma) (map prettyField fields))
@@ -86,6 +89,7 @@ instance (Var.ToString var, Pretty var) => Pretty (Type var) where
             then t'
             else pretty name
 
+
 collectLambdas :: Type var -> [Type var]
 collectLambdas tipe =
   case tipe of