Commit a1e8f054 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-08-24 14:36:44 by simonpj]

Remove bogus test from tc126
parent f16fdcd9
......@@ -32,13 +32,3 @@ g2 = f (f (f [0::Int]))
-- The outer f repeats the exercise, so g2::Int
-- This is the definition that Hugs rejects
-- Here is a similar definition rejected by Hugs
-- It complains that the instances are not consistent with the
-- functional dependencies, which isn't true, because
-- (c a) does not unify with (c' a', c' b')
class Foo f a r | f a->r where
foo::f->a->r
instance Foo (a->r) (c a) (c r)
instance Foo ((a,b)->r) (c a,c b)(c r)
Supports Markdown
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