| looks_like_foreign lhs
= parseError l "Invalid type signature; perhaps you meant to use -XForeignFunctionInterface?"
| otherwise
- = parseError l "Invalid type signature"
+ = parseError l "Invalid type signature: should be of form <variable> :: <type>"
where
-- A common error is to forget the ForeignFunctionInterface flag
-- so check for that, and suggest. cf Trac #3805
-- The Maybe is because the user can omit the activation spec (and usually does)
mkInlinePragma mb_act match_info inl
= InlinePragma { inl_inline = inl
+ , inl_sat = Nothing
, inl_act = act
, inl_rule = match_info }
where