diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2015-12-15 01:01:39 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-15 01:38:10 +0100 |
| commit | ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7 (patch) | |
| tree | 2d9ac299165ebc06578dc52d464602aa5f701f0a /testsuite/tests/rename | |
| parent | 05fe5463143769a2e84d5e3508a829792d5a1817 (diff) | |
| download | haskell-ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7.tar.gz | |
DynFlags Remove -fwarn-context-quantification flag
As mentioned in #4426 these warnings are now errors since the Great
Wildcards Refactor of 2015 (1e041b7382b6aa329e4ad9625439f811e0f27232).
I've opened #11221 to ensure we remove the last traces of the option in
8.2.
Test Plan: validate
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1615
GHC Trac Issues: #4426
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_compile/T4426.hs | 1 | ||||
| -rw-r--r-- | testsuite/tests/rename/should_compile/T4426.stderr | 36 |
2 files changed, 18 insertions, 19 deletions
diff --git a/testsuite/tests/rename/should_compile/T4426.hs b/testsuite/tests/rename/should_compile/T4426.hs index 610f670e44..49e58751bd 100644 --- a/testsuite/tests/rename/should_compile/T4426.hs +++ b/testsuite/tests/rename/should_compile/T4426.hs @@ -1,5 +1,4 @@ {-# LANGUAGE RankNTypes #-} -{- # OPTIONS_GHC -fwarn-context-quantification #-} module T4426 where diff --git a/testsuite/tests/rename/should_compile/T4426.stderr b/testsuite/tests/rename/should_compile/T4426.stderr index f731f3544d..0d0b70628c 100644 --- a/testsuite/tests/rename/should_compile/T4426.stderr +++ b/testsuite/tests/rename/should_compile/T4426.stderr @@ -1,18 +1,18 @@ -
-T4426.hs:11:18: error: Not in scope: type variable ‘m’
-
-T4426.hs:11:28: error: Not in scope: type variable ‘m’
-
-T4426.hs:13:18: error: Not in scope: type variable ‘b’
-
-T4426.hs:13:28: error: Not in scope: type variable ‘b’
-
-T4426.hs:15:24: error: Not in scope: type variable ‘b’
-
-T4426.hs:15:34: error: Not in scope: type variable ‘b’
-
-T4426.hs:15:39: error: Not in scope: type variable ‘c’
-
-T4426.hs:17:23: error: Not in scope: type variable ‘m’
-
-T4426.hs:17:28: error: Not in scope: type variable ‘m’
+ +T4426.hs:10:18: error: Not in scope: type variable ‘m’ + +T4426.hs:10:28: error: Not in scope: type variable ‘m’ + +T4426.hs:12:18: error: Not in scope: type variable ‘b’ + +T4426.hs:12:28: error: Not in scope: type variable ‘b’ + +T4426.hs:14:24: error: Not in scope: type variable ‘b’ + +T4426.hs:14:34: error: Not in scope: type variable ‘b’ + +T4426.hs:14:39: error: Not in scope: type variable ‘c’ + +T4426.hs:16:23: error: Not in scope: type variable ‘m’ + +T4426.hs:16:28: error: Not in scope: type variable ‘m’ |