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 /testsuite/tests/th/TH_repPatSigTVar.stderr | |
| 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 'testsuite/tests/th/TH_repPatSigTVar.stderr')
| -rw-r--r-- | testsuite/tests/th/TH_repPatSigTVar.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/th/TH_repPatSigTVar.stderr b/testsuite/tests/th/TH_repPatSigTVar.stderr new file mode 100644 index 0000000000..fb02dd9fb8 --- /dev/null +++ b/testsuite/tests/th/TH_repPatSigTVar.stderr @@ -0,0 +1,8 @@ + +TH_repPatSigTVar.hs:8:64: error: + • Not in scope: type variable ‘c’ + • In the Template Haskell quotation ''c + In the untyped splice: $(sigE (varE 'undefined) (varT ''c)) + In the Template Haskell quotation + [d| f = \ (_ :: Either a b) + -> $(sigE (varE 'undefined) (varT ''c)) |] |