git.iko.soy/Idris-dev
on master help sign in
Undo a change in error rendering that was only for debugging...
817211aEdwin Brady
src/Idris/Delaborate.hs+2−2
compare with master
unifiedsplit
@@ -77,8 +77,8 @@ pshow i (InternalMsg s) = "INTERNAL ERROR: " ++ show s ++
77 "\nThis is probably a bug, or a missing error message.\n" ++
77 "\nThis is probably a bug, or a missing error message.\n" ++
78 "Please consider reporting at " ++ bugaddr
78 "Please consider reporting at " ++ bugaddr
79pshow i (CantUnify _ x y e sc s)
79pshow i (CantUnify _ x y e sc s)
80− = "Can't unify " ++ showImp True (delab i x)
80+ = "Can't unify " ++ show (delab i x)
81− ++ " with " ++ showImp True (delab i y) ++
81+ ++ " with " ++ show (delab i y) ++
82-- " (" ++ show x ++ " and " ++ show y ++ ") " ++
82-- " (" ++ show x ++ " and " ++ show y ++ ") " ++
83 case e of
83 case e of
84 Msg "" -> ""
84 Msg "" -> ""