Field labels must be globally unique?

Carl R. Witty cwitty@newtonlabs.com
14 Jan 2003 15:09:20 -0800


"Marc Ziegert" <coeus@gmx.de> writes:

> --------------------It would be nice to be able to overload class-functions like classes:
> 
> instance (+), (-) -> Vector where
>     (+) v1 v2 = ...
>     (-) v1 v2 = ...
> 
> --------------------instead of overloading parts of a class... (because of runtime-errors!)

This seems related to "System CT"
(http://www.dcc.ufmg.br/~camarao/CT/).  In System CT, everything is
(potentially) overloaded, and you don't have explicit type classes.

Carl Witty
cwitty@newtonlabs.com