Commit 589b4037 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Canonicalise flags in error message

parent 0ee3de0a
...@@ -183,7 +183,7 @@ data DynFlag ...@@ -183,7 +183,7 @@ data DynFlag
| Opt_RecordWildCards | Opt_RecordWildCards
| Opt_RecordPuns | Opt_RecordPuns
| Opt_GADTs | Opt_GADTs
| Opt_RelaxedPolyRec -- -X=RelaxedPolyRec | Opt_RelaxedPolyRec
| Opt_StandaloneDeriving | Opt_StandaloneDeriving
| Opt_DeriveDataTypeable | Opt_DeriveDataTypeable
| Opt_TypeSynonymInstances | Opt_TypeSynonymInstances
......
...@@ -1187,7 +1187,7 @@ badDataConTyCon data_con ...@@ -1187,7 +1187,7 @@ badDataConTyCon data_con
badGadtDecl tc_name badGadtDecl tc_name
= vcat [ ptext SLIT("Illegal generalised algebraic data declaration for") <+> quotes (ppr tc_name) = vcat [ ptext SLIT("Illegal generalised algebraic data declaration for") <+> quotes (ppr tc_name)
, nest 2 (parens $ ptext SLIT("Use -X=GADT to allow GADTs")) ] , nest 2 (parens $ ptext SLIT("Use -XGADTs to allow GADTs")) ]
badStupidTheta tc_name badStupidTheta tc_name
= ptext SLIT("A data type declared in GADT style cannot have a context:") <+> quotes (ppr tc_name) = ptext SLIT("A data type declared in GADT style cannot have a context:") <+> quotes (ppr tc_name)
...@@ -1220,7 +1220,7 @@ badSigTyDecl tc_name ...@@ -1220,7 +1220,7 @@ badSigTyDecl tc_name
badFamInstDecl tc_name badFamInstDecl tc_name
= vcat [ ptext SLIT("Illegal family instance for") <+> = vcat [ ptext SLIT("Illegal family instance for") <+>
quotes (ppr tc_name) quotes (ppr tc_name)
, nest 2 (parens $ ptext SLIT("Use -X=TypeFamilies to allow indexed type families")) ] , nest 2 (parens $ ptext SLIT("Use -XTypeFamilies to allow indexed type families")) ]
badGadtIdxTyDecl tc_name badGadtIdxTyDecl tc_name
= vcat [ ptext SLIT("Illegal generalised algebraic data declaration for") <+> = vcat [ ptext SLIT("Illegal generalised algebraic data declaration for") <+>
......
Supports Markdown
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