From 09706af00bc663d244dc7ed9c37b8c42541193f7 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Mon, 4 May 2015 12:32:18 +0200
Subject: [PATCH] nicer error msg

---
 TypeChecker.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/TypeChecker.hs b/TypeChecker.hs
index 979fbbc..92af3a5 100644
--- 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
     unlessM (veborder === vgts) $
       throwError $ "Faces in branch for " ++ show c ++ " don't match:"
-                   ++ "\ngot\n" ++ show veborder ++ "\nbut expected\n"
-                   ++ show vgts
+                   ++ "\ngot\n" ++ showSystem veborder ++ "\nbut expected\n"
+                   ++ showSystem vgts
 
 checkFormula :: Formula -> Typing ()
 checkFormula phi = do
-- 
2.34.1