brownplt/strobe — Issue #67: implement labels
Author: arjunguha
Created: 2012-02-01 19:48:14+00:00
State: open

- Parse typ@label syntax
- Input labels to type-checker (probably in environment)
- Default label
- Explicit label hierarchy
- Subtyping with labels (check label hierarchy)
- Label of current expression in environment
- Basic if-splitting to change the context of the current label
- Do not think about exceptions