summaryrefslogtreecommitdiff
path: root/compiler/hsSyn/HsPat.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/hsSyn/HsPat.hs')
-rw-r--r--compiler/hsSyn/HsPat.hs10
1 files changed, 0 insertions, 10 deletions
diff --git a/compiler/hsSyn/HsPat.hs b/compiler/hsSyn/HsPat.hs
index e837f522cf..71f932c2e6 100644
--- a/compiler/hsSyn/HsPat.hs
+++ b/compiler/hsSyn/HsPat.hs
@@ -19,7 +19,6 @@
module HsPat (
Pat(..), InPat, OutPat, LPat,
- ListPatTc(..),
HsConPatDetails, hsConPatArgs,
HsRecFields(..), HsRecField'(..), LHsRecField',
@@ -282,15 +281,6 @@ data Pat p
(XXPat p)
deriving instance (DataIdLR p p) => Data (Pat p)
--- | The typechecker-specific information for a 'ListPat'
-data ListPatTc =
- ListPatTc Type -- The type of the elements
- (Maybe (Type, SyntaxExpr GhcTc)) -- For rebindable syntax
- -- For OverloadedLists a Just (ty,fn) gives
- -- overall type of the pattern, and the toList
- -- function to convert the scrutinee to a list value
- deriving Data
-
-- ---------------------------------------------------------------------
type instance XWildPat GhcPs = PlaceHolder