From 603b06cf013aca943518def6325782229d3c6f38 Mon Sep 17 00:00:00 2001 From: David Raymond Christiansen Date: Wed, 12 Aug 2015 18:07:30 -0700 Subject: [PATCH] Add missing Show instance for CtorArg --- libs/base/Language/Reflection/Utils.idr | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/libs/base/Language/Reflection/Utils.idr b/libs/base/Language/Reflection/Utils.idr index ddeaea571..4d62f85dc 100644 --- a/libs/base/Language/Reflection/Utils.idr +++ b/libs/base/Language/Reflection/Utils.idr @@ -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