diff options
Diffstat (limited to 'testsuite/tests/safeHaskell/safeLanguage/SafeLang10_A.hs')
-rw-r--r-- | testsuite/tests/safeHaskell/safeLanguage/SafeLang10_A.hs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/safeHaskell/safeLanguage/SafeLang10_A.hs b/testsuite/tests/safeHaskell/safeLanguage/SafeLang10_A.hs new file mode 100644 index 0000000000..7be17b5ec0 --- /dev/null +++ b/testsuite/tests/safeHaskell/safeLanguage/SafeLang10_A.hs @@ -0,0 +1,16 @@ +{-# 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 + + |