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