diff options
| author | RyanGlScott <ryan.gl.scott@gmail.com> | 2016-01-23 13:03:26 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-01-23 13:03:27 +0100 |
| commit | 4e04043d1bb458439d3c3db3ffa9851bff780083 (patch) | |
| tree | 4dd37cc96589cbfd82fcf1469b2fe83ee23e5c97 | |
| parent | b01288d509b0f9e45f23ae48f2366f85f489089c (diff) | |
| download | haskell-4e04043d1bb458439d3c3db3ffa9851bff780083.tar.gz | |
Add test for Trac #11056
Reviewers: thomie, austin, bgamari
Reviewed By: bgamari
Subscribers: rwbarton
Differential Revision: https://phabricator.haskell.org/D1823
GHC Trac Issues: #11056
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T11056.hs | 14 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T11056.hs b/testsuite/tests/typecheck/should_compile/T11056.hs new file mode 100644 index 0000000000..ffb843b17b --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T11056.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE PolyKinds, DataKinds #-} +module T11056 where +import Data.Typeable + +data T = A | B Int + +bar :: TypeRep +bar = typeRep (Proxy :: Proxy '[True]) + +baz :: TypeRep +baz = typeRep (Proxy :: Proxy 'A) + +quux :: TypeRep +quux = typeRep (Proxy :: Proxy 'B) diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 90f42bfed0..7d7ec6057c 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -480,6 +480,7 @@ test('T10642', normal, compile, ['']) test('T10744', normal, compile, ['']) test('update-existential', normal, compile, ['']) test('T10347', expect_broken(10347), compile, ['']) +test('T11056', normal, compile, ['']) test('T10770a', expect_broken(10770), compile, ['']) test('T10770b', expect_broken(10770), compile, ['']) test('T10935', normal, compile, ['']) |