Page 1 of 1

Invocation of RELATION with heading/body type mismatch

Posted: Tue Oct 12, 2010 4:31 pm
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)

Re: Invocation of RELATION with heading/body type mismatch

Posted: Wed Oct 13, 2010 10:59 am
by Dave
Oops! :oops:

That will be fixed in the next update.

Re: Invocation of RELATION with heading/body type mismatch

Posted: Sun Nov 07, 2010 11:58 am
by Dave
This has been fixed in version 1.0.5.