New handling of overlapping inst in Safe Haskell
[ghc.git] / testsuite / tests / safeHaskell / safeInfered / SafeInfered05.hs
1 {-# LANGUAGE Unsafe #-}
2 {-# LANGUAGE OverlappingInstances #-}
3 {-# LANGUAGE FlexibleInstances #-}
4
5 -- | We allow this overlap to succeed since the module is regarded as
6 -- `-XUnsafe`.
7 module SafeInfered05 where
8
9 import safe SafeInfered05_A
10
11 instance C [a] where
12 f _ = "[a]"
13
14 test2 :: String
15 test2 = f ([1,2,3,4] :: [Int])
16