X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Pretty.hs;h=22862d59a0f256f16f87bfd0aeef87051b0c7f8c;hb=1de7e7d5eb0c3fd3be4a348e10fec91c7f3d029d;hp=bd4d9e598b3f798ca8b100d28e3bb5fce8004943;hpb=a07f47bf0b471c935e3e76e814b2f6ebfb298d35;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Pretty.hs b/Pretty.hs index bd4d9e5..22862d5 100644 --- a/Pretty.hs +++ b/Pretty.hs @@ -38,12 +38,6 @@ instance Pretty id => Pretty (FApp id) where pPrint (FApp func args res) = pPrint func <> text " : " <> pPrint args <> text " -> " <> pPrint res -instance Pretty id => Pretty (SignalDef id) where - pPrint (SignalDef id) = pPrint id - -instance Pretty id => Pretty (SignalUse id) where - pPrint (SignalUse id) = pPrint id - instance Pretty id => Pretty (CondDef id) where pPrint _ = text "TODO"