rnHsType doc ty@(HsOpTy ty1 (L loc op) ty2)
= setSrcSpan loc $
- do { ty_ops_ok <- doptM Opt_ScopedTypeVariables -- Badly named option
+ do { ty_ops_ok <- doptM Opt_TypeOperators
; checkErr ty_ops_ok (opTyErr op ty)
; op' <- lookupOccRn op
; let l_op' = L loc op'
returnM (VarPat vname, emptyFVs)
rnPat (SigPatIn pat ty)
- = doptM Opt_GlasgowExts `thenM` \ glaExts ->
+ = doptM Opt_PatternSignatures `thenM` \ glaExts ->
if glaExts
then rnLPat pat `thenM` \ (pat', fvs1) ->
opTyErr op ty
= hang (ptext SLIT("Illegal operator") <+> quotes (ppr op) <+> ptext SLIT("in type") <+> quotes (ppr ty))
- 2 (parens (ptext SLIT("Use -fscoped-type-variables to allow operators in types")))
+ 2 (parens (ptext SLIT("Use -XTypeOperators to allow operators in types")))
bogusCharError c
= ptext SLIT("character literal out of range: '\\") <> char c <> char '\''
patSigErr ty
= (ptext SLIT("Illegal signature in pattern:") <+> ppr ty)
- $$ nest 4 (ptext SLIT("Use -fglasgow-exts to permit it"))
+ $$ nest 4 (ptext SLIT("Use -XPatternSigs to permit it"))
dupFieldErr str dup
= hsep [ptext SLIT("duplicate field name"),