From a4bdaaf29ba23e4bc9a24b0851ea2702cf8874ab Mon Sep 17 00:00:00 2001 From: Arseniy Alekseyev Date: Sat, 22 Apr 2017 17:09:16 +0100 Subject: [PATCH] better error message from checkPLam --- TypeChecker.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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" -- 2.34.1