Commit 7242582b authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Test #11484 in th/T11484

parent c5919f75
{-# LANGUAGE TypeInType #-}
module T11484 where
import Data.Kind
type TySyn (k :: *) (a :: k) = ()
$([d| type TySyn2 (k :: *) (a :: k) = () |])
......@@ -404,3 +404,4 @@ test('T11680', normal, compile_fail, ['-v0'])
test('T11809', normal, compile, ['-v0'])
test('T11797', normal, compile, ['-v0 -dsuppress-uniques'])
test('T11941', normal, compile_fail, ['-v0'])
test('T11484', normal, compile, ['-v0'])
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