blob: ff2abe647d6bb7753e4a99dd29c2c7348f2ab800 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -fwarn-unsafe -Werror #-}
{-# LANGUAGE FlexibleInstances #-}
module UnsafeInfered17 where
class C a where
f :: a -> String
instance {-# INCOHERENT #-} C a where
f _ = "a"
|