Commit a1275081 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot

Add a regression test for #11506

The testcase works now.
See explanation in ghc/ghc#11506 (comment 273202)
parent 4ca0c8a1
Pipeline #19610 passed with stages
in 605 minutes and 28 seconds
{-# LANGUAGE PolyKinds, ExistentialQuantification, ScopedTypeVariables,
TypeFamilies, TypeInType #-}
module T11506 where
import Data.Proxy
import Data.Kind
type family ProxyType where ProxyType = (Proxy :: Type -> Type)
data T = forall a. MkT (ProxyType a)
foo (MkT (_ :: Proxy a)) = const True (undefined :: a)
......@@ -497,6 +497,7 @@ test('RebindNegate', normal, compile, [''])
test('T11319', normal, compile, [''])
test('T11397', normal, compile, [''])
test('T11458', normal, compile, [''])
test('T11506', normal, compile, [''])
test('T11524', normal, compile, [''])
test('T11552', normal, compile, [''])
test('T11246', 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