Commit 4e04043d authored by Ryan Scott's avatar Ryan Scott Committed by Ben Gamari

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
parent b01288d5
{-# 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)
......@@ -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, [''])
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment