Commit 780b061c authored by sivteck's avatar sivteck Committed by Austin Seipp
Browse files

compiler: fix trac issue #8815

Summary: This patch changes the error message as suggested in trac issue #8815 comments.

Reviewers: jstolarek, austin

Reviewed By: jstolarek, austin

Subscribers: jstolarek, thomie, carter

Differential Revision:

GHC Trac Issues: #8815
parent aede9f09
......@@ -796,7 +796,8 @@ tcDataConPat penv (L con_span con_name) data_con pat_ty arg_pats thing_inside
; gadts_on <- xoptM Opt_GADTs
; families_on <- xoptM Opt_TypeFamilies
; checkTc (no_equalities || gadts_on || families_on)
(ptext (sLit "A pattern match on a GADT requires GADTs or TypeFamilies"))
(text "A pattern match on a GADT requires the" <+>
text "GADTs or TypeFamilies language extension")
-- Trac #2905 decided that a *pattern-match* of a GADT
-- should require the GADT language flag.
-- Re TypeFamilies see also #7156
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment