On 3 May 2015 08:29, "Keean Schupke" <ke...@fry-it.com> wrote:
> I would not allow top level let's at all. In terms of parsing, let is an
expression (it has a non-monadic type). Top level declarations have a
monadic type (or can't be part of an expression). Something like for a
minimal definition of an expression:
>
> var = alpha, {alnum}
> abs = '\', var, '.', expr
> let = 'let', var, '=', expr
let = 'let', var, '=', expr, 'in', expr
> expr = var | abs | let
> decl = var, '=', expr
> program = decl, {decl}
Keean.
_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev
