diff options
| author | David Terei <davidterei@gmail.com> | 2011-10-20 21:33:14 -0700 |
|---|---|---|
| committer | David Terei <davidterei@gmail.com> | 2011-10-25 14:47:32 -0700 |
| commit | 5c466ca9e672f48870f71746e0ee6a480b6e6eb7 (patch) | |
| tree | 5d785e5f6b44b4b6eb0050b3718cd7e9b1f0cd98 /testsuite/tests/safeHaskell/safeInfered | |
| parent | ac8c632592a3603bed6ba5317223378837d35710 (diff) | |
| download | haskell-5c466ca9e672f48870f71746e0ee6a480b6e6eb7.tar.gz | |
More fixes to Safe Haskell test for design changes
Diffstat (limited to 'testsuite/tests/safeHaskell/safeInfered')
6 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/safeHaskell/safeInfered/Mixed03.hs b/testsuite/tests/safeHaskell/safeInfered/Mixed03.hs new file mode 100644 index 0000000000..fba39654d9 --- /dev/null +++ b/testsuite/tests/safeHaskell/safeInfered/Mixed03.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE Unsafe #-} +-- | Should fail compilation because we import Data.Word as safe and unsafe +module Mixed03 where + +import safe qualified Data.Word as DW +import System.IO +import Data.Word + +f :: Int +f = 1 + diff --git a/testsuite/tests/safeHaskell/safeInfered/Mixed03.stderr b/testsuite/tests/safeHaskell/safeInfered/Mixed03.stderr new file mode 100644 index 0000000000..4f4dcccbcf --- /dev/null +++ b/testsuite/tests/safeHaskell/safeInfered/Mixed03.stderr @@ -0,0 +1,3 @@ + +Mixed03.hs:5:1: + Module DW is imported both as a safe and unsafe import! diff --git a/testsuite/tests/safeHaskell/safeInfered/SafeInfered01.stderr b/testsuite/tests/safeHaskell/safeInfered/SafeInfered01.stderr new file mode 100644 index 0000000000..134cbbe20b --- /dev/null +++ b/testsuite/tests/safeHaskell/safeInfered/SafeInfered01.stderr @@ -0,0 +1,2 @@ +[1 of 2] Compiling SafeInfered01_A ( SafeInfered01_A.hs, SafeInfered01_A.o ) +[2 of 2] Compiling SafeInfered01 ( SafeInfered01.hs, SafeInfered01.o ) diff --git a/testsuite/tests/safeHaskell/safeInfered/SafeInfered02.stderr b/testsuite/tests/safeHaskell/safeInfered/SafeInfered02.stderr new file mode 100644 index 0000000000..ffbce376b1 --- /dev/null +++ b/testsuite/tests/safeHaskell/safeInfered/SafeInfered02.stderr @@ -0,0 +1,2 @@ +[1 of 2] Compiling SafeInfered02_A ( SafeInfered02_A.hs, SafeInfered02_A.o ) +[2 of 2] Compiling SafeInfered02 ( SafeInfered02.hs, SafeInfered02.o ) diff --git a/testsuite/tests/safeHaskell/safeInfered/SafeInfered03.stderr b/testsuite/tests/safeHaskell/safeInfered/SafeInfered03.stderr new file mode 100644 index 0000000000..18940a98f2 --- /dev/null +++ b/testsuite/tests/safeHaskell/safeInfered/SafeInfered03.stderr @@ -0,0 +1,2 @@ +[1 of 2] Compiling SafeInfered03_A ( SafeInfered03_A.hs, SafeInfered03_A.o ) +[2 of 2] Compiling SafeInfered03 ( SafeInfered03.hs, SafeInfered03.o ) diff --git a/testsuite/tests/safeHaskell/safeInfered/all.T b/testsuite/tests/safeHaskell/safeInfered/all.T index 19a788b792..255897fc01 100644 --- a/testsuite/tests/safeHaskell/safeInfered/all.T +++ b/testsuite/tests/safeHaskell/safeInfered/all.T @@ -26,4 +26,5 @@ test('UnsafeInfered09', normal, multimod_compile_fail, ['UnsafeInfered09', '']) # Mixed tests test('Mixed01', normal, compile_fail, ['']) test('Mixed02', normal, compile_fail, ['']) +test('Mixed03', normal, compile_fail, ['']) |