blob: 9a94458c7e8333d5bbe44d9c1abca1f6e586226c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE Trustworthy #-}
-- | Trusted library that unsafe plugins can use
module SafeLang10_A where
class Pos a where
res :: a -> Bool
-- Any call to res with a list in out TCB
-- should use this method and never a more
-- specific one provided by an untrusted module
instance Pos [a] where
res _ = True
|
