Hi,<br><br>Peyton Jones [1, §4.2.8] states that where clauses are translated into<br>let expressions.<br><br>I found the following comment in Agda source code<br>(Agda.Syntax.Abstract):<br><br>-- | We could throw away @where@ clauses at this point and translate them to<br>
-- @let@. It's not obvious how to remember that the @let@ was really a<br>-- @where@ clause though, so for the time being we keep it here.<br><br>So, are where clauses translated to let expressions in Agda?<br><br>
[1] Simon L. Peyton Jones. The Implementation of Functional<br> Programming Languages. Prentice-Hall International, 1987.<br><br>Thanks,<br><br clear="all">-- <br>Andrés<br>