please confirm that this is a feature

[Dominic Duggan]

This is a multi-part message in MIME format.
--------------D346861763080A51FF2DCE83
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

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

--------------D346861763080A51FF2DCE83
Content-Type: text/x-vcard; charset=us-ascii;
 name="dduggan.vcf"
Content-Transfer-Encoding: 7bit
Content-Description: Card for Dominic Duggan
Content-Disposition: attachment;
 filename="dduggan.vcf"

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:dduggan@cs.stevens-tech.edu
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

--------------D346861763080A51FF2DCE83--