@@ -333,10 +333,10 @@ instance Show Erasure where
333 show NotErased = "NotErased"
333 show NotErased = "NotErased"
335instance Show Arg where
335instance Show Arg where
336− show (Explicit n e t) = "(Explicit " ++ show n ++ " " ++ show e ++ " " ++ show t ++ ")"
336+ showPrec d (Explicit n e t) = showCon d "Explicit" $ showArg n ++ showArg e ++ showArg t
337− show (Implicit n e t) = "(Implicit " ++ show n ++ " " ++ show e ++ " " ++ show t ++ ")"
337+ showPrec d (Implicit n e t) = showCon d "Implicit" $ showArg n ++ showArg e ++ showArg t
338− show (Constraint n e t) = "(Constraint " ++ show n ++ " " ++ show e ++ " " ++ show t ++ ")"
338+ showPrec d (Constraint n e t) = showCon d "Constraint" $ showArg n ++ showArg e ++ showArg t
340instance Show TyDecl where
340instance Show TyDecl where
341− show (Declare fn args ret) = "(Declare " ++ show fn ++ " " ++
341+ showPrec d (Declare fn args ret) = showCon d "Declare" $ showArg fn ++
342− show args ++ " " ++ show ret ++ ")"
342+ showArg args ++ showArg ret