More refined annotations + binders + bindings

1 files changed, 14 insertions, 2 deletions

diff --git a/compiler/utils/OutputableAnnotation.hs b/compiler/utils/OutputableAnnotation.hs
index f506a0b20b..1ad2d83e16 100644
--- a/compiler/utils/OutputableAnnotation.hs
+++ b/compiler/utils/OutputableAnnotation.hs
@@ -1,9 +1,21 @@
 {-# LANGUAGE GADTs #-}
-module OutputableAnnotation (PExpr(..)) where
+module OutputableAnnotation (PExpr(..), BindType, varBinder, varReference) where
 
 import CoreSyn
+import Outputable ( OutputableBndr(..))
 
 data PExpr where
-  PCoreExpr :: CoreExpr -> PExpr
+  PCoreExpr :: OutputableBndr a => Expr a -> PExpr
+  PBind :: OutputableBndr a => Bind a -> PExpr
+  PVar :: OutputableBndr a => BindType -> a -> PExpr
+
+data BindType = Binder | Reference
+
+varBinder :: OutputableBndr a => a -> PExpr
+varBinder a = PVar Binder a
+
+varReference :: OutputableBndr a => a -> PExpr
+varReference a = PVar Reference a
+