Commit b74af13a authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Make -XTypeFamilies imply -XRelaxedPolyRec (Trac #2944)

parent 48b62514
......@@ -1790,6 +1790,8 @@ impliedFlags
= [ (Opt_GADTs, Opt_RelaxedPolyRec) -- We want type-sig variables to
-- be completely rigid for GADTs
, (Opt_TypeFamilies, Opt_RelaxedPolyRec) -- Trac #2944 gives a nice example
, (Opt_ScopedTypeVariables, Opt_RelaxedPolyRec) -- Ditto for scoped type variables; see
-- Note [Scoped tyvars] in TcBinds
, (Opt_ImpredicativeTypes, Opt_RankNTypes)
......
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