Commit ebd17366 authored by simonpj's avatar simonpj
Browse files

Test Trac #3342

parent 7bacfb3b
{-# LANGUAGE ViewPatterns #-}
{-# OPTIONS_GHC -fno-warn-overlapping-patterns #-}
module T3342 where
data F = FT String [F]
data G = GX F F | GY
spec :: F -> G
spec (FT "X" [t1, t2]) = GX t1 t2
spec _ = GY
-- walk :: F -> F
walk (spec -> GX _ t2) = walk t2
walk t@(FT _ _) = t
......@@ -296,6 +296,7 @@ test('T2573', normal, compile, [''])
test('T2735', normal, compile, [''])
test('T2799', normal, compile, [''])
test('T3219', normal, compile, [''])
test('T3342', normal, compile, [''])
test('T2412',
extra_clean(['T2412.hi-boot', 'T2412.o-boot',
......
Supports Markdown
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