[Agda] moving common from `with'
Dan Doel
dan.doel at gmail.com
Mon Oct 15 20:06:11 CEST 2012
On Mon, Oct 15, 2012 at 12:59 PM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> You are right. I though so as well, but then confused myself when looking
> at the grammar.
>
> http://www.haskell.org/onlinereport/syntax-iso.html
>
> It says
>
> alt -> pat -> exp [where decls]
>
> meaning 'where' clauses can be attached to expressions in case alternatives,
> but not in general.
It is still not attached to the expression. It is attached to the alternative:
case e of
Just x | b -> 5
where b = x == 5
_ -> 4
-- Dan
More information about the Agda
mailing list