diff options
| author | Gabor Greif <ggreif@gmail.com> | 2013-01-24 16:06:57 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2013-01-30 21:45:31 +0100 |
| commit | 3e1745aa272077c98254ce9b79e62b92c40948a9 (patch) | |
| tree | d9dca5075561442dafcf8bb3cb627dec7cc0a9e6 /compiler/prelude/TysPrim.lhs | |
| parent | a217e7a27a8d48095e2e276ed07a203254bf8743 (diff) | |
| download | haskell-3e1745aa272077c98254ce9b79e62b92c40948a9.tar.gz | |
typos
Diffstat (limited to 'compiler/prelude/TysPrim.lhs')
| -rw-r--r-- | compiler/prelude/TysPrim.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/prelude/TysPrim.lhs b/compiler/prelude/TysPrim.lhs index 8b9cbf9ac2..44ba035dc0 100644 --- a/compiler/prelude/TysPrim.lhs +++ b/compiler/prelude/TysPrim.lhs @@ -241,7 +241,7 @@ funTyCon = mkFunTyCon funTyConName $ -- You might think that (->) should have type (?? -> ? -> *), and you'd be right -- But if we do that we get kind errors when saying -- instance Control.Arrow (->) - -- becuase the expected kind is (*->*->*). The trouble is that the + -- because the expected kind is (*->*->*). The trouble is that the -- expected/actual stuff in the unifier does not go contra-variant, whereas -- the kind sub-typing does. Sigh. It really only matters if you use (->) in -- a prefix way, thus: (->) Int# Int#. And this is unusual. @@ -653,7 +653,7 @@ The type constructor Any of kind forall k. k -> k has these properties: * It is a *closed* type family, with no instances. This means that if ty :: '(k1, k2) we add a given coercion g :: ty ~ (Fst ty, Snd ty) - If Any was a *data* type, then we'd get inconsistency becuase 'ty' + If Any was a *data* type, then we'd get inconsistency because 'ty' could be (Any '(k1,k2)) and then we'd have an equality with Any on one side and '(,) on the other |