Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail069.hs
1 {-
2 From: Marc van Dongen <dongen@cs.ucc.ie>
3 Date: Wed, 9 Apr 1997 14:06:39 +0100 (BST)
4
5 I just wanted to report that the erroneous and tiny
6 program added below can not be compiled within 6MB of
7 heap (Admitted it can be compiled with a bigger heap).
8 It was part of a bigger program that could not be
9 compiled within 20MB of heap.
10
11 [GHC 2.03 and earlier.] Turned out to be a bug in the
12 error recovery mechanism.
13
14 -}
15
16 module ShouldFail where
17
18 too_much :: [Int] -> [(Int,Int)] -> [(Int,[Int])] -> Bool
19 too_much ds ((k,m):q1) s0
20 = case (list1,list2) of
21 [] -> error "foo" -- too_much ds q2m s2m
22 where list1 = ds
23 list2 = ds
24 {-
25 list1 = [k' | k' <- ds, k == k']
26 list2 = [k' | k' <- ds, m == k']
27 s1 = aas s0 k
28 raM = []
29 raKM = listUnion (\a b -> a) [] []
30 s1k = s1
31 q1k = raM
32 s2k = s1
33 q2k = raM
34 s2m = s1
35 q2m = raM
36 s2km = foldr (flip aas) s1 raKM
37 q2km = raKM
38 -}
39
40 listUnion :: (v -> v -> Bool) -> [v] -> [v] -> [v]
41 listUnion _ _ _
42 = []
43
44 aas :: (a,b) -> a -> (a,b)
45 aas s _
46 = s
47
48