diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-03-06 14:42:02 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-07 14:07:49 -0500 |
commit | 068b7e983f4a0b35f453aa5e609998efd0c3f334 (patch) | |
tree | 7a0372414b520722b1168fa9b5e15afcdb821caf /testsuite/tests/patsyn | |
parent | 7a68254a7284db5bf8f1fa82aba4a6825d8f050a (diff) | |
download | haskell-068b7e983f4a0b35f453aa5e609998efd0c3f334.tar.gz |
Fix #16391 by using occCheckExpand in TcValidity
The type-variables-escaping-their-scope-via-kinds check in
`TcValidity` was failing to properly expand type synonyms, which led
to #16391. This is easily fixed by using `occCheckExpand` before
performing the validity check.
Along the way, I refactored this check out into its own function,
and sprinkled references to Notes to better explain all of the moving
parts. Many thanks to @simonpj for the suggestions.
Bumps the haddock submodule.
Diffstat (limited to 'testsuite/tests/patsyn')
-rw-r--r-- | testsuite/tests/patsyn/should_compile/T11213.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T11213.stderr b/testsuite/tests/patsyn/should_compile/T11213.stderr index ae8f15f4fa..212e3e9334 100644 --- a/testsuite/tests/patsyn/should_compile/T11213.stderr +++ b/testsuite/tests/patsyn/should_compile/T11213.stderr @@ -20,9 +20,9 @@ T11213.hs:23:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)] T11213.hs:24:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)] Pattern synonym with no type signature: - pattern Purp :: forall a a1. - (Eq a, Num a) => - Show a1 => a -> a1 -> ([a], UnivProv a1) + pattern Purp :: forall a1 a2. + (Eq a1, Num a1) => + Show a2 => a1 -> a2 -> ([a1], UnivProv a2) T11213.hs:25:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)] Pattern synonym with no type signature: |