[bitc-dev] Syntax Poll: Scoping Syntax

[Jonathan S. Shapiro]

On Thu, Mar 5, 2009 at 12:40 PM, Geoffrey Irving <irving at naml.us> wrote:
> What would be the syntax for appending a definition to the current scope?

It's mainly a keyword distinction, I think. In BitC, for example, all
type definitions append to current top level scope (restricted to top
level). DEFINE appends to current scope, and LET introduces and
encloses a nested scope.

The difference is mainly one of keyword selection (perhaps "def" vs.
"let").  I'm hopefully that we can normalize the two forms a bit as we
re-syntax.

shap