Invocation of RELATION with heading/body type mismatch

This forum is to report technical problems with Rel.
Post Reply
HughDarwen
Posts: 124
Joined: Sat May 24, 2008 4:49 pm

Invocation of RELATION with heading/body type mismatch

Post by HughDarwen »

In 1.0.4 beta:

relation { x integer, y integer } {tuple{x 1, z 1}}
is accepted and yields relation { x integer, y integer } {tuple{x 1, y 1}}.

Note the difference between the specified relation heading and that of the only tuple in the body.

Hugh (with thanks to Adrian Hudnott)
Dave
Site Admin
Posts: 372
Joined: Sun Nov 27, 2005 7:19 pm

Re: Invocation of RELATION with heading/body type mismatch

Post by Dave »

Oops! :oops:

That will be fixed in the next update.
Dave
Site Admin
Posts: 372
Joined: Sun Nov 27, 2005 7:19 pm

Re: Invocation of RELATION with heading/body type mismatch

Post by Dave »

This has been fixed in version 1.0.5.
Post Reply