blob: 5b9aa814cbc774e275711724a366f518274edaac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE Safe #-}
-- Untrusted plugin! Don't wan't it changing behaviour of our
-- trusted code
module SafeLang10_B where
import SafeLang10_A
instance {-# OVERLAPPABLE #-} Pos a where
res _ = False
instance {-# OVERLAPPING #-} Pos [Int] where
res _ = error "This curry is poisoned!"
function :: Int
function = 3
|