diff options
| author | Matthew Pickering <matthew.pickering@tweag.io> | 2018-06-04 17:49:34 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-04 17:49:36 -0400 |
| commit | 1a61c6b8c8959ca4cd9500d261ae225210eaff64 (patch) | |
| tree | 97f7478d9aec70545f2a6723436728dab9317e48 | |
| parent | 7df589608abb178efd6499ee705ba4eebd0cf0d1 (diff) | |
| download | haskell-1a61c6b8c8959ca4cd9500d261ae225210eaff64.tar.gz | |
Add Outputable instance for HsArg
Reviewers: bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4791
| -rw-r--r-- | compiler/typecheck/TcExpr.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs index 2588899bcf..b59b176919 100644 --- a/compiler/typecheck/TcExpr.hs +++ b/compiler/typecheck/TcExpr.hs @@ -1098,6 +1098,10 @@ data HsArg tm ty = HsValArg tm -- Argument is an ordinary expression (f arg) | HsTypeArg ty -- Argument is a visible type application (f @ty) +instance (Outputable tm, Outputable ty) => Outputable (HsArg tm ty) where + ppr (HsValArg tm) = text "HsValArg" <> ppr tm + ppr (HsTypeArg ty) = text "HsTypeArg" <> ppr ty + isHsValArg :: HsArg tm ty -> Bool isHsValArg (HsValArg {}) = True isHsValArg (HsTypeArg {}) = False |