blob: 79b5567580429a1cb47b3a7aaa49b7c8d5af6bef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE Safe #-}
{-# LANGUAGE FlexibleInstances #-}
-- | Compilation should fail as we have overlapping instances that don't obey
-- our heuristics.
module SH_Overlap5 where
import safe SH_Overlap5_A
instance
C [a] where
f _ = "[a]"
test :: String
test = f ([1,2,3,4] :: [Int])
|