summaryrefslogtreecommitdiff
path: root/testsuite/tests/safeHaskell/safeInfered
diff options
context:
space:
mode:
authorDavid Terei <code@davidterei.com>2014-11-12 16:11:39 -0800
committerDavid Terei <code@davidterei.com>2014-11-12 17:49:42 -0800
commit475dd93efa5158a0f9516f6819a24edfc30c1a76 (patch)
treec4f3fc0a526056dffb275d7bf9c9e142755559ac /testsuite/tests/safeHaskell/safeInfered
parent1f8b4ee074b4d9e3d847b3139dc89fff1bb5d2e6 (diff)
downloadhaskell-475dd93efa5158a0f9516f6819a24edfc30c1a76.tar.gz
Add `--fwarn-trustworthy-safe` to `-Wall`
Update submodule haskell2010, haskell98, hoop, hpc and stm to fix new warnings.
Diffstat (limited to 'testsuite/tests/safeHaskell/safeInfered')
-rw-r--r--testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.hs10
-rw-r--r--testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.stderr3
-rw-r--r--testsuite/tests/safeHaskell/safeInfered/all.T1
3 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.hs b/testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.hs
new file mode 100644
index 0000000000..12be9b174c
--- /dev/null
+++ b/testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE Trustworthy #-}
+{-# OPTIONS_GHC -Wall #-}
+
+-- | This module is marked trustworthy but should be inferable as -XSafe.
+-- Warning enabled through `-W`.
+module TrustworthySafe03 where
+
+g :: Int
+g = 1
+
diff --git a/testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.stderr b/testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.stderr
new file mode 100644
index 0000000000..9505d06031
--- /dev/null
+++ b/testsuite/tests/safeHaskell/safeInfered/TrustworthySafe03.stderr
@@ -0,0 +1,3 @@
+
+TrustworthySafe03.hs:1:14: Warning:
+ ‘TrustworthySafe03’ is marked as Trustworthy but has been inferred as safe!
diff --git a/testsuite/tests/safeHaskell/safeInfered/all.T b/testsuite/tests/safeHaskell/safeInfered/all.T
index 89062cd174..12e80a7fde 100644
--- a/testsuite/tests/safeHaskell/safeInfered/all.T
+++ b/testsuite/tests/safeHaskell/safeInfered/all.T
@@ -76,6 +76,7 @@ test('Mixed03', normal, compile_fail, [''])
# Trustworthy Safe modules
test('TrustworthySafe01', normal, compile, [''])
test('TrustworthySafe02', normal, compile, [''])
+test('TrustworthySafe03', normal, compile, [''])
test('TrustworthySafe04', normal, compile, [''])
# Check -fwarn-unsafe works