diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-25 08:29:12 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-25 11:32:29 +0000 |
| commit | 42c6263f23cf3f00035389637862944e0594bc7a (patch) | |
| tree | 662366ea49f1723f59e7d53e9d1d98af0763d449 /testsuite/tests/polykinds | |
| parent | 746764cce9a111a082a13bc3cd34b50e34fd2a31 (diff) | |
| download | haskell-42c6263f23cf3f00035389637862944e0594bc7a.tar.gz | |
Avoid recursive use of immSuperClasses
In fixing Trac #11480 I had omitted to deal with FunDeps.oclose,
which was making recursive use of immSuperClasses, and hence
going into a loop in the recursive case.
Solution: use transSuperClasses, which takes care not to.
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T11480a.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T11480a.hs b/testsuite/tests/polykinds/T11480a.hs index 3d17168082..eeeaf343fa 100644 --- a/testsuite/tests/polykinds/T11480a.hs +++ b/testsuite/tests/polykinds/T11480a.hs @@ -1,7 +1,7 @@ {-# language KindSignatures, PolyKinds, TypeFamilies, NoImplicitPrelude, FlexibleContexts, MultiParamTypeClasses, GADTs, - ConstraintKinds, FlexibleInstances, + ConstraintKinds, FlexibleInstances, UndecidableInstances, FunctionalDependencies, UndecidableSuperClasses #-} module T11480a where |