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.hs | |
| 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.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15067.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15067.hs b/testsuite/tests/typecheck/should_fail/T15067.hs new file mode 100644 index 0000000000..ff093db114 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T15067.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE UnboxedSums #-} +module T15067 where + +import Type.Reflection + +floopadoop :: TypeRep (# Bool | Int #) +floopadoop = typeRep + +rubadub :: (# True | 4 #) +rubadub = typeRep |