-
Notifications
You must be signed in to change notification settings - Fork 642
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fO {k = 996} -- strange output #95
Comments
Indeed - that's because there is a built in limit on how deeply the REPL will evaluate recursive functions, and you just happen to have hit it… Edwin. On 24 Nov 2012, at 17:08, Falko notifications@github.com wrote:
|
So its a feature then? |
Not really a feature, though the behaviour is intentional - it is left over from before the totality checker could decide for itself whether something was guaranteed to terminate. It should only behave like this on expressions that aren't known to terminate - so I will fix it now that the totality checker is more reliable. |
As far as I can tell, this issue has been fixed. In latest master:
|
If I type, e.g. in the REPL, fO {k = 996}, the output contains some strange items:
... (S (boolElim (Builtins.!>#@Builtins.Ord$[Int] 1 0 (boolElim (intToBool (prim__eqInt 1 0)) EQ (boolElim (intToBool (prim__ltInt 1 0)) Builtins.LT Builtins.GT))) (S O) O) ...
Until 995 it is fine :)
Thank you, and kind regards. Zenon
The text was updated successfully, but these errors were encountered: