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