5 May
2003
5 May
'03
6:43 a.m.
G'day all. On Mon, May 05, 2003 at 01:11:49PM +0900, Ahn Ki-yung wrote:
For example, 0) and 1) are Unresolved top-level overloading, but 2) is accepted by the type system.
As others have pointed out, you have been bitten by the monomorphism restriction. In your case, all of the versions of your code will work just fine if you put in an explicit type declaration (which is good programming practice anyway). Cheers, Andrew Bromage