Re: Possible bug with -ve domains in ic

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Thu 21 Nov 2002 10:11:25 PM GMT
Message-ID: <20021121221125.H20736@tempest.icparc.ic.ac.uk> 
On Thu, Nov 21, 2002 at 09:23:27PM +0000, Karen E Petrie wrote:
> Can't use -ve integers in domain declerations
> 
> [eclipse 3]: X :: [-16..-1, 1..16].
> syntax error: postfix/infix operator expected
> | X :: [-16..-1, 1..16].
> |            ^ here
> [eclipse 3]:

Try putting a space between the .. and the - : I think it's treating ..- as
a single symbol (one which it doesn't know about).

Joachim should be able to give more expert comment on this.

> I have included the 3 full files to illustrate this.

Umm, did you?  :)

I'll try to look into the rest anyway.

Cheers,
Warwick
Received on Thu Nov 21 22:11:25 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:18 PM GMT GMT