ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-14 13:56:59 +03:00
Code Issues Projects Releases Wiki Activity

Add missing Show instance for CtorArg

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-08-12 18:07:30 -07:00
parent 30585fcddd
commit 603b06cf01
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libs/base/Language/Reflection/Utils.idr
View File

@ -342,6 +342,10 @@ instance Show FunArg where
showPrec d (MkFunArg n ty plic era) = showCon d "MkFunArg" $ showArg n ++
showArg ty ++ showArg plic ++ showArg era
instance Show CtorArg where
showPrec d (CtorParameter fa) = showCon d "CtorParameter" $ showArg fa
showPrec d (CtorField fa) = showCon d "CtorField" $ showArg fa
instance Show TyDecl where
showPrec d (Declare fn args ret) = showCon d "Declare" $ showArg fn ++
showArg args ++ showArg ret