path: root/testsuite/tests/gadt/T3638.hs

{-# LANGUAGE GADTs #-}

module T3638 where

data T a where TInt :: T Int

foo :: T Int -> Int
foo TInt = 0

{-# RULES "foo"  forall x. foo x = case x of { TInt -> 0 } #-}