summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearKind.hs
blob: a60554a7a77ce5c47a5f287298fbe0c29a04302d (plain)
1
2
3
4
{-# LANGUAGE LinearTypes, KindSignatures #-}
module LinearKind where

data A :: * #-> *