[bitc-dev] Syntax Poll: Scoping Syntax
Jonathan S. Shapiro
shap at eros-os.com
Thu Mar 5 12:49:00 EST 2009
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
More information about the bitc-dev