blob: 748b2f19c3d4d94d279c3d13b3c4053328b98e86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE GADTs #-}
-- Test for #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
|
