blob: c34d5e7e9c65275b74d4e15e64717204e6f2803a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-- Test the refined dependency analysis of bindings
-- with -fglagow-exts
module ShouldCompile where
f1 :: Eq a => a -> Bool
f1 x = (x == x) || g1 True
g1 :: Ord a => a -> Bool
g1 y = (y <= y) || f1 True
---------
f2 :: Eq a => a -> Bool
f2 x = (x == x) || g2 True || g2 "Yes"
g2 y = (y <= y) || f2 True
|