blob: 8f455d05018e0ac0e1cdfcc65f01d0e827d742b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -fwarn-unsafe #-}
{-# LANGUAGE FlexibleInstances #-}
-- | Same as `SH_Overlap6`, but now we are inferring safety. Safe since
-- overlapped instance declares itself overlappable.
module SH_Overlap10 where
import SH_Overlap10_A
instance
{-# OVERLAPS #-}
C [a] where
f _ = "[a]"
test :: String
test = f ([1,2,3,4] :: [Int])
|
