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
|
module ShouldFail where
-- See Trac #1176
-- This is really a pretty-printer test, not a typechecker test
-- The more infix ops we have, the worse fsep works
-- Currently the error message looks ok, however
allTests :: Bool
allTests = foo
[a ~?= b
,"Three" ~?= "3"
,"Four" ~?= "4"
,"Five" ~?= "5"
,"Five" ~?= "5"
,"Five" ~?= "5"
,"Five" ~?= "5"
,"Five" ~?= "5"
,"Five" ~?= "5"
,"Two", "Two", "Two"
,"Two", "Two", "Two"
,"Two", "Two", "Two"
,"Two", "Two", "Two"
,"Two", "Two", "Two"
,"Two", "Two", "Two"]
a=""
b=""
(~?=) :: a -> a -> Bool
(~?=) = error "urk"
foo :: a -> Int
foo x = 0
|