[Agda] Where clauses

[Andrés Sicard-Ramírez]

Hi,

Peyton Jones [1, §4.2.8] states that where clauses are translated into
let expressions.

I found the following comment in Agda source code
(Agda.Syntax.Abstract):

-- | We could throw away @where@ clauses at this point and translate them to
--   @let at . It's not obvious how to remember that the @let@ was really a
--   @where@ clause though, so for the time being we keep it here.

So, are where clauses translated to let expressions in Agda?

[1] Simon L. Peyton Jones. The Implementation of Functional
    Programming Languages. Prentice-Hall International, 1987.

Thanks,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130419/a64d2c0a/attachment.html