[commit: ghc] master: Small tweaks to comment (58ed1cc)
git at git.haskell.org
git at git.haskell.org
Fri Aug 1 00:13:18 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/58ed1cc2dc2b3cbe085655331b1cc14049fecf5b/ghc
>---------------------------------------------------------------
commit 58ed1cc2dc2b3cbe085655331b1cc14049fecf5b
Author: Gabor Greif <ggreif at gmail.com>
Date: Fri Aug 1 01:46:29 2014 +0200
Small tweaks to comment
>---------------------------------------------------------------
58ed1cc2dc2b3cbe085655331b1cc14049fecf5b
compiler/types/FamInstEnv.lhs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index a9da982..1308984 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -751,11 +751,11 @@ The "extra" type argument [Char] just stays on the end.
We handle data families and type families separately here:
- * For type families, all instances of a type family must have the
+ * For type families, all instances of a type family must have the
same arity, so we can precompute the split between the match_tys
and the overflow tys. This is done in pre_rough_split_tys.
- * For data families instances, though, we need to re-split for each
+ * For data family instances, though, we need to re-split for each
instance, because the breakdown might be different for each
instance. Why? Because of eta reduction; see Note [Eta reduction
for data family axioms]
More information about the ghc-commits
mailing list