REPL runner hangs when trying to run a function that assigns another recurrence to the output stream

[pt7k]

1. Summary

   • Description: Bug Summary in 2 to 3 sentences.
   • There is an error message when trying to directly run a program that contains a reference to any timeline variable recurrence other than declared input and output streams.
   • But it is possible to create a simple intermediary function that references other recurrence relations with variable timeline.
   • If such function assigns just the input and output relations to the output stream everything works fine, but when assigning a previously declared recurrence stored in defs to the output, the REPL will attempt to run the intermediary function and would hang in a loop without any output or messages.

2. Environment

   • Tau Version: for now "v0.7-alpha" -162
   • Build Number or Date: c534f60
   • Operating System: Ubuntu

3. Steps to Reproduce
   Step 1: What input did you first provide?

sbf o1 = console

r[0](x) := 1

r[n](x) := r[n-1](x)'

f(x) := o1[n] = r[n](x)

r f(1)

Step 2: Any additional input to Tau?
- No input stream necessary in this example.

Expected Result
Output of the r[n](x) assigned to o1
Actual Result
REPL hanging in an endless loop with no output provided. When severity set to debug the program prints out attempts to run n-1-1-1... endlessly.

4. Additional Information
   • Error Messages or Logs:
   • Screenshots:
     

severity set to debug:

5. Severity and Impact

   • Severity Level: Major
   • Impact on Work: Program Hanging

6. Workaround (if applicable)

   • Tell us if you found a way around this problem:

7. Contact Information

   • Name: pt7k
   • Email: Telegram @ksdjfskfh
   • Additional Notes: I'm not sure whether it's intended for the REPL to run such programs (with outside recurrence assigned to the output), so please clarify if there is another proper way to do it, or if not it can be suppressed with an error message.

Submission Instructions

• Make sure to attach any input files to this bug report. n/a