 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
|
10 жил өмнө |
 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 жил өмнө |
|
Simon Krajewski
|
c77e8b52d7
make `tnull` wrap everything that is not explicitly `Null<T>` in `Null<T>`
|
11 жил өмнө |
|
Simon Krajewski
|
8420693ae2
move `is_explicit_null` to type.ml because it is needed in the analyzer
|
11 жил өмнө |
|
Simon Krajewski
|
971a8a0a0d
add `alloc_unbound_var`
|
11 жил өмнө |
|
Dan Korostelev
|
42be1b96bf
do not double-wrap empty blocks in mk_block. hope that won't break stuff, let's see what travis has to say
|
11 жил өмнө |
|
Simon Krajewski
|
262ba9a354
allow transitive casts only if one of the abstracts is a `@:coreType` like we previously did (closes #3360)
|
11 жил өмнө |
|
Simon Krajewski
|
206ffd9f3e
store more information in AKAccess so we do not have to extract it again
|
11 жил өмнө |
|
Simon Krajewski
|
7467eea237
add some stack overflow detection (see #1757)
|
11 жил өмнө |
