From 1a9aae88ec8f57393db4992748a7de08c54cfe61 Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Thu, 27 Jul 2017 09:55:21 +0000 Subject: Use NamedThing rather than just outputablebndr --- compiler/utils/OutputableAnnotation.hs | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'compiler/utils/OutputableAnnotation.hs') diff --git a/compiler/utils/OutputableAnnotation.hs b/compiler/utils/OutputableAnnotation.hs index 71b9c69435..12a7bba9e6 100644 --- a/compiler/utils/OutputableAnnotation.hs +++ b/compiler/utils/OutputableAnnotation.hs @@ -3,18 +3,19 @@ module OutputableAnnotation (PExpr(..), BindType(..), varBinder, varReference) w import CoreSyn import Outputable ( OutputableBndr(..)) +import Name (NamedThing) data PExpr where - PCoreExpr :: OutputableBndr a => Expr a -> PExpr - PBind :: OutputableBndr a => Bind a -> PExpr - PVar :: OutputableBndr a => BindType -> a -> PExpr + PCoreExpr :: (OutputableBndr a, NamedThing a) => Expr a -> PExpr + PBind :: (OutputableBndr a, NamedThing a) => Bind a -> PExpr + PVar :: (OutputableBndr a, NamedThing a) => BindType -> a -> PExpr data BindType = Binder | Reference -varBinder :: OutputableBndr a => a -> PExpr +varBinder :: (OutputableBndr a, NamedThing a) => a -> PExpr varBinder a = PVar Binder a -varReference :: OutputableBndr a => a -> PExpr +varReference :: (OutputableBndr a, NamedThing a) => a -> PExpr varReference a = PVar Reference a -- cgit v1.2.1