testsuite/tests/gadt/T3638.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTs #-}

module T3638 where

data T a where TInt :: T Int

foo :: T Int -> Int
{-# NOINLINE [1] foo #-}
foo TInt = 0

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