repo.or.cz
/
hiphop-php.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Ref cruft: delete some purely dead things.
2019-10-28
Vassil Mladenov
W
eaken exhaustiveness che
c
k for
l
ike
enums
commit
|
commitdiff
|
tree
2019-10-25
V
a
ssil Mladenov
M
er
g
e inference f
o
r
v
a
rray,ve
c
and
d
array
,
dict
commit
|
commitdiff
|
tree
2019-10-25
Va
s
sil Mladen
o
v
D
e
lete unused c
o
llecti
o
ns f
l
ag
commit
|
commitdiff
|
tree
2019-10-21
Vassil Mladenov
Do
n
ot treat soft types as like
t
ypes
commit
|
commitdiff
|
tree
2019-10-21
Vassil Mladenov
D
o not pessimize Shape
s
:: argume
n
ts
commit
|
commitdiff
|
tree
2019-10-17
Vassi
l
Mladen
o
v
Do
n
ot pessimize initia
l
iz
e
r
s
commit
|
commitdiff
|
tree
2019-10-17
Vassil Mladenov
Do not
pessimize fu
n
ction
argumen
t
typ
e
s
commit
|
commitdiff
|
tree
2019-10-17
Vassil Mladeno
v
Fix refinement
i
n
Sh
a
pes::idx w
h
en the shape is
a li
k
e
.
.
.
commit
|
commitdiff
|
tree
2019-10-16
Vassil Mladenov
Fix test
s
commit
|
commitdiff
|
tree
2019-10-15
Vassil M
l
adenov
Do not pessimize
r
eturn types
commit
|
commitdiff
|
tree
2019-10-10
Vass
i
l Mladen
o
v
Add a debug tool
to skip fu
n
ction and method b
o
dies
commit
|
commitdiff
|
tree
2019-10-10
Vassil Ml
a
deno
v
Unify all h
h
_single_type_check
l
ike t
y
pes fl
a
g
s
commit
|
commitdiff
|
tree
2019-10-07
Vassil Mlad
e
n
ov
Remove _simple suffix from
pess
i
mi
z
ation
and enforceability
.
.
.
commit
|
commitdiff
|
tree
2019-10-04
Vass
i
l
Mladen
o
v
Allow c
o
m
pari
s
ons with like
t
ypes
commit
|
commitdiff
|
tree
2019-10-04
V
a
ssil Mla
d
e
n
ov
Fix soft awaitables un
d
e
r
pessimization
commit
|
commitdiff
|
tree
2019-10-02
Vassil Ml
a
de
n
ov
R
emove complex pessimi
z
ation
commit
|
commitdiff
|
tree
2019-09-27
Vassil Mladeno
v
Remov
e
the
bra
n
ch where
we sh
o
rtcut Tapp
l
y loc
a
li
z
ation
.
.
.
commit
|
commitdiff
|
tree
2019-09-25
Vassil Mladenov
Remove lik
e
casts when using the alias
commit
|
commitdiff
|
tree
2019-09-19
V
assil
Mladenov
Allow c
o
e
rc
i
on to arraykey
for
d
ic
t
ionary
k
e
y construction
commit
|
commitdiff
|
tree
2019-09-18
Vassil Mla
d
enov
Create HH\INCORRECT_TYPE<T> alias
for like casts
commit
|
commitdiff
|
tree
2019-09-17
Vassil
M
lad
e
nov
Enable c
o
e
rcion to
const ty
p
es, pessim
i
ze property
.
.
.
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mladenov
R
e
move enforcea
b
ility judgement
f
r
o
m loca
l
iz
a
tion
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mlade
n
ov
Enable coer
c
i
on to default para
m
e
ter type
s
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mladen
o
v
Do not intersect
f
or dynamic
and lik
e
c
a
sts
commit
|
commitdiff
|
tree
2019-09-12
Vassil M
l
adenov
Separate gating between
like casts
a
n
d l
i
ke type hints
commit
|
commitdiff
|
tree
2019-09-10
V
assil Mladenov
Allow like ca
s
t
s
i
n
th
e
ty
p
echecker
commit
|
commitdiff
|
tree
2019-09-10
Vassil Mlad
e
no
v
Inline uerror function into s
u
b
t
yping
commit
|
commitdiff
|
tree
2019-09-10
Vassil Mlade
n
ov
Add o
n
e
more
f
lag to gat
e
u
n
io
n
coe
r
cion
commit
|
commitdiff
|
tree
2019-09-09
Vassil Mladenov
M
ake like casts no-ops i
n
constant initia
l
i
z
ers and
.
.
.
commit
|
commitdiff
|
tree
2019-09-05
Vassil Mladenov
S
eparate c
o
m
ple
x
coercion rules from dynamic ~> enf
o
rc
e
able T
commit
|
commitdiff
|
tree
2019-09-04
Vassil
Mladeno
v
Pes
s
imi
z
e soft type hints
commit
|
commitdiff
|
tree
2019-09-04
Vassi
l
Mladen
o
v
Cl
e
an up
c
oer
c
ion
commit
|
commitdiff
|
tree
2019-09-04
Vassil Ml
a
denov
R
e
m
o
v
e coercion to ?
d
y
namic
commit
|
commitdiff
|
tree
2019-08-30
V
assil Mladenov
Re
m
ove Tast_env
.
can_c
o
erce in favor of try_
c
oerce
commit
|
commitdiff
|
tree
2019-08-30
Vas
s
il Mladenov
Ma
k
e typecheck_lik
e
_typ
e
s
u
s
e
s
imple pessimization
commit
|
commitdiff
|
tree
2019-08-29
Vassil
Mladenov
Pro
p
e
rly pessimiz
e
the argument t
y
p
e of Shapes:: functions
commit
|
commitdiff
|
tree
2019-08-29
Vassil Mla
d
e
nov
Fix gat
i
ng
for simple pessimiz
a
tion
commit
|
commitdiff
|
tree
2019-08-29
V
assil M
l
adenov
Fix pessimizat
i
on async fun
c
tion
s
t
hat
ret
u
rn Awaitable
commit
|
commitdiff
|
tree
2019-08-28
Vassil Ml
a
d
e
nov
P
e
ssimize xhp a
t
tribu
t
es
commit
|
commitdiff
|
tree
2019-08-28
Vassil Mladeno
v
P
essimize met
h
o
d
s
commit
|
commitdiff
|
tree
2019-08-23
Vassil Mladenov
Pe
s
s
im
i
ze ca
l
ls to HHI fu
n
cti
o
n
s
, prevent coe
r
c
i
on
commit
|
commitdiff
|
tree
2019-08-20
V
a
ssil Mladenov
Pessimiz
e
get and set on object and cla
s
s
pr
o
p
erties
commit
|
commitdiff
|
tree
2019-08-19
Vassil Ml
a
den
o
v
I
mpl
e
ment simple p
e
ssimizati
o
n for fun
c
tion calls
commit
|
commitdiff
|
tree
2019-08-19
Vassi
l
Mladeno
v
Standardize 2 spa
c
es and
t
railing newline fo
r
n
e
w
Hack
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mladen
o
v
Don't sort type variables in list destru
c
turin
g
sub
t
yping
commit
|
commitdiff
|
tree
2019-08-19
Vass
i
l
Mladeno
v
Disable type
c
heck_like_types
commit
|
commitdiff
|
tree
2019-08-17
Vassil
M
ladenov
Fix trust fo
r
inner fu
n
ction types
commit
|
commitdiff
|
tree
2019-08-17
Vassil Mladeno
v
F
ix ty_compare for Tdest
r
u
ctur
e
commit
|
commitdiff
|
tree
2019-08-16
V
assil Mladenov
Fo
l
l
o
w
t
ranspar
e
nt ty
p
e a
l
i
ases for enforc
e
ability
.
.
.
commit
|
commitdiff
|
tree
2019-08-15
Vassil Mladenov
Implement basi
c
simple pessimizatio
n
commit
|
commitdiff
|
tree
2019-08-15
Vassil Mlad
e
nov
Rename variables in c
l
ass_
g
et fo
r
clari
t
y
commit
|
commitdiff
|
tree
2019-08-13
Vass
i
l Mladenov
Add flag f
o
r altern
a
te pessim
i
z
a
tion a
l
gorithm
commit
|
commitdiff
|
tree
2019-08-13
Vassil Mla
d
enov
Flip
o
n coercion_from_dynamic fo
r
type
c
h
e
ck targets
commit
|
commitdiff
|
tree
2019-08-13
Vassil Mladenov
Rem
o
ve coer
c
ion from
g
enerics to enforceable types
commit
|
commitdiff
|
tree
2019-08-12
Vassil Ml
a
denov
Make coercion repo
r
t
t
he original s
u
bty
p
i
ng error
commit
|
commitdiff
|
tree
2019-08-08
Va
s
sil Mladen
o
v
Refactor
T
y
p
ing_
p
h
ase
.
localize_gen
e
ri
c
_
param
e
t
e
rs_with_b
o
und
.
.
.
commit
|
commitdiff
|
tree
2019-08-08
V
a
ssi
l
Mladenov
Support dynam
i
c type
in reac
t
ivity c
h
e
c
ks for collections
commit
|
commitdiff
|
tree
2019-08-07
Va
s
sil Mladen
o
v
Strip like type for la
m
bda inf
e
rence
commit
|
commitdiff
|
tree
2019-08-06
Vassi
l
Mladen
o
v
F
ix
invariant w
i
th like types
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mlade
n
ov
Fix ban on
using rei
f
i
ed generic
s
in
s
t
atic method
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mladenov
Ban acc
e
ssing st
a
tic propertie
s
on reified generics
commit
|
commitdiff
|
tree
2019-07-29
Vassil Mla
d
enov
Do n
o
t pess
i
mize Tany and Terr
commit
|
commitdiff
|
tree
2019-07-25
V
a
ssil
M
ladenov
F
ix p
o
sitions,
b
eg
i
n c
l
ean up of coerc
i
on
commit
|
commitdiff
|
tree
2019-07-24
Vassil Mladenov
A
dd du
n
e typechec
k
_like
_
types te
s
t
commit
|
commitdiff
|
tree
2019-07-23
Vassil Mladenov
R
e
move
.
like_types
.
ex
p
for deleted te
s
ts
commit
|
commitdiff
|
tree
2019-07-23
Va
s
sil
M
l
a
d
enov
Fix typecheck_like_types
commit
|
commitdiff
|
tree
2019-07-22
Va
s
sil Mla
d
e
n
ov
A
dd typecheck_
l
ike
_
types target
commit
|
commitdiff
|
tree
2019-07-22
V
assil
M
l
adenov
Replace
type case
a
nalysis fo
r
destructuring with su
b
typing
commit
|
commitdiff
|
tree
2019-07-19
V
assil
M
ladenov
Suppor
t
c
oercion fr
o
m a
b
st
r
act types
t
o enforceabl
e
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mladenov
Add coerci
o
n
f
or cla
s
ses p
a
r
ametrized
b
y
l
ike types
commit
|
commitdiff
|
tree
2019-06-26
Vassil
Mlade
n
o
v
Pess
i
mize explicit fun
c
tion type argumen
t
s
commit
|
commitdiff
|
tree
2019-06-26
Va
s
sil
Mla
d
e
n
ov
Pessimize bounds o
n
type parameters
w
hen substituting
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Va
s
sil Mladenov
F
i
x await
a
ble pessimiza
t
ion
commit
|
commitdiff
|
tree
2019-06-26
V
assil
M
ladenov
Pessimize unenforceable typ
e
s at function re
t
urn boundaries
commit
|
commitdiff
|
tree
2019-06-24
V
assil Mla
d
enov
Fix list
destructuring
of
u
nio
n
s
commit
|
commitdiff
|
tree
2019-06-21
Vassil
Mladenov
Check __Enforc
e
a
ble type const
a
nts for
cases that are
.
.
.
commit
|
commitdiff
|
tree
2019-06-21
Va
s
sil Mladenov
Further restrict abstra
c
t type constants with defaults
commit
|
commitdiff
|
tree
2019-06-21
Va
s
sil Ml
a
de
n
ov
Fix regression on defaults for abstract type constants
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
Add sw
i
t
c
h to disable pa
r
tia
l
ly
a
bstr
a
c
t
type
constants
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mla
d
enov
Ad
d
coe
r
c
i
o
n for stat
i
c
m
et
h
ods
a
c
c
ess
e
d vi
a
parent::
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
Ad
d
coercion for st
a
tic methods
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mla
d
enov
Fix decl inheritance of abstract
type constan
t
with
.
.
.
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mlad
e
nov
Ad
d
coercion f
o
r
s
tatic properties
commit
|
commitdiff
|
tree
2019-06-18
Vassil
Mladenov
Refactor d
i
spatch_
c
all in ty
p
ing
commit
|
commitdiff
|
tree
2019-06-18
Va
s
si
l
Mladenov
Move abst
r
act parent check to Tast chec
k
commit
|
commitdiff
|
tree
2019-06-17
Vassil Ml
a
d
e
n
ov
Add coercion for
p
arent:: c
a
lls to i
n
s
tance m
e
th
o
ds
commit
|
commitdiff
|
tree
2019-06-17
Vas
s
il Ml
a
de
n
ov
Add coercion for co
n
structors
commit
|
commitdiff
|
tree
2019-06-15
Vassil Mlade
n
ov
Don't los
e
a
r
guments
to
p
a
rent:: meth
o
d
calls
commit
|
commitdiff
|
tree
2019-06-13
Vassil
M
lad
e
n
o
v
Move sta
t
ic method call checks out
o
f typing
.
m
l
commit
|
commitdiff
|
tree
2019-06-12
V
a
ssil Mladenov
Add
coercio
n
to meth
o
d
parameter types
commit
|
commitdiff
|
tree
2019-06-12
Vassi
l
Mladeno
v
Add coerci
o
n to
property types
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Al
l
o
w
coercion in function
p
arameter
s
commit
|
commitdiff
|
tree
2019-06-12
V
assil Mladen
o
v
Do not
h
ave shadowing error for reified type
parameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mlade
n
ov
B
an some reifie
d
type argumen
t
s
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Clea
n
up logic that
g
overns valid reified arguments
commit
|
commitdiff
|
tree
2019-06-12
Vass
i
l Mladenov
Back
o
ut "[easy] Do not
h
av
e
shadowing
error for reified
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
Do not
h
ave shad
o
wi
n
g
e
rror for reified t
y
pe
p
arameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
V
assil M
l
aden
o
v
Update ge
n
va tests
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
Allow co
e
rcion from
l
ike types
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
Add coercion dynamic ~>
T
w
h
en T is enforceable
commit
|
commitdiff
|
tree
next