diff options
Diffstat (limited to 'testsuite/tests/safeHaskell/unsafeLibs/BadImport02_A.hs')
| -rw-r--r-- | testsuite/tests/safeHaskell/unsafeLibs/BadImport02_A.hs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/safeHaskell/unsafeLibs/BadImport02_A.hs b/testsuite/tests/safeHaskell/unsafeLibs/BadImport02_A.hs new file mode 100644 index 0000000000..2ca43343eb --- /dev/null +++ b/testsuite/tests/safeHaskell/unsafeLibs/BadImport02_A.hs @@ -0,0 +1,16 @@ +{-# LANGUAGE Trustworthy #-} +module BadImport02_A ( + Nat, zero, succ', showNat + ) where + +data Nat = NatC Int + +zero :: Nat +zero = NatC 0 + +succ' :: Nat -> Nat +succ' (NatC n) = NatC $ n + 1 + +showNat :: Nat -> String +showNat (NatC n) = "Nat " ++ show n + |