rgrig/barista — Issue #7: long values are not typechecked correctly
Author: rgrig
Created: 2012-01-18 15:09:20+00:00
State: open

The following scenario is allowed by our SE, but not by the spec:
- write Long in local variable 0
- write Int in local variable 1
- read Long from local variable 0

We must have a type Right_half, or with a better name.