path: root/testsuite/tests/ghc-regress/gadt/gadt10.hs

{-# LANGUAGE GADTs #-}

module ShouldFail where

-- Kind error
data RInt a where R :: RInt