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