nicer error msg

diff --git a/TypeChecker.hs b/TypeChecker.hs
index 979fbbc12c9fb3a6edd97f94ac98b2f28002d92d..92af3a58f825e82a23b3678f6cbdb42d054e3eaa 100644 (file)
--- a/TypeChecker.hs
+++ b/TypeChecker.hs
@@ -319,8 +319,8 @@ checkBranch (PLabel _ tele is ts,nu) f (PBranch c ns js e) g va = do
     let veborder = border ve vts\r
     unlessM (veborder === vgts) $\r
       throwError $ "Faces in branch for " ++ show c ++ " don't match:"\r
-                   ++ "\ngot\n" ++ show veborder ++ "\nbut expected\n"\r
-                   ++ show vgts\r
+                   ++ "\ngot\n" ++ showSystem veborder ++ "\nbut expected\n"\r
+                   ++ showSystem vgts\r
 \r
 checkFormula :: Formula -> Typing ()\r
 checkFormula phi = do\r