diff options
author | Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com> | 2016-11-05 22:06:39 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2016-11-05 22:07:30 +0000 |
commit | b0121209f8fb47a7cb8fc32e10d8e2c06d4502c2 (patch) | |
tree | 5bfb1e8eaa580b3b5ad6bbc08176e8f2fd90c1bd /docs | |
parent | 2cdd9bd5208e3ad78d7a3b8b82c8ae1be486b34d (diff) | |
download | haskell-b0121209f8fb47a7cb8fc32e10d8e2c06d4502c2.tar.gz |
Handle types w/ type variables in signatures inside patterns (DsMeta)
The comment indicated that scoping of type variables was a large problem
but Simon fixed it in e21e13fb52b99b14770cc5857df57bbcc9c85102.
Thus, we can implement repP for signatures very easily in the usual way
now.
Reviewers: goldfire, simonpj, austin, bgamari
Reviewed By: simonpj
Subscribers: mpickering, simonpj, thomie
Differential Revision: https://phabricator.haskell.org/D2490
GHC Trac Issues: #12164
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions