diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-12-03 12:50:35 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-12-07 13:32:55 -0500 |
| commit | 427f9c122f5b1f130b0a342047c87ee0420050c9 (patch) | |
| tree | 074c2d1449fa7d2706a875840818371ef6a62b52 /testsuite | |
| parent | 7eb5606441bf11ba2ebd5f8904918dc82a2a3126 (diff) | |
| download | haskell-427f9c122f5b1f130b0a342047c87ee0420050c9.tar.gz | |
Re-export GHC.Types from GHC.Exts
Several times in the past, it has happened that things from GHC.Types
were not re-exported from GHC.Exts, forcing users to import either
GHC.Types or GHC.Prim, which are subject to internal change without
notice.
We now re-export GHC.Types from GHC.Exts, which should avoid this
happening again in the future.
In particular, we now re-export `Multiplicity` and `MultMul`,
which we didn't before.
Fixes #20695
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_run/KindInvariant.stderr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_run/KindInvariant.stderr b/testsuite/tests/typecheck/should_run/KindInvariant.stderr index fb4dd69779..ac31936e39 100644 --- a/testsuite/tests/typecheck/should_run/KindInvariant.stderr +++ b/testsuite/tests/typecheck/should_run/KindInvariant.stderr @@ -1,7 +1,6 @@ <interactive>:1:3: error: • Couldn't match a lifted type with an unlifted type - Expected kind ‘* -> *’, - but ‘State#’ has kind ‘* -> GHC.Types.ZeroBitType’ + Expected kind ‘* -> *’, but ‘State#’ has kind ‘* -> ZeroBitType’ • In the first argument of ‘T’, namely ‘State#’ In the type ‘T State#’ |