Commit 471c4169 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-01-31 10:07:59 by simonpj]

Feuer bug
parent edfd3a9a
......@@ -5,5 +5,6 @@ include ($confdir ++ "/../vanilla-test.T")
test "drvfail001" { vtcf("") }
test "drvfail002" { vtcf("") }
test "drvfail003" { vtcf("") }
test "drvfail004" { vtcf("") }
test "drvfail007" { vtcf("") }
{-# OPTIONS -fglasgow-exts #-}
-- Made GHC 5.02.2 go into a loop when doing the
-- context inference for deriving. The -fglasgow-exts
-- flag is important; it didn't diverge without.
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
drvfail003.hs:13:
No instance for `Show (v (v a))'
When deriving the `Show' instance for type `Square_'
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