From ab618309069bb47645f33cd1b198ace46e27abb9 Mon Sep 17 00:00:00 2001 From: Vladislav Zavialov Date: Sun, 18 Oct 2020 15:24:31 +0300 Subject: Export (~) from Data.Type.Equality (#18862) * Users can define their own (~) type operator * Haddock can display documentation for the built-in (~) * New transitional warnings implemented: -Wtype-equality-out-of-scope -Wtype-equality-requires-operators Updates the haddock submodule. --- testsuite/tests/ghci/scripts/T12447.script | 2 +- testsuite/tests/ghci/scripts/ghci024.stdout | 1 + testsuite/tests/ghci/scripts/ghci024.stdout-mingw32 | 1 + 3 files changed, 3 insertions(+), 1 deletion(-) (limited to 'testsuite/tests/ghci/scripts') diff --git a/testsuite/tests/ghci/scripts/T12447.script b/testsuite/tests/ghci/scripts/T12447.script index 826dec0b63..3a30c65905 100644 --- a/testsuite/tests/ghci/scripts/T12447.script +++ b/testsuite/tests/ghci/scripts/T12447.script @@ -1,5 +1,5 @@ :set -XHaskell2010 -:set -XRankNTypes -XConstraintKinds -XTypeApplications +:set -XRankNTypes -XConstraintKinds -XTypeApplications -XTypeOperators import Data.Typeable diff --git a/testsuite/tests/ghci/scripts/ghci024.stdout b/testsuite/tests/ghci/scripts/ghci024.stdout index 20750f5817..db6a7b955e 100644 --- a/testsuite/tests/ghci/scripts/ghci024.stdout +++ b/testsuite/tests/ghci/scripts/ghci024.stdout @@ -16,6 +16,7 @@ warning settings: -Wsemigroup -Wstar-is-type -Wcompat-unqualified-imports + -Wtype-equality-out-of-scope ~~~~~~~~~~ Testing :set -a options currently set: none. base language is: GHC2021 diff --git a/testsuite/tests/ghci/scripts/ghci024.stdout-mingw32 b/testsuite/tests/ghci/scripts/ghci024.stdout-mingw32 index 1c03e5fab8..a693b73aaf 100644 --- a/testsuite/tests/ghci/scripts/ghci024.stdout-mingw32 +++ b/testsuite/tests/ghci/scripts/ghci024.stdout-mingw32 @@ -15,6 +15,7 @@ warning settings: -Wsemigroup -Wstar-is-type -Wcompat-unqualified-imports + -Wtype-equality-out-of-scope ~~~~~~~~~~ Testing :set -a options currently set: none. base language is: GHC2021 -- cgit v1.2.1