@edwinbrady Idris question: so evaluation is *mostly* eager? Noticed that loop = loop; main = (let x = loop in return ()) terminates
@cayleehogg At the REPL it piggybacks off Haskell evaluation (for now). That would probably not terminate if compiled.
-
-
@edwinbrady it terminates when compiled too -
@cayleehogg Oh! It appears to be optimising it away since it does some evaluation before compilation. Not sure this is the right behaviour. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.