Commit ec0e5a77 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-07-10 13:10:15 by simonpj]

Add tcfail109
parent 4bd8b3f3
{-# OPTIONS -fglasgow-exts #-}
-- Strangely, this program does not elicit an error message
-- in GHC 5.03. I don't know why. It fails correctly in
-- 5.04
module ShouldFail where
class Eq ce => Collects e ce | ce -> e where
empty :: ce
empty = error("empty")
data Stupid = Stupid -- without equality
instance Collects Bool Stupid where
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