update tests

This commit is contained in:
Folkert 2021-01-21 22:41:47 +01:00
parent df8ab829a6
commit 7731ab38d1
6 changed files with 38 additions and 11 deletions

View file

@ -145,7 +145,10 @@ pub enum RuntimeError {
InvalidUnicodeCodePoint(Region),
/// When the author specifies a type annotation but no implementation
NoImplementation(Symbol),
NoImplementationNamed {
def_symbol: Symbol,
},
NoImplementation,
/// cases where the `[]` value (or equivalently, `forall a. a`) pops up
VoidValue,