diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-01-12 23:08:07 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-13 16:52:07 -0500 |
| commit | 496607fdb77baf12e2fe263104ba5d0d700eee3b (patch) | |
| tree | 6b37b3ab1bf9375f61be2517ccaae54ada3c0ae0 /compiler/GHC/Core | |
| parent | b6eb9bccd56a11b5e8c208bb5490309317fd5275 (diff) | |
| download | haskell-496607fdb77baf12e2fe263104ba5d0d700eee3b.tar.gz | |
Add a missing checkEscapingKind
Ticket #22743 pointed out that there is a missing check,
for type-inferred bindings, that the inferred type doesn't
have an escaping kind.
The fix is easy.
Diffstat (limited to 'compiler/GHC/Core')
| -rw-r--r-- | compiler/GHC/Core/Type.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Type.hs b/compiler/GHC/Core/Type.hs index 7c36dfe02c..81b0f1e31b 100644 --- a/compiler/GHC/Core/Type.hs +++ b/compiler/GHC/Core/Type.hs @@ -50,7 +50,7 @@ module GHC.Core.Type ( mkSpecForAllTy, mkSpecForAllTys, mkVisForAllTys, mkTyCoInvForAllTy, mkInfForAllTy, mkInfForAllTys, - splitForAllTyCoVars, + splitForAllTyCoVars, splitForAllTyVars, splitForAllReqTyBinders, splitForAllInvisTyBinders, splitForAllForAllTyBinders, splitForAllTyCoVar_maybe, splitForAllTyCoVar, |