on master help sign in
Undo a change in error rendering that was only for debugging...
commit817211a71c893768b8ca5620cdddd88351c5cc59 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 29 Nov 2012, 00:14 (14 years ago) parent1738775
1 file changed+2−2
src/Idris/Delaborate.hs+2−2
src/Idris/Delaborate.hs+2−2
@@ -77,8 +77,8 @@ pshow i (InternalMsg s) = "INTERNAL ERROR: " ++ show s ++
7777 "\nThis is probably a bug, or a missing error message.\n" ++
7878 "Please consider reporting at " ++ bugaddr
7979pshow i (CantUnify _ x y e sc s)
80− = "Can't unify " ++ showImp True (delab i x)
81− ++ " with " ++ showImp True (delab i y) ++
80+ = "Can't unify " ++ show (delab i x)
81+ ++ " with " ++ show (delab i y) ++
8282-- " (" ++ show x ++ " and " ++ show y ++ ") " ++
8383 case e of
8484 Msg "" -> ""