diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-08-29 09:47:56 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-08-29 09:47:56 -0400 |
| commit | 983f6609b68bf4cef0a5c94cd5568673cab3a6cf (patch) | |
| tree | d9a2ed5c025e59c176a1e6bd15c9ab5d9e54aba6 /testsuite/tests/th/T12530.stderr | |
| parent | ca8c0e279a87d93c1fb10460c24ef35a9080238f (diff) | |
| download | haskell-983f6609b68bf4cef0a5c94cd5568673cab3a6cf.tar.gz | |
Template Haskell support for TypeApplications
Summary: Fixes #12530.
Test Plan: make test TEST=12530
Reviewers: austin, bgamari, hvr, goldfire
Reviewed By: goldfire
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2472
GHC Trac Issues: #12530
Diffstat (limited to 'testsuite/tests/th/T12530.stderr')
| -rw-r--r-- | testsuite/tests/th/T12530.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/th/T12530.stderr b/testsuite/tests/th/T12530.stderr new file mode 100644 index 0000000000..0ba15360ac --- /dev/null +++ b/testsuite/tests/th/T12530.stderr @@ -0,0 +1,10 @@ +T12530.hs:(8,3)-(15,6): Splicing declarations + [d| f :: Maybe Int -> Maybe Int + f = id @(Maybe Int) + g :: forall a. a + g = undefined @(_) @(a) |] + ======> + f :: Maybe Int -> Maybe Int + f = id @(Maybe Int) + g :: forall a. a + g = undefined @_ @a |