summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearKind2.hs
blob: 402b67efc41e8da5a072df4bc31c2699d4112507 (plain)
1
2
3
4
5
6
7
{-# LANGUAGE LinearTypes, KindSignatures, DataKinds #-}
module LinearKind2 where -- T18780

import GHC.Exts
import GHC.Types

data Two :: FUN One Type Type