Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/9cecb0443562e4d221e13d86f617c88230dc9348 >--------------------------------------------------------------- commit 9cecb0443562e4d221e13d86f617c88230dc9348 Author: David Terei <[email protected]> Date: Thu Feb 9 14:56:21 2012 -0800 Add some safe haskell test for '-trust' flag. >--------------------------------------------------------------- .../flags/{SafeFlags27.hs => SafeFlags28.hs} | 4 ++-- tests/safeHaskell/flags/SafeFlags28.stderr | 12 ++++++++++++ .../flags/{SafeFlags27.hs => SafeFlags29.hs} | 5 +++-- tests/safeHaskell/flags/SafeFlags29.stderr | 12 ++++++++++++ tests/safeHaskell/flags/all.T | 4 ++++ 5 files changed, 33 insertions(+), 4 deletions(-) diff --git a/tests/safeHaskell/flags/SafeFlags27.hs b/tests/safeHaskell/flags/SafeFlags28.hs similarity index 73% copy from tests/safeHaskell/flags/SafeFlags27.hs copy to tests/safeHaskell/flags/SafeFlags28.hs index e6da435..feb4516 100644 --- a/tests/safeHaskell/flags/SafeFlags27.hs +++ b/tests/safeHaskell/flags/SafeFlags28.hs @@ -1,8 +1,8 @@ -{-# OPTIONS_GHC -fno-safe-infer #-} +{-# OPTIONS_GHC -trust base, -trust bytestring #-} -- | Basic test to see if no safe infer flag compiles -- This module would usually infer safely, so it shouldn't be safe now. -- We don't actually check that here though, see test '' for that. -module SafeFlags27 where +module SafeFlags28 where f :: Int f = 1 diff --git a/tests/safeHaskell/flags/SafeFlags28.stderr b/tests/safeHaskell/flags/SafeFlags28.stderr new file mode 100644 index 0000000..46dcabb --- /dev/null +++ b/tests/safeHaskell/flags/SafeFlags28.stderr @@ -0,0 +1,12 @@ + +SafeFlags28.hs:1:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: -trust + +SafeFlags28.hs:1:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: base, + +SafeFlags28.hs:1:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: -trust + +SafeFlags28.hs:1:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: bytestring diff --git a/tests/safeHaskell/flags/SafeFlags27.hs b/tests/safeHaskell/flags/SafeFlags29.hs similarity index 68% copy from tests/safeHaskell/flags/SafeFlags27.hs copy to tests/safeHaskell/flags/SafeFlags29.hs index e6da435..389fe48 100644 --- a/tests/safeHaskell/flags/SafeFlags27.hs +++ b/tests/safeHaskell/flags/SafeFlags29.hs @@ -1,8 +1,9 @@ -{-# OPTIONS_GHC -fno-safe-infer #-} +{-# LANGUAGE Safe #-} +{-# OPTIONS_GHC -trust base -trust bytestring #-} -- | Basic test to see if no safe infer flag compiles -- This module would usually infer safely, so it shouldn't be safe now. -- We don't actually check that here though, see test '' for that. -module SafeFlags27 where +module SafeFlags29 where f :: Int f = 1 diff --git a/tests/safeHaskell/flags/SafeFlags29.stderr b/tests/safeHaskell/flags/SafeFlags29.stderr new file mode 100644 index 0000000..ee0d13b --- /dev/null +++ b/tests/safeHaskell/flags/SafeFlags29.stderr @@ -0,0 +1,12 @@ + +SafeFlags29.hs:2:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: -trust + +SafeFlags29.hs:2:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: base + +SafeFlags29.hs:2:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: -trust + +SafeFlags29.hs:2:16: + unknown flag in {-# OPTIONS_GHC #-} pragma: bytestring diff --git a/tests/safeHaskell/flags/all.T b/tests/safeHaskell/flags/all.T index 9269f8b..7134395 100644 --- a/tests/safeHaskell/flags/all.T +++ b/tests/safeHaskell/flags/all.T @@ -54,6 +54,10 @@ test('SafeFlags26', normal, compile_fail, ['']) # test -fno-safe-infer test('SafeFlags27', normal, compile, ['']) +# test package flags don't work +test('SafeFlags28', normal, compile_fail, ['']) +test('SafeFlags29', normal, compile_fail, ['']) + # test certain flags are still allowed under -XSafe test('Flags01', normal, compile, ['-XSafe']) test('Flags02', normal, compile, ['-XSafe']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
