Invocation of RELATION with heading/body type mismatch
Posted: Tue Oct 12, 2010 4:31 pm
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)
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)