blob: ffc65d093b1c6c5891d39fa26c7b3a5064faea57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -fwarn-unsafe -Werror #-}
{-# LANGUAGE FlexibleInstances #-}
module UnsafeInfered16 where
class C a where
f :: a -> String
instance {-# OVERLAPPING #-} C a where
f _ = "a"
instance {-# OVERLAPS #-} C Int where
f _ = "Int"
instance {-# OVERLAPPABLE #-} C Bool where
f _ = "Bool"
|