Fergus Henderson <[EMAIL PROTECTED]> writes:
>> Again, `Positive' would not do, it should be something like
>> QuotRem_Positive, and so on.
> This is a problem with Haskell, IMHO.
> Mercury allows overloading of constructor names, so in Mercury you
> could use just `Positive' rather than `QuotRem_Positive'. The type
> checker will resolve the ambiguity whenever possible.
How will the type inferencer figure out the type if it isn't declared
explicitly?
-kzm
--
If I haven't seen further, it is by standing in the footprints of giants
