Commit da8079ab authored by Michael D. Adams's avatar Michael D. Adams
Browse files

Test for Trac #1396

parent 55052a8f
......@@ -27,9 +27,12 @@ test('gadt19', normal, compile, [''])
test('gadt20', normal, compile, [''])
test('gadt21', normal, compile_fail, [''])
test('gadt22', normal, compile, [''])
test('gadt23', normal, run_command, ['$MAKE -s gadt23'])
clean(['Gadt23_AST.hi', 'Gadt23_AST.o'])
test('gadt24', normal, compile, [''])
test('red-black', normal, compile, [''])
test('type-rep', skip_if_fast, compile_and_run, [''])
test('equal', normal, compile, [''])
......
{-# OPTIONS -fglasgow-exts #-}
-- Test for Trac #1396
-- Panics in GHC 6.6.1
module ShouldCompile where
data Right provides final where
RightNull :: Right final final
RightCons :: b -> Right a final -> Right (b -> a) final
collapse_right :: right -> Right right final -> final
--collapse_right f (RightNull) = f
collapse_right f (RightCons b r) = collapse_right (f b) r
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