blob: 8ef6bb8e418e8f1fbe65dbfcedd676c59dfe9d1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{-# OPTIONS_GHC -Wno-redundant-constraints -Wno-simplifiable-class-constraints #-}
{-# LANGUAGE FunctionalDependencies, FlexibleContexts #-}
class C a where
class D a where
dop :: a -> a
instance C a => D [a] where
dop = undefined
class J a b | a -> b
where j :: a -> b -> ()
instance J Bool Int where
j = undefined
foo :: D [Int] => ()
-- Weird test case: (D [Int]) is simplifiable
foo = j True (head (dop [undefined]))
main = return ()
|
