Commit 283fb938 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-10-17 11:12:31 by simonpj]

Add case-simplification test
parent 70834744
......@@ -13,6 +13,7 @@ test('simpl009', normal, compile, [''])
test('simpl010', normal, compile, [''])
test('simpl011', normal, compile, [''])
test('simpl012', normal, compile, [''])
test('simpl013', normal, compile, [''])
test('spec001', normal, compile, [''])
{-# OPTIONS -fglasgow-exts #-}
-- This one made GHC 6.4.1 panic because of over-zealous
-- complaining in mkCase1 when there was an empty list of
-- alternatives
module Foo2 where
data FooBar = Foo | Bar
data P a = P0 | P1 FooBar
data PS p where
C :: P Int -> p b -> PS p
f :: PS P -> Char
f (C (P1 _) P0) = 'a'
f (C (P1 Bar) (P1 Bar)) = 'b'
f (C (P1 _) (P1 Bar)) = 'c'
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