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