Commit 901ca7fb authored by simonpj's avatar simonpj
Browse files

[project @ 2003-02-04 13:45:29 by simonpj]

Add tc165
parent 7ac7aa16
......@@ -162,3 +162,4 @@ test('tc161', normal, compile, [''])
test('tc162', normal, compile, [''])
test('tc163', normal, compile, [''])
test('tc164', normal, compile, [''])
test('tc165', normal, compile, [''])
{-# OPTIONS -dcore-lint #-}
-- Fails GHC 5.04.2 with -dcore-lint
-- The issue ariseswhen you have a method that
-- constrains a class variable
module Test where
class C a where
f :: (Eq a) => a
instance C () where
f = f
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