diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2018-05-04 14:26:30 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-05-05 13:09:18 -0400 |
| commit | 0f046aae5c9552771e489dac8531744034f37cde (patch) | |
| tree | 47b75c484a146813e774f1cb5b49175ee524a095 /testsuite/tests/typecheck/should_fail/T15067.stderr | |
| parent | 361d23a8ebb44f5df5167306d7b98d8bd1724e06 (diff) | |
| download | haskell-0f046aae5c9552771e489dac8531744034f37cde.tar.gz | |
testsuite: Add test for #15067
Subscribers: thomie, carter, RyanGlScott
GHC Trac Issues: #15067
Differential Revision: https://phabricator.haskell.org/D4622
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15067.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15067.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15067.stderr b/testsuite/tests/typecheck/should_fail/T15067.stderr new file mode 100644 index 0000000000..a16d799cdc --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T15067.stderr @@ -0,0 +1,13 @@ + +T15067.hs:7:14: + No instance for (Typeable (# 'GHC.Types.LiftedRep #)) + arising from a use of ‘typeRep’ + GHC can't yet do polykinded + Typeable ((# 'GHC.Types.LiftedRep #) :: * + -> * + -> TYPE + ('GHC.Types.SumRep + '['GHC.Types.LiftedRep, + 'GHC.Types.LiftedRep])) + In the expression: typeRep + In an equation for ‘floopadoop’: floopadoop = typeRep |