diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-10-21 11:27:16 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-11-01 21:12:54 -0400 |
| commit | c3ecf06018ee3d97a6536de57519af865976ce04 (patch) | |
| tree | 911b6794ccd44b55dced86aa449a50c6ebc0e884 /testsuite/tests | |
| parent | 593e8b9adc3cb6b7364bedec4e4c626eea2fcd27 (diff) | |
| download | haskell-c3ecf06018ee3d97a6536de57519af865976ce04.tar.gz | |
Annotate poly-kinded type patterns in instance reification.
This should fix #8953.
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/th/T5358.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/th/T5358.stderr b/testsuite/tests/th/T5358.stderr index fd7e32c58a..395510e43e 100644 --- a/testsuite/tests/th/T5358.stderr +++ b/testsuite/tests/th/T5358.stderr @@ -1,7 +1,7 @@ T5358.hs:14:15: Exception when trying to run compile-time code: - runTest called error: forall t_0 . t_0 -> GHC.Types.Bool + runTest called error: forall (t_0 :: *) . t_0 -> GHC.Types.Bool Code: do { VarI _ t _ _ <- reify (mkName "prop_x1"); ($) error ((++) "runTest called error: " pprint t) } In the splice: |