diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-10-18 15:24:31 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-03-15 18:34:38 +0300 |
| commit | ab618309069bb47645f33cd1b198ace46e27abb9 (patch) | |
| tree | 0a388d085a19b16da85dc91cc958578c9a033399 /testsuite/tests/rebindable | |
| parent | 8ff32124c8cd37050f3dc7cbb32b8d41711ebcaf (diff) | |
| download | haskell-ab618309069bb47645f33cd1b198ace46e27abb9.tar.gz | |
Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rn
* 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.
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/T19167.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/T19167.hs b/testsuite/tests/rebindable/T19167.hs index 6f7ebff33d..4e98e815ea 100644 --- a/testsuite/tests/rebindable/T19167.hs +++ b/testsuite/tests/rebindable/T19167.hs @@ -6,6 +6,7 @@ module Bug where import qualified Prelude as P import qualified GHC.Exts as P import Data.List.NonEmpty ( NonEmpty ) +import Data.Type.Equality ( type (~) ) fromInteger :: P.Integer -> forall a. P.Num a => a fromInteger n = P.fromInteger n |