| .. |
|
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 |
|
array_member.er
|
feat: polymorphic type class members
|
2023-07-14 01:53:06 +09:00 |
|
as.er
|
fix: casting bugs
|
2023-04-27 13:58:15 +09:00 |
|
callable.er
|
fix: #415
|
2023-04-16 21:13:48 +09:00 |
|
class_attr.er
|
fix: distinguish between access to class/instance attr
|
2023-06-08 22:17:52 +09:00 |
|
collection.er
|
feat: add traits
|
2023-05-08 12:11:01 +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
|
chore: improve type inference system
|
2023-10-18 16:46:06 +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 |
|
infer_union_array.er
|
Fix a refinement + union types bug
|
2022-12-05 00:41:37 +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 |
|
method.er
|
fix: method inferring
|
2023-09-05 21:54:08 +09:00 |
|
move.er
|
fix: casting bugs
|
2023-04-27 13:58:15 +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_array.er
|
fix: a type casting bug
|
2023-04-29 14:20:10 +09:00 |
|
mut_dict.er
|
fix: dict typing bugs
|
2023-04-27 15:51:56 +09:00 |
|
quantified.er
|
fix(typechecker): type-var subtyping bug
|
2023-02-13 02:27:30 +09:00 |
|
record.er
|
feat: add Hash trait
|
2023-08-20 17:33:42 +09:00 |
|
recursive_fn.er
|
fix: recursive type bug
|
2023-08-17 22:44:54 +09:00 |
|
refinement.er
|
fix: refinement types bug
|
2023-07-03 19:51:33 +09:00 |
|
refinement_class.er
|
feat: support refinement class
|
2023-10-31 02:23:50 +09:00 |
|
side_effect.er
|
fix: relax side effect check
|
2023-10-14 11:06:36 +09:00 |
|
structural.er
|
fix: Structural subtyping bug
|
2023-02-24 09:49:22 +09:00 |
|
subtyping.er
|
fix!: rename to_str -> __str__
|
2023-09-13 16:48:20 +09:00 |
|
tuple.er
|
feat: refinement type specification
|
2023-05-20 16:40:26 +09:00 |
|
var_args.er
|
feat: support var-args lambda function
|
2023-03-03 16:01:20 +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 |
