<div dir="ltr"><div dir="ltr"><div dir="ltr"><div>According to this (1) , let statements that are to be executed in a specific case branch, could be placed before the case term in the treeless representation . This is harmless in lazy evaluation, but it can cause infinite loops in eager evaluation.</div><div><br></div><div>Is this still the case? (I am trying at the moment to move all let statements to their correct place.(2))<br></div><div><br></div><div><br></div><div><br></div><div><br></div><div>1 : <a href="https://gitlab.com/janmasrovira/agda2mlf/blob/master/presentation/report.org" target="_blank">https://gitlab.com/janmasrovira/agda2mlf/blob/master/presentation/report.org</a></div><div>2 : <a href="https://github.com/xekoukou/agda-ocaml/commit/4559af202dc5f8b864ce67087790eb526c1c5672" target="_blank">https://github.com/xekoukou/agda-ocaml/commit/4559af202dc5f8b864ce67087790eb526c1c5672</a><br></div></div></div></div>