diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-17 21:18:00 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-18 10:16:46 +0100 |
| commit | 27842ec190cf46b6e494520761af41847837dc86 (patch) | |
| tree | 28fa653525bd0d02e0870934255dd6da256d8f59 | |
| parent | 0c420cb6fdf25a6779785e18d88c9ca9d3695af1 (diff) | |
| download | haskell-27842ec190cf46b6e494520761af41847837dc86.tar.gz | |
Fix thinko that crept into D1908
RyanGlScott updated the Diff only after I had merged it.
| -rw-r--r-- | compiler/typecheck/TcGenDeriv.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcGenDeriv.hs b/compiler/typecheck/TcGenDeriv.hs index 577b3dc404..34e9d111c8 100644 --- a/compiler/typecheck/TcGenDeriv.hs +++ b/compiler/typecheck/TcGenDeriv.hs @@ -1806,7 +1806,7 @@ only Foldable instances are not possible for function types at all. Given (data T a = T a a (T a) deriving Foldable), we get: instance Foldable T where - foldr f z (T1 x1 x2 x3) = + foldr f z (T x1 x2 x3) = $(foldr 'a 'a) x1 ( $(foldr 'a 'a) x2 ( $(foldr 'a '(T a)) x3 z ) ) -XDeriveFoldable is different from -XDeriveFunctor in that it filters out |