Error Evaluation Rules
Closed this issue · 0 comments
heades commented
Need to think more about the error cases in the evaluation.
If the argument to unbox is in head-normal form, and not a box, then throw an error.
If the argument to unbox is a box t, but t doesn't have the right type, then through an error.