[Agda] Where clauses
andres.sicard.ramirez at gmail.com
Fri Apr 19 17:21:54 CEST 2013
Peyton Jones [1, §4.2.8] states that where clauses are translated into
I found the following comment in Agda source code
-- | 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?
 Simon L. Peyton Jones. The Implementation of Functional
Programming Languages. Prentice-Hall International, 1987.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda