Parsing errors about ergo HOT 5 OPEN

In

:- use_module(option).

tree(nil, _, _, _).
tree(Node, V, L, R) :-
  named_tuple(Node, node, (Value,Left,Right)),
  named_arg(Value, value, V),
  named_arg(Left, left, L),
  named_arg(Right, right, R),
  tree(L, _, _, _), tree(R, _, _, _).

named_tuple(Node, node, (Value,Left,Right)) is incorrectly parsed as named_tuple(Node, node, Value, Left, Right).

This results in calling the non-existent predicate named_tuple/5

#FIXED

from ergo.

Also see #1

from ergo.

from ergo.

This is also #FIXED. The problem was related to how predicates are pretty-printed, however. The parser gets a gold star.

from ergo.

Parsing a lambda of the form:

[_] >> (term1, term2)

Leads to an infinite loop. This only seems to occur when the body of the lambda is a tuple.

from ergo.