blob: bdeb6f6a91cacea9ee2c01f02508f56ea1df286b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-- Both sets should fail in Haskell98
{-# LANGUAGE Haskell98 #-}
module ShouldCompile where
f1 :: Eq a => a -> Bool
f1 x = (x == x) || g1 True || g1 "Yes"
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
|