Commit 4db9bdd9 authored by Ryan Scott's avatar Ryan Scott Committed by Marge Bot

Add regression test for #16347

Commit 1f5cc9dc ended up
fixing #16347. Let's add a regression test to ensure that it stays
parent 62db9295
Pipeline #3404 passed with stages
in 360 minutes and 46 seconds
{-# LANGUAGE TypeInType #-}
module T16347 where
import Data.Kind
data T f :: f Type -> Type where
MkT :: T f a
......@@ -69,4 +69,4 @@ test('T16326_Compile1', normal, compile, [''])
test('T16326_Compile2', normal, compile, [''])
test('T16391a', normal, compile, [''])
test('T16344b', normal, compile, [''])
test('T16347', 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