Field labels must be globally unique?

[Dylan Thurston]

--YD3LsXFS42OYHhNZ
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Wed, Jan 08, 2003 at 02:24:06PM +0100, Marc Ziegert wrote:
> --------------------It would be nice to be able to overload class-functio=
ns like classes:
>=20
> instance (+), (-) -> Vector where
>     (+) v1 v2 =3D ...
>     (-) v1 v2 =3D ...
> ...

You seem to be making a general complaint, but there's been extensive
discussion about this particular instance.  I agree with you that the
numeric hierarchy is too coarsely grained right here; do a search on
the archives for "numeric prelude" for an extensive discussion.

Your proposals seem interesting, but seem hard to implement/make
precise at first glance.

Best,
	Dylan Thurston

--YD3LsXFS42OYHhNZ
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQE+IX2lVeybfhaa3tcRAlRXAJ4jeXMp/sZimvjXfMvGSVW71RHhjACdGeKQ
tYyAkkm6l9cFk3UUJyn7n8A=
=I0JE
-----END PGP SIGNATURE-----

--YD3LsXFS42OYHhNZ--