 Simon Krajewski
|
23d8c472ee
do not consider inline fields extern (DCE will remove them anyway)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
c3e1648759
improve error message when TFun unification fails
|
12 gadi atpakaļ |
|
Simon Krajewski
|
894788c341
avoid assertion failure if funny @:to functions are declared
|
12 gadi atpakaļ |
|
Simon Krajewski
|
8a34e585ca
do not constraint check against monomorphs when unifying abstract to-fields (fixed issue 1830)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
e29e834edf
allow abstract type parameter variance if the underlying types are compatible (fixed issue #1726)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
4c4802eb49
delay generic expression mapping until after all field types are updated
|
12 gadi atpakaļ |
|
Simon Krajewski
|
8ea59bf552
Float/Int/Void cleanup
|
12 gadi atpakaļ |
|
Simon Krajewski
|
da92c5b697
improved readability of TMatch and TSwitch in s_expr_pretty
|
12 gadi atpakaļ |
 Nicolas Cannasse
|
a4b9588c24
removed AccCall _ warnings (ocaml 4.0+ only?)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
9f812cae85
[Refactor]: - removed redundant string argument from AccCall
|
12 gadi atpakaļ |
|
Simon Krajewski
|
3cb325239c
employ abstract cast stack (fixed issue #1757)
|
12 gadi atpakaļ |
 Caue Waneck
|
22cae7b046
[all] Added classfield debug to -D dump
|
12 gadi atpakaļ |
|
Nicolas Cannasse
|
60085f66af
improved handling of special TAnon wrt unification (fixed issue #1485)
|
12 gadi atpakaļ |
|
Nicolas Cannasse
|
5c2ea23dae
allowed inlined constructors when the variable does not escape the scope
|
12 gadi atpakaļ |
|
Simon Krajewski
|
9971aefbc6
raise and catch a proper error while expr mapping generics (fixed issue #1508)
|
12 gadi atpakaļ |
|
Nicolas Cannasse
|
14c97916f3
cl_overrides is now a list of class fields (can store several overloads with same name if necessary)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
aafccd265b
allow unop overloading on abstracts
|
12 gadi atpakaļ |
|
Simon Krajewski
|
fd71514da4
allow custom [] access on abstracts
|
12 gadi atpakaļ |
|
Simon Krajewski
|
bdf6709006
map multitype abstracts without assertions
|
12 gadi atpakaļ |
|
Simon Krajewski
|
b2ef74f86b
added Codegen.get_underlying_type (use this instead of a_this if you need to know the exact specialized type)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
935299a65d
license change
|
12 gadi atpakaļ |
|
Simon Krajewski
|
8316f59cf9
do not allow type parameters to unify with { } unless their constraints allow it
|
12 gadi atpakaļ |
|
Simon Krajewski
|
394f0ea33e
allow operator overloading on abstracts with @:op syntax (this may be subject to change)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
e72588bf8e
allow unification of monomorphs with Dynamic<T> (fixed issue #1416)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
ee2f490148
disallow transitive implicit casts only for the abstract vs. abstract case
|
12 gadi atpakaļ |
|
Simon Krajewski
|
cba09a05a9
initial support for -D display-mode=usage|metadata|position (no parser yet)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
788efb276c
disallow implicit to-casts if the this type is not fully known yet
|
12 gadi atpakaļ |
|
Simon Krajewski
|
aa972e7ee7
added post-process filter to promote abstract type parameters to their implementation fields
|
12 gadi atpakaļ |
|
Simon Krajewski
|
e3f1baafd2
inverted @:to field unification order (we always want to unify 'this' first)
|
12 gadi atpakaļ |
|
Simon Krajewski
|
403ffec350
consider cast function arguments and return types during unification (fixed issue #1408) (fixed issue #1419)
|
12 gadi atpakaļ |
