Permalink
Browse files

Slightly more helpful error message in doConversion

Ignore-this: 9c8cbca3678075f9e950584a6a8a3d78

darcs-hash:20090727211620-228f4-492e24a05047d2e0a8128405d6398dad524da8ba.gz
  • Loading branch information...
1 parent de70390 commit e7025a9421ad5136a5b42d2c93830703b46131c6 eb committed Jul 27, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 Ivor/Typecheck.lhs
View
@@ -137,7 +137,7 @@ Handy to pass through all the variables, for tracing purposes when debugging.
> let (Ind y') = normalise gam (Ind (papp s' y))
> uns <- case unifyenvErr ok gam env (Ind y') (Ind x') of
> Right x' -> return x'
-> Left err -> ifail (errCtxt fc err)
+> Left err -> ifail (errCtxt fc (ICantUnify (Ind y') (Ind x')))
Failure err -> fail $ err ++"\n" ++ show nms ++"\n" ++ show constraints -- $ -} ++ " Can't convert "++show x'++" and "++show y' ++ "\n" ++ show constraints ++ "\n" ++ show nms

0 comments on commit e7025a9

Please sign in to comment.