Remove the distinction between SignalDef and SignalUse.
[matthijs/master-project/cλash.git] / Pretty.hs
index bd4d9e598b3f798ca8b100d28e3bb5fce8004943..22862d59a0f256f16f87bfd0aeef87051b0c7f8c 100644 (file)
--- 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"