diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-01-24 02:49:42 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-01-24 20:33:44 +0100 |
| commit | 2c6fe5b8a854f06ea9574f7dca545b4c2d35b811 (patch) | |
| tree | 23caa1b757e34a0b70d35bbd15da5ff46d9e9d0f /testsuite/tests | |
| parent | edc68b2ffe833e487ae6b2b04cd9be18e40a5a5e (diff) | |
| download | haskell-2c6fe5b8a854f06ea9574f7dca545b4c2d35b811.tar.gz | |
Add -fwarn-redundant-constrains to test for #9708
Fixes validate on Travis.
Reviewed by: bgamari
Differential Revision: https://phabricator.haskell.org/D1834
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T9708.hs | 9 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T9708.stderr | 0 |
2 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T9708.hs b/testsuite/tests/typecheck/should_compile/T9708.hs index cb0e8474c3..38788574fc 100644 --- a/testsuite/tests/typecheck/should_compile/T9708.hs +++ b/testsuite/tests/typecheck/should_compile/T9708.hs @@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds, TypeOperators, TypeFamilies #-} +{-# OPTIONS_GHC -fwarn-redundant-constraints #-} module TcTypeNatSimple where import GHC.TypeLits @@ -16,5 +17,13 @@ type family SomeFun (n :: Nat) -- with the change to stop Deriveds from rewriting Deriveds (around Dec. 12, 2014), -- this failed again +-- 2016-01-23: it just started passing again, when +-- -fwarn-redundant-constraints was removed from the default warning set. +-- Turning the warning back on for this module, ghc reports (and probably has +-- for some time): +-- Redundant constraints: (x <= y, y <= x) +-- In the type signature for: +-- ti7 :: (x <= y, y <= x) => Proxy (SomeFun x) -> Proxy y -> () + ti7 :: (x <= y, y <= x) => Proxy (SomeFun x) -> Proxy y -> () ti7 _ _ = () diff --git a/testsuite/tests/typecheck/should_compile/T9708.stderr b/testsuite/tests/typecheck/should_compile/T9708.stderr deleted file mode 100644 index e69de29bb2..0000000000 --- a/testsuite/tests/typecheck/should_compile/T9708.stderr +++ /dev/null |