-
Andrei Paskevich authored
Not done for low-level TypeMismatch exception in Ity. However, this should not be an issue, since the majority of type errors happen in Dexpr and will be reported with qualified names.
dc0b56b0
Not done for low-level TypeMismatch exception in Ity. However, this should not be an issue, since the majority of type errors happen in Dexpr and will be reported with qualified names.