I am finishing up revisions on a paper that has been accepted to JFP, on type-checking with multi-parameter type classes. With the following definitions: | class Foo a b | a -> b where foo :: a -> b -> Int | | instance Foo Int Float where foo x y = 0 | | instance Foo a b => Foo [a] [b] where foo [x] [y] = foo x y | | g x y = (foo [x] y) + (foo [y] x) In our system type-checking fails to terminate when type-checking "g", but Hugs 98 (Feb 2001) returns a type. I assume that this is because of a depth bound in the type-checker, can you confirm this before I submit the final version of the paper? Thanks --dd
begin:vcard n:Duggan;Dominic tel;fax:(201) 216-8249 tel;work:(201) 216-8042 x-mozilla-html:FALSE url:http://guinness.cs.stevens-tech.edu/~dduggan/index.html org:Stevens Institute of Technology;Computer Science version:2.1 email;internet:[EMAIL PROTECTED] title:Associate Professor note:Web page: http://guinness.cs.stevens-tech.edu/~dduggan/index.html adr;quoted-printable:;;Department of Computer Science=0D=0AStevens Institute of Technology;Hoboken;New Jersey;07030;USA x-mozilla-cpt:;10656 fn:Dominic Duggan end:vcard
