Type class inference trouble

Dylan Thurston dpt@math.harvard.edu
Thu, 15 Feb 2001 21:08:13 -0500


On Thu, Feb 15, 2001 at 02:37:09PM -0500, Ken Shan wrote:
>     test2 = apply [int 3] (apply [(+)::Int->Int->Int] [int 5])

What's strange is that when I tried this just now, the identical line at
the interpreter prompt returned the correct answer [8].  This is with
Hugs from February 2000; I'm about to download and try the new version.

(I find these type dependencies great fun to experiment with, but it's
unfortunate that only Hugs supports them.  Any chance ghc or nhc will
support them soon?)

Best,
	Dylan