path: root/testsuite/tests/linear/should_fail/LinearTHFail2.hs

{-# LANGUAGE GADTs #-}
{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE TemplateHaskell #-}

module LinearTHFail2 where

$([d| data T where { MkT :: Int -> T } |])