blob: 1e933ac3b038483cdff453390ce2f343f037c8e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE Unsafe #-}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE FlexibleInstances #-}
-- | We allow this overlap to succeed since the module is regarded as
-- `-XUnsafe`.
module SafeInfered05 where
import safe SafeInfered05_A
instance C [a] where
f _ = "[a]"
test2 :: String
test2 = f ([1,2,3,4] :: [Int])
|
