diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-12-16 14:00:15 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-12-16 14:00:15 +0100 |
| commit | ed4cf039092a8cc5bea78dedb845f8e2db3f49b8 (patch) | |
| tree | 72b95e4653413d133b77ec2cf8b2bbaac0d2e487 /compiler/typecheck/TcGenFunctor.hs | |
| parent | 6fecb2a4dec6d1a4bfb5655ef5fc2a3e475954a4 (diff) | |
| download | haskell-ed4cf039092a8cc5bea78dedb845f8e2db3f49b8.tar.gz | |
Typos in comments
Diffstat (limited to 'compiler/typecheck/TcGenFunctor.hs')
| -rw-r--r-- | compiler/typecheck/TcGenFunctor.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcGenFunctor.hs b/compiler/typecheck/TcGenFunctor.hs index 1f0df61770..5679f9ff42 100644 --- a/compiler/typecheck/TcGenFunctor.hs +++ b/compiler/typecheck/TcGenFunctor.hs @@ -727,7 +727,7 @@ Deriving Functor, Foldable, and Traversable all require generating expressions which perform an operation on each argument of a data constructor depending on the argument's type. In particular, a generated operation can be different depending on whether the type mentions the last type variable of the datatype -(e.g., if you have data T a = MkT a Int, then a generated foldr expresion would +(e.g., if you have data T a = MkT a Int, then a generated foldr expression would fold over the first argument of MkT, but not the second). This pattern is abstracted with the FFoldType datatype, which provides hooks |