summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/T11484.hs
blob: 29ad9d7c7714bbc3d1b907ed26f4365849be962d (plain)
1
2
3
4
5
6
7
8
9
10
11
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TemplateHaskell #-}

module T11484 where

import Data.Kind

type TySyn (k :: *) (a :: k) = ()

$([d| type TySyn2 (k :: *) (a :: k) = () |])