blob: b18192c0fbaa79a8614c2ae65276115a8e2e1919 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE Haskell2010 #-}
{-# 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
|