Commit 2470c32b authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #3638

parent 2859077f
{-# 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 } #-}
......@@ -98,4 +98,5 @@ test('T3013', normal, compile, [''])
test('T3163', normal, compile_fail, [''])
test('gadt25', normal, compile, [''])
test('T3651', normal, compile_fail, [''])
test('T3638', normal, compile, [''])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment