Hegel: Inference doesn't work with recursive functions

[vkurchatkin]

function factorial(a) {
  if (a === 1) {
    return 1;
  }

  return a * factorial(a - 1);
}

[peter-leonov]

Just an addition:

function bar(a) {
  return a ? a : bar(a)
}

function foo(a) {
  return a ? a : bar("")
}

Gives AnalyzationError: Maximum call stack size exceeded..

P.S. Great thank you for lifting this project! Great job!

[JSMonk]

Thank you a lot, guys ^_^.
We will try to fix it soon.