Closed heades closed 7 years ago
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.
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.