blob: beaf3881f5340ee8c77801ab9f57c740d16f0b20 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# 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])
|
