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/partial-sigs/should_compile/PatternSplice.hs | |
| 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/partial-sigs/should_compile/PatternSplice.hs')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/PatternSplice.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/PatternSplice.hs b/testsuite/tests/partial-sigs/should_compile/PatternSplice.hs new file mode 100644 index 0000000000..710a861b48 --- /dev/null +++ b/testsuite/tests/partial-sigs/should_compile/PatternSplice.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE TemplateHaskell #-} +{-# LANGUAGE PartialTypeSignatures #-} +{-# LANGUAGE ScopedTypeVariables #-} +module PatternSplice where + +foo $( [p| (x :: _) |] ) = x |