From 4ff945c7f5c64cd75f751a81644ed776770d3023 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Fri, 1 Feb 2013 14:52:06 +0100 Subject: spelling --- testsuite/tests/typecheck/should_compile/tc167.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/tests/typecheck/should_compile/tc167.hs') 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. -- cgit v1.2.1