projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3b28f74
)
fix typo in comment
author
Andres Loeh
<mail@andres-loeh.de>
Thu, 14 Sep 2006 23:56:48 +0000
(23:56 +0000)
committer
Andres Loeh
<mail@andres-loeh.de>
Thu, 14 Sep 2006 23:56:48 +0000
(23:56 +0000)
compiler/types/TypeRep.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/TypeRep.lhs
b/compiler/types/TypeRep.lhs
index
aa1c1fa
..
c222bf4
100644
(file)
--- a/
compiler/types/TypeRep.lhs
+++ b/
compiler/types/TypeRep.lhs
@@
-322,7
+322,7
@@
funTyCon = mkFunTyCon funTyConName (mkArrowKinds [argTypeKind, openTypeKind] lif
-- 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 (->)
-- 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.
-- 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.