 Simon Krajewski
|
040f21a3cd
transform private types by just using their name path
|
10 年之前 |
|
Simon Krajewski
|
51409af2fd
move expression-AST converter to type.ml
|
10 年之前 |
|
Simon Krajewski
|
12a52b2fcd
[analyzer] do not propagate `Null<T>` away
|
10 年之前 |
|
Simon Krajewski
|
5f66110900
move some things around
|
10 年之前 |
|
Simon Krajewski
|
a59ed34c54
properly store abstract resolve methods on the abstract
|
10 年之前 |
|
Simon Krajewski
|
02ffaa21a4
do not allow assigning Method to Var unless read is AccNormal (closes #3975)
|
10 年之前 |
|
Simon Krajewski
|
df3917f2ee
fix printing of FClosure
|
10 年之前 |
 Dan Korostelev
|
91dcfe9ccb
fix TObjectDecl in s_expr
|
10 年之前 |
|
Simon Krajewski
|
b2c316b93d
properly report abstract chains (closes #3782)
|
10 年之前 |
|
Simon Krajewski
|
8174084819
print arguments of TFunction
|
10 年之前 |
|
Simon Krajewski
|
ae2c346b82
check `@:notNull` even on non-core-type abstracts (see #3894)
|
10 年之前 |
|
Simon Krajewski
|
afe2d0bf5a
store features in modules, then commit them to common context before generation (see #3787)
|
10 年之前 |
|
Simon Krajewski
|
6d93c97d72
rename `m_features` to `m_if_feature`
|
10 年之前 |
 Nicolas Cannasse
|
cd38ec780b
fixed infinite loop in unification (close #2315)
|
10 年之前 |
|
Nicolas Cannasse
|
e01fbc4ec0
allow retry of build of child class when parent not ready (close #2117)
|
10 年之前 |
|
Simon Krajewski
|
8de2f6d98a
print the types of Then and Else as well
|
10 年之前 |
|
Simon Krajewski
|
f87cfb0574
move `type_of_module_type` to type.ml because it is very useful
|
10 年之前 |
|
Simon Krajewski
|
52d1ec7c1e
make sure member variables do not access the vthis variable (closes #3783)
|
10 年之前 |
|
Simon Krajewski
|
1047ea0013
when mapping open TAnon types, mutate their fields instead of creating a new TAnon (see #3128)
|
10 年之前 |
|
Simon Krajewski
|
2d77d51e47
add `s_type_kind`
|
10 年之前 |
|
Simon Krajewski
|
f996b26c63
store type parameters in FClosure too
|
10 年之前 |
|
Nicolas Cannasse
|
f27a3c1e12
allow compiler caching of extern types (close #1946)
|
10 年之前 |
|
Simon Krajewski
|
691a59701a
add `-D dump_ignore_var_ids`
|
10 年之前 |
|
Simon Krajewski
|
2cd5ef6379
add `-D dump=ast` so we have an type-annotated output that I can actually read
|
10 年之前 |
|
Simon Krajewski
|
08a4aba1dd
add EqDoNotFollowNull and `can_follow` to `type_eq`
|
10 年之前 |
|
Simon Krajewski
|
1763b97ed6
check abstract from/to even if the base abstract is the same (see #3494)
|
10 年之前 |
|
Simon Krajewski
|
2490b8dbc4
add missing `follow` when unifying constrained type parameter against `{}` (closes #3545)
|
10 年之前 |
 Cauê Waneck
|
b1e92a6c5c
[cs] Added support for accessing a Pointer's underlying type's fields
|
11 年之前 |
 Gama11
|
6bc8883278
Display TFloat without an "f" in genxml
|
11 年之前 |
|
Simon Krajewski
|
4e4693249c
consider to and from when assigning to and from `Dynamic<T>` (closes #3461)
|
11 年之前 |
