New handling of overlapping inst in Safe Haskell
[ghc.git] / testsuite / tests / safeHaskell / overlapping / SH_Overlap6.hs
1 {-# LANGUAGE Safe #-}
2 {-# LANGUAGE FlexibleInstances #-}
3
4 -- | Same as `SH_Overlap5` but dependencies are now inferred-safe, not
5 -- explicitly marked. Compilation should still fail.
6 module SH_Overlap6 where
7
8 import safe SH_Overlap6_A
9
10 instance C [a] where
11 f _ = "[a]"
12
13 test :: String
14 test = f ([1,2,3,4] :: [Int])
15