diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-02-09 09:50:42 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-12 02:50:03 -0500 |
commit | 012257c15f584069500af2953ab70856f9a1470e (patch) | |
tree | e6822fee11572b3d04194da8c14b6e7f3794519d /testsuite/tests/th/T8625.script | |
parent | 6399965d7f1636db6c777f597192467f93d800b1 (diff) | |
download | haskell-012257c15f584069500af2953ab70856f9a1470e.tar.gz |
Fix #16293 by cleaning up Proxy# infelicities
This bug fixes three problems related to `Proxy#`/`proxy#`:
1. Reifying it with TH claims that the `Proxy#` type constructor has
two arguments, but that ought to be one for consistency with
TH's treatment for other primitive type constructors like `(->)`.
This was fixed by just returning the number of
`tyConVisibleTyVars` instead of using `tyConArity` (which includes
invisible arguments).
2. The role of `Proxy#`'s visible argument was hard-coded as nominal.
Easily fixed by changing it to phantom.
3. The visibility of `proxy#`'s kind argument was specified, which
is different from the `Proxy` constructor (which treats it as
inferred). Some minor refactoring in `proxyHashId` fixed ths up.
Along the way, I had to introduce a `mkSpecForAllTy` function, so
I did some related Haddock cleanup in `Type`, where that function
lives.
Diffstat (limited to 'testsuite/tests/th/T8625.script')
0 files changed, 0 insertions, 0 deletions