On Sun, May 3, 2015 at 3:11 AM, Keean Schupke <ke...@fry-it.com> wrote: > But the way let is used at the top level does not make sense. Consider > > let x = 3 in x > let y = 4 in y > > What is the value if this program? It is invalid as the expression > > 3 4 > > Is an error. The following would make sense: > > let x = 3 in x > + > let y = 4 in y
if 'let y = 4 in y' is a parameter why do you consider it a 'top-level' binding I believe only forms of let x = 3 let y = 4 in x + y are considered 'not expressiony enough' to be top-level such that x and y are at the same binding level, their actual syntax uses significant whitespace which simplifies it a bit not to imply that this is anything but a guess, having not found a formal grammar for it. _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
