[Types-sig] Type Annotations Progress report

[Marcin 'Qrczak' Kowalczyk]

Thu, 15 Mar 2001 12:00:49 -0700, Tim Hochberg <tim.hochberg@ieee.org> pis=
ze:

> On the third hand, the above syntax puts a kink in my hope of using &
> and | since:
>=20
>    val : (IString, IInteger) | (IFloat, IFloat)
>=20
> won't work.

Of course it will. Tuples will implement | and &. It's a type error
if tuple items and the other argument of there operators are not
interfaces:-)

--=20
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZAST=CAPCZA
QRCZAK