diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 11:08:07 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 11:08:07 -0500 |
| commit | 8cc398ff8b3f7408327d99347f440693cb204c0a (patch) | |
| tree | 32a2062d22782b437255f46b14b1977e0d171874 /compiler | |
| parent | 02c7135dfce049b53bd38aa35c175302652af507 (diff) | |
| download | haskell-8cc398ff8b3f7408327d99347f440693cb204c0a.tar.gz | |
Fix #8758 by assuming RankNTypes when checking GND code.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcDeriv.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs index f9f7c0ac00..8a4c19c4de 100644 --- a/compiler/typecheck/TcDeriv.lhs +++ b/compiler/typecheck/TcDeriv.lhs @@ -1969,7 +1969,8 @@ genInst standalone_deriv oflag comauxs , iBinds = InstBindings { ib_binds = gen_Newtype_binds loc clas tvs tys rhs_ty , ib_pragmas = [] - , ib_extensions = [Opt_ImpredicativeTypes] + , ib_extensions = [ Opt_ImpredicativeTypes + , Opt_RankNTypes ] , ib_standalone_deriving = standalone_deriv } } , emptyBag , Just $ getName $ head $ tyConDataCons rep_tycon ) } |