Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail034.hs
1 {-
2 From: Jon Hill <hilly@dcs.qmw.ac.uk@jess.gla.ac.uk@pp.dcs.glasgow.ac.uk>
3 To: glasgow-haskell-bugs
4 Subject: Unfriendly error message
5 Date: Thu, 25 Jun 1992 09:22:55 +0100
6
7 Hello again,
8
9 I came across a rather nasty error message when I gave a function an
10 incorrect type signature (the context is wrong). I can remember reading
11 in the source about this problem - I just thought I'd let you know anyway :-)
12 -}
13 module ShouldFail where
14
15
16 test::(Num a, Eq a) => a -> Bool
17 test x = (x `mod` 3) == 0
18
19 {-
20 granite> ndph bug002.ldh
21 Data Parallel Haskell Compiler, version 0.01 (Glasgow 0.07)
22
23
24 "<unknown>", line <unknown>: Cannot express dicts in terms of dictionaries available:
25 dicts_encl:
26 "<built-in>", line : dict.87 :: <Num a>
27 "<built-in>", line : dict.88 :: <Eq a>
28 dicts_encl':
29 "<built-in>", line : dict.87 :: <Num a>
30 "<built-in>", line : dict.88 :: <Eq a>
31 dicts:
32 "<built-in>", line : dict.87 :: <Num a>
33 "<built-in>", line : dict.88 :: <Eq a>
34 super_class_dict: "<built-in>", line : dict.80 :: <Integral a>
35 Fail: Compilation errors found
36
37 dph: execution of the Haskell compiler had trouble
38
39 -}