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