[bitc-dev] INCOMPATIBLE CHANGE

[Jonathan S. Shapiro]

We are making an incompatible change to the definition of unions. Unions
will now have field names, and the CASE expression is being replaced by
a SWITCH expression.

This change is being made so that we can directly describe objects where
the tag position must be explicitly stated, and also to let us describe
invariant fields in unions.

The current specification for DEFREPR, CASE (revised) and SWITCH are
provisional and not yet implemented. We would appreciate feedback on
them.


shap