[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