diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-14 09:16:22 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-14 11:12:33 +0000 |
| commit | 0a85190312a1de3d300912051309b94589c08683 (patch) | |
| tree | 12dfdeb728e0782adad5c05980d858669ad01e3e /testsuite/tests/polykinds/T14450.stderr | |
| parent | e3ec2e7ae94524ebd111963faf34b84d942265b4 (diff) | |
| download | haskell-0a85190312a1de3d300912051309b94589c08683.tar.gz | |
Fix a TyVar bug in the flattener
A year ago I gave up on trying to rigorously separate TyVars
from TcTyVars, and instead allowed TyVars to appear rather more
freely in types examined by the constraint solver:
commit 18d0bdd3848201882bae167e3b15fd797d217e93
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date: Wed Nov 23 16:00:00 2016 +0000
Allow TyVars in TcTypes
See Note [TcTyVars in the typechecker] in TcType.
However, TcFlatten.flatten_tyvar1 turned out to treat
a TyVar specially, and implicitly assumed that it could
not have an equality constraint in the inert set. Wrong!
This caused Trac #14450. Fortunately it is easily fixed,
by deleting code.
Diffstat (limited to 'testsuite/tests/polykinds/T14450.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T14450.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T14450.stderr b/testsuite/tests/polykinds/T14450.stderr new file mode 100644 index 0000000000..c7caf04220 --- /dev/null +++ b/testsuite/tests/polykinds/T14450.stderr @@ -0,0 +1,8 @@ + +T14450.hs:31:12: error: + • Expected kind ‘k ~> k’, + but ‘(IddSym0 :: Type ~> Type)’ has kind ‘* ~> *’ + • In the first argument of ‘Dom’, namely + ‘(IddSym0 :: Type ~> Type)’ + In the type instance declaration for ‘Dom’ + In the instance declaration for ‘Varpi (IddSym0 :: k ~> k)’ |