| commit | ab7cfa99b0ff5d28a89b736dc88f57c635dfa4f9 | [log] [tgz] |
|---|---|---|
| author | sgrekhov <sgrekhov@unipro.ru> | Tue Feb 11 12:18:45 2020 +0700 |
| committer | sgrekhov <sgrekhov@unipro.ru> | Tue Feb 11 12:18:45 2020 +0700 |
| tree | b1de9ada1669813d38ff0fbded79f76a68d1488f | |
| parent | ca7b005caa0b25ac2c2c63c7b6a2ae36e7a2cafd [diff] |
Fixes #527. Make type error detection less specific
diff --git a/Utils/dynamic_check.dart b/Utils/dynamic_check.dart index ef5cb50..95e29eb 100644 --- a/Utils/dynamic_check.dart +++ b/Utils/dynamic_check.dart
@@ -2,7 +2,8 @@ import "expect.dart"; checkTypeError(f()) { - Expect.throws(f, (e) => e is TypeError, "Type error should be thrown"); + Expect.throws(f, (e) => e is TypeError || e is CastError, + "Type error should be thrown"); } checkAssertionError(f(), [message]) {