| .. |
|
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 |
|
and.er
|
fix: sub-unification bug
|
2024-09-17 17:32:13 +09:00 |
|
args.er
|
fix: ignore too many args error
|
2023-10-11 22:29:24 +09:00 |
|
args_expansion.er
|
feat: args expansion
|
2024-08-20 01:20:42 +09:00 |
|
as.er
|
refactor!: rename Array -> List
|
2024-04-04 23:24:07 +09:00 |
|
assert_cast.er
|
Revert: "fix: instance attributes can't be accessed statically"
|
2024-10-03 21:53:38 +09:00 |
|
callable.er
|
refactor!: rename Array -> List
|
2024-04-04 23:24:07 +09:00 |
|
class_attr.er
|
fix: method inference bug
|
2024-10-02 12:20:48 +09:00 |
|
coercion.er
|
fix: type coercion bug
|
2024-08-11 17:37:11 +09:00 |
|
collection.er
|
fix: array type bug
|
2023-12-29 12:09:59 +09:00 |
|
decl.er
|
fix: type decl check does not performed
|
2024-09-22 01:25:31 +09:00 |
|
default_param.er
|
fix: function subtyping bug
|
2024-09-15 12:48:33 +09:00 |
|
dependent.er
|
fix: subtyping bug
|
2023-06-10 11:16:30 +09:00 |
|
dict.er
|
fix: dict type bugs
|
2024-10-02 21:26:59 +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 |
|
inherit.er
|
fix: check subtype field types mismatch
|
2024-10-01 17:32:06 +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: dict type bugs
|
2024-10-02 21:26:59 +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 type bugs
|
2024-10-02 21:26:59 +09:00 |
|
mut_list.er
|
refactor!: rename Array -> List
|
2024-04-04 23:24:07 +09:00 |
|
or.er
|
fix: sub-unification bug
|
2024-09-17 17:32:13 +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: Dict::get
|
2024-09-21 20:06:26 +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 |
|
set_type.er
|
feat: set type variable
|
2024-08-19 22:45:15 +09:00 |
|
side_effect.er
|
refactor!: rename Array -> List
|
2024-04-04 23:24:07 +09:00 |
|
structural.er
|
fix: overload resolution bug
|
2024-09-21 15:55:14 +09:00 |
|
subtyping.er
|
fix: method resolution bug
|
2024-09-27 17:39:43 +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 |
|
use_unit.er
|
feat: add Dimension and unit module
|
2024-09-20 18:26:29 +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 |
