erg/tests/should_err
2024-04-28 18:53:30 +09:00
..
cyclic test: add a bad pattern 2023-06-28 01:03:17 +09:00
foo fix: path resolution bug 2023-05-21 23:30:31 +09:00
addition.er Fix type generalization bugs 2022-12-30 15:16:25 +09:00
advanced_type_spec.er fix: type alias bug 2023-10-16 18:34:19 +09:00
args.er fix: ignore too many args error 2023-10-11 22:29:24 +09:00
as.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
assert_cast.er test: add assert casting test suites 2024-01-06 15:28:32 +09:00
callable.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
class_attr.er fix: distinguish between access to class/instance attr 2023-06-08 22:17:52 +09:00
collection.er fix: array type bug 2023-12-29 12:09:59 +09:00
default_param.er fix: {default, variable} parameter bugs 2024-04-24 15:24:05 +09:00
dependent.er fix: subtyping bug 2023-06-10 11:16:30 +09:00
dict.er fix: dict iterators bug 2023-09-06 00:56:07 +09:00
err_import.er fix: errors in other modules are ignored 2023-06-22 16:32:10 +09:00
err_loc.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
impl.er fix: failure of the type inference of another module 2023-02-22 11:55:02 +09:00
import.er fix: path resolution bug 2023-05-21 23:30:31 +09:00
incomplete_typespec.er feat: best-effort type instantiation 2024-04-20 22:51:14 +09:00
infer_fn.er fix: trait parameter bug 2024-04-28 18:53:30 +09:00
infer_union_array.er Fix a refinement + union types bug 2022-12-05 00:41:37 +09:00
init_del.er feat: add initializer, destructor syntax 2024-02-10 18:49:04 +09:00
invalid_interpol.er Add string interpolation tests 2022-12-05 21:24:47 +09:00
invalid_param.er Fix #247 2022-11-27 20:24:11 +09:00
list_member.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
method.er fix: method inferring 2023-09-05 21:54:08 +09:00
move.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
multi_line_invalid_nest.er test: invalid nest err 2022-12-20 13:39:30 +09:00
mut.er fix: #193 2023-04-22 23:43:03 +09:00
mut_dict.er fix: dict typing bugs 2023-04-27 15:51:56 +09:00
mut_list.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
poly_type_spec.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
pyimport.er fix: container type inference bugs 2023-12-11 00:15:13 +09:00
quantified.er fix(typechecker): type-var subtyping bug 2023-02-13 02:27:30 +09:00
record.er feat: improve record type narrowing 2024-03-24 18:18:09 +09:00
recursive_fn.er fix: recursive type bug 2023-08-17 22:44:54 +09:00
refinement.er fix: refinement type bug 2024-01-30 12:18:27 +09:00
refinement_class.er feat: support refinement class 2023-10-31 02:23:50 +09:00
sealed.er feat: add Sealed trait 2024-04-27 13:52:15 +09:00
side_effect.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
structural.er feat!: change constructor syntax: C::__new__() -> C() 2024-02-08 02:42:49 +09:00
subtyping.er fix: trait parameter bug 2024-04-28 18:53:30 +09:00
trait.er feat: add Sealed trait 2024-04-27 13:52:15 +09:00
tuple.er fix: tuple iterator bug 2024-04-28 15:28:20 +09:00
var_args.er fix: {default, variable} parameter bugs 2024-04-24 15:24:05 +09:00
var_kwargs.er feat: var-kwargs codegen 2023-11-14 02:17:47 +09:00
visibility.er fix: visibility bug 2023-04-15 13:27:40 +09:00