diff options
| author | Gabor Greif <ggreif@gmail.com> | 2013-02-01 14:52:06 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2013-02-02 00:51:59 +0100 |
| commit | 4ff945c7f5c64cd75f751a81644ed776770d3023 (patch) | |
| tree | 43353ece6e5a94d64897064a96ee541c63406114 /testsuite/tests/typecheck/should_compile/tc167.hs | |
| parent | fd1cf5cb2393af5760227cf54abd1f1221e68590 (diff) | |
| download | haskell-4ff945c7f5c64cd75f751a81644ed776770d3023.tar.gz | |
spelling
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc167.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc167.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc167.hs b/testsuite/tests/typecheck/should_compile/tc167.hs index b317763831..cadb1a7fba 100644 --- a/testsuite/tests/typecheck/should_compile/tc167.hs +++ b/testsuite/tests/typecheck/should_compile/tc167.hs @@ -17,7 +17,7 @@ f x = x -- 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. |