From: Arseniy Alekseyev <rotsor@gmail.com>
Date: Sat, 22 Apr 2017 16:09:16 +0000 (+0100)
Subject: better error message from checkPLam
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a4bdaaf29ba23e4bc9a24b0851ea2702cf8874ab;p=cubicaltt.git

better error message from checkPLam
---

diff --git a/TypeChecker.hs b/TypeChecker.hs
index 7a038de..12135e7 100644
--- a/TypeChecker.hs
+++ b/TypeChecker.hs
@@ -403,7 +403,8 @@ checkPLam v t = do
   vt <- infer t
   case vt of
     VPathP a a0 a1 -> do
-      unlessM (a === v) $ throwError "checkPLam"
+      unlessM (a === v) $ throwError (
+        "checkPLam\n" ++ show v ++ "\n/=\n" ++ show a)
       return (a0,a1)
     _ -> throwError $ show vt ++ " is not a path"