blob: 5d22dc1d4a232ae55ad4d696351a5d3c3898d10a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE FlexibleContexts #-}
-- Made GHC 5.02.2 go into a loop when doing the
-- context inference for deriving. It only happened with
-- the -fglasgow-exts flag (it didn't diverge without),
-- so hopefully FlexibleContexts is the relevant extension.
module ShouldFail where
data Empty a = E
newtype Id a = I a
newtype Pair v w a = P ((v a), (w a))
type Square a = Square_ Empty Id a
data Square_ v w a =
End (v (v a))
| Zero (Square_ v (Pair w w) a)
| One (Square_ (Pair v w) (Pair w w) a) deriving Show
|
