Undetected Syntax Error: "tau" -> "term"

[LEARNTAU]

Ubuntu Linux OS
Tau version: 0.7 (v0.7-alpha-145-g82e48cd)

This code was brought up by l0g1x at Telegram group channel.

test(n):=(n=0) -> 1

"tau" -> "term" is a syntax error and should be "tau" -> "tau"

test(n) := (n=0) -> T

The syntax error got into a loop and typing "." makes the error detected.

[pt7k]

From what I can see it's not entering a loop, but into a multi-line mode. Same thing happens when you leave unbalanced parentheses at the end of your definition.
Basically it let's you finish your definition in the line below or alternatively you can go back to the original line using a backspace.

Try typing: test(n) := (n=0) -> 1 hit <enter>
and when you are in the second line type: = n hit <enter>
If you did that, you just entered test(n) := (n=0) -> 1 = n but just broken down into 2 lines of input.
Or instead of finishing the definition like that you can also backspace to the first line and fix the definition by replacing 1 with T and hitting enter.

[tklip]

Thanks for the report and explanation. Multiline input is confusing for users.

We will add a slightly different prompt to other lines so it is clear that the REPL awaits more input.