[commit: testsuite] master: Add test to make sure flag extensions are correctly display as a unsafe (8e04da1)

[David Terei]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/8e04da17bab070971661971bf1de00afcde491a8

>---------------------------------------------------------------

commit 8e04da17bab070971661971bf1de00afcde491a8
Author: David Terei <davidterei at gmail.com>
Date:   Tue Apr 10 10:53:46 2012 -0700

    Add test to make sure flag extensions are correctly display as a unsafe
    reason.

>---------------------------------------------------------------

 tests/safeHaskell/safeInfered/UnsafeInfered12.hs   |    7 +++++++
 .../safeHaskell/safeInfered/UnsafeInfered12.stderr |    9 +++++++++
 tests/safeHaskell/safeInfered/all.T                |    3 +++
 3 files changed, 19 insertions(+), 0 deletions(-)

diff --git a/tests/safeHaskell/safeInfered/UnsafeInfered12.hs b/tests/safeHaskell/safeInfered/UnsafeInfered12.hs
new file mode 100644
index 0000000..a39b46e
--- /dev/null
+++ b/tests/safeHaskell/safeInfered/UnsafeInfered12.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TemplateHaskell #-}
+{-# OPTIONS_GHC -fwarn-unsafe -Werror #-}
+module UnsafeInfered12 where
+
+a :: Int
+a = 1
+
diff --git a/tests/safeHaskell/safeInfered/UnsafeInfered12.stderr b/tests/safeHaskell/safeInfered/UnsafeInfered12.stderr
new file mode 100644
index 0000000..1fa0d52
--- /dev/null
+++ b/tests/safeHaskell/safeInfered/UnsafeInfered12.stderr
@@ -0,0 +1,9 @@
+
+UnsafeInfered12.hs:2:16: Warning:
+    `UnsafeInfered12' has been infered as unsafe!
+    Reason:
+        UnsafeInfered12.hs:1:14:
+            -XTemplateHaskell is not allowed in Safe Haskell
+
+<no location info>: 
+Failing due to -Werror.
diff --git a/tests/safeHaskell/safeInfered/all.T b/tests/safeHaskell/safeInfered/all.T
index a685a79..dee056a 100644
--- a/tests/safeHaskell/safeInfered/all.T
+++ b/tests/safeHaskell/safeInfered/all.T
@@ -56,6 +56,9 @@ test('UnsafeInfered11',
      [ extra_clean(['UnsafeInfered11_A.hi', 'UnsafeInfered11_A.o']) ],
      multimod_compile_fail, ['UnsafeInfered11', ''])
 
+# test should fail as unsafe and we made warn unsafe + -Werror
+test('UnsafeInfered12', normal, compile_fail, [''])
+
 # Mixed tests
 test('Mixed01', normal, compile_fail, [''])
 test('Mixed02', normal, compile_fail, [''])