Skip to content

Fix for tail recursion analysis: accessing modules case

E. Rivas requested to merge er433/fix/tail_recursion+module into dev
  • has a changelog entry

This MR fixes #1222 following the discussion with Tom: eventually we should re-write E_module_accessor, but for now we can just ignore the tail recursion analysis on that, as otherwise this can be problematic for namespaces in JsLIGO (where every function is a recursive function), e.g. porting the REPL testing for JsLIGO raised this problem.

Edited by E. Rivas

Merge request reports