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)
Invocation of RELATION with heading/body type mismatch
-
- Posts: 124
- Joined: Sat May 24, 2008 4:49 pm
Re: Invocation of RELATION with heading/body type mismatch
Oops!
That will be fixed in the next update.
That will be fixed in the next update.
Re: Invocation of RELATION with heading/body type mismatch
This has been fixed in version 1.0.5.