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
Fix namespace elaboration for default function parameters
2019-10-28
Vassil Mla
d
enov
Weaken exhaustiveness check f
o
r like en
u
ms
commit
|
commitdiff
|
tree
2019-10-25
Vassil Mlade
n
ov
Merge infe
r
ence for varray,vec a
n
d darray,dict
commit
|
commitdiff
|
tree
2019-10-25
Vassil Mladeno
v
Del
e
te unused collec
t
ion
s
fl
a
g
commit
|
commitdiff
|
tree
2019-10-21
V
a
ssil Mladenov
Do not
treat sof
t
t
y
pe
s
as like type
s
commit
|
commitdiff
|
tree
2019-10-21
Vassil Mladenov
D
o not pessim
i
ze Shapes:: argu
m
ents
commit
|
commitdiff
|
tree
2019-10-17
Va
s
sil
M
ladenov
Do not
p
e
s
s
im
i
z
e initia
l
izers
commit
|
commitdiff
|
tree
2019-10-17
Vas
s
il Ml
a
d
e
nov
Do
n
ot pe
s
simize function argume
n
t typ
e
s
commit
|
commitdiff
|
tree
2019-10-17
V
a
ssil Ml
a
de
n
ov
F
i
x
r
efi
n
ement in Shapes::i
d
x when the shape
is a l
i
ke
.
.
.
commit
|
commitdiff
|
tree
2019-10-16
Vassil Mladenov
F
ix tests
commit
|
commitdiff
|
tree
2019-10-15
V
assil Mladenov
Do not pessimi
z
e return types
commit
|
commitdiff
|
tree
2019-10-10
Vassil M
l
adenov
Add a debug tool to skip functi
o
n
a
nd metho
d
b
o
d
i
es
commit
|
commitdiff
|
tree
2019-10-10
Vassil M
l
adenov
U
n
ify all hh_single_type_check like
t
ypes flag
s
commit
|
commitdiff
|
tree
2019-10-07
Vassi
l
Mladenov
Remove _s
i
mple
s
uffi
x
from pes
s
imizat
i
on and enforceability
.
.
.
commit
|
commitdiff
|
tree
2019-10-04
V
assil Mladeno
v
A
l
low c
o
mparis
o
ns
wit
h
like types
commit
|
commitdiff
|
tree
2019-10-04
Vassil
M
l
adenov
Fi
x
sof
t
awaitables under pess
i
mization
commit
|
commitdiff
|
tree
2019-10-02
Vassil Mladeno
v
Remove compl
e
x pe
s
simization
commit
|
commitdiff
|
tree
2019-09-27
V
a
ssil Mla
d
eno
v
Remo
v
e
t
he b
r
an
c
h
w
h
e
r
e we shortcut
T
apply localization
.
.
.
commit
|
commitdiff
|
tree
2019-09-25
Vassil Mladenov
Remove
like cas
t
s when using the a
l
ia
s
commit
|
commitdiff
|
tree
2019-09-19
Vass
i
l Mladenov
All
o
w coercion to
arraykey
for diction
a
ry key co
n
struct
i
on
commit
|
commitdiff
|
tree
2019-09-18
Vass
i
l Ml
a
d
enov
C
reate
H
H
\
I
N
CORRECT_TYPE<T
>
al
i
as for like casts
commit
|
commitdiff
|
tree
2019-09-17
Vas
s
il Ml
a
denov
Enable coercion t
o
const types, pessimize pr
o
per
t
y
.
.
.
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mladenov
R
emove enforceabili
t
y
j
udgeme
n
t from localization
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mladenov
Enable coercio
n
to default
param
e
te
r
types
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mladenov
Do
n
ot intersect for dynamic an
d
like cast
s
commit
|
commitdiff
|
tree
2019-09-12
V
a
s
sil Mladenov
Separate g
a
t
i
ng
b
etween like
casts and lik
e
type
h
ints
commit
|
commitdiff
|
tree
2019-09-10
Vassil Ml
a
de
n
ov
All
o
w
l
ike casts in the typechecker
commit
|
commitdiff
|
tree
2019-09-10
V
assil Mladen
o
v
Inline ue
r
ror f
u
nction into
s
ubtyping
commit
|
commitdiff
|
tree
2019-09-10
Vassil
M
l
a
denov
Add one
m
ore flag to ga
t
e
uni
o
n coe
r
cion
commit
|
commitdiff
|
tree
2019-09-09
Vassil M
l
adeno
v
Make lik
e
c
a
sts no
-
ops in const
a
nt in
i
t
i
alizer
s
and
.
.
.
commit
|
commitdiff
|
tree
2019-09-05
Vassil Mlad
e
nov
Separate complex coercion rules from
d
y
namic ~> enf
o
rceable T
commit
|
commitdiff
|
tree
2019-09-04
Vassil
Mlade
n
ov
Pessimi
z
e soft type
hints
commit
|
commitdiff
|
tree
2019-09-04
V
assil Mla
d
enov
Clean up co
e
rcion
commit
|
commitdiff
|
tree
2019-09-04
Vassil Mladenov
Remove coercion to ?dynamic
commit
|
commitdiff
|
tree
2019-08-30
Vas
s
il Ml
a
denov
Remove
T
a
st_env
.
can_coer
c
e in f
a
vo
r
of try
_
coerce
commit
|
commitdiff
|
tree
2019-08-30
Vassil
Mladenov
Mak
e
typechec
k
_like_types
use simple pessi
m
ization
commit
|
commitdiff
|
tree
2019-08-29
V
a
s
sil
M
ladenov
Prope
r
ly pess
i
mi
z
e the
argum
e
nt typ
e
of Sha
p
es
:
: functions
commit
|
commitdiff
|
tree
2019-08-29
Vassil Mladenov
Fix gating
for simple
p
essimization
commit
|
commitdiff
|
tree
2019-08-29
Vassi
l
Mladenov
Fix pessim
i
z
a
tion a
s
ync func
t
ions th
a
t
return
A
waitabl
e
commit
|
commitdiff
|
tree
2019-08-28
Vassil Mla
d
enov
Pessimize xhp attributes
commit
|
commitdiff
|
tree
2019-08-28
Vassil Mladeno
v
Pessimize methods
commit
|
commitdiff
|
tree
2019-08-23
Vassil
M
ladenov
Pessim
i
ze
c
a
l
ls to HHI funct
i
on
s
, prevent coer
c
i
on
commit
|
commitdiff
|
tree
2019-08-20
V
a
ssil Mlad
e
nov
P
e
ssimiz
e
get and set on object
and c
l
ass properties
commit
|
commitdiff
|
tree
2019-08-19
Va
s
si
l
Mla
d
en
o
v
I
mplement sim
p
le pessimizat
i
on for f
u
ncti
o
n calls
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mladeno
v
Sta
n
dard
i
ze 2
spa
c
es
a
nd trailing newline for new
H
ack
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
V
assil Mladenov
Don't sort type variables
in list de
s
t
ruc
t
uring subty
p
i
n
g
commit
|
commitdiff
|
tree
2019-08-19
Va
s
sil
M
l
ade
n
ov
Disab
l
e type
c
heck_l
i
ke_t
y
pes
commit
|
commitdiff
|
tree
2019-08-17
Vas
s
il Mlad
e
nov
F
i
x trus
t
for
i
nner fun
c
tion types
commit
|
commitdiff
|
tree
2019-08-17
Vassil Ml
a
deno
v
Fix ty
_
c
ompare for Tdestr
u
cture
commit
|
commitdiff
|
tree
2019-08-16
V
a
ssil Mladenov
Follow tr
a
nsparent type aliases for enforceability
.
.
.
commit
|
commitdiff
|
tree
2019-08-15
Vassil Mladenov
Implement
basic simple pe
s
simiz
a
tion
commit
|
commitdiff
|
tree
2019-08-15
Vassi
l
Mladenov
Rename variables i
n
class
_
g
et for clarit
y
commit
|
commitdiff
|
tree
2019-08-13
V
a
ssi
l
Mladenov
Add flag for alterna
t
e pessimization algorithm
commit
|
commitdiff
|
tree
2019-08-13
Vassil Mladen
o
v
Flip on coercion_from_dynamic f
o
r typecheck target
s
commit
|
commitdiff
|
tree
2019-08-13
V
as
s
il Mladenov
Remove coercion from generics to e
n
force
a
b
l
e t
y
pes
commit
|
commitdiff
|
tree
2019-08-12
Vassil Mladenov
M
ake c
o
erc
i
on r
e
port the o
r
iginal subtyping error
commit
|
commitdiff
|
tree
2019-08-08
Va
s
sil Mladenov
R
e
factor Typing_phase
.
localize_generic
_
p
aramete
r
s_with_bound
.
.
.
commit
|
commitdiff
|
tree
2019-08-08
Va
s
sil
Mladeno
v
Support dyn
a
mi
c
type
in reactivi
t
y
checks for coll
e
ctions
commit
|
commitdiff
|
tree
2019-08-07
V
assil Ml
a
den
o
v
Strip
l
ike type for la
m
bda in
f
erence
commit
|
commitdiff
|
tree
2019-08-06
Vassil Mladenov
Fi
x
inva
r
iant with like t
y
p
e
s
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mla
d
enov
Fix ban on usin
g
reified gene
r
ics in static
method
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mladen
o
v
Ban accessing static propert
i
es o
n
re
i
fied generics
commit
|
commitdiff
|
tree
2019-07-29
Vas
s
i
l Mladenov
Do
n
o
t
pess
i
mize
T
any and Terr
commit
|
commitdiff
|
tree
2019-07-25
Vassil
M
ladenov
Fix positions, beg
i
n clean up of coerci
o
n
commit
|
commitdiff
|
tree
2019-07-24
Va
s
s
i
l Ml
a
denov
A
d
d dune typecheck_like_types test
commit
|
commitdiff
|
tree
2019-07-23
Vassil
M
l
ad
e
nov
Remo
v
e
.
like_ty
p
e
s
.
exp for deleted
tests
commit
|
commitdiff
|
tree
2019-07-23
V
assil Mladenov
F
i
x typecheck_li
k
e_types
commit
|
commitdiff
|
tree
2019-07-22
Vassi
l
Mladenov
Add
typecheck
_
like_types ta
r
ge
t
commit
|
commitdiff
|
tree
2019-07-22
Vassil
Mladenov
Replace type c
a
se a
n
alysi
s
for destructuring with
subtyping
commit
|
commitdiff
|
tree
2019-07-19
Vass
i
l Mlad
e
nov
Suppo
r
t
coercion
f
rom a
b
stract types to
enfo
r
ceable
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Vassil M
l
adenov
A
dd coercion f
o
r classe
s
par
a
metri
z
ed by like types
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mladenov
Pessimize explicit function type
a
rguments
commit
|
commitdiff
|
tree
2019-06-26
Vassil
Mla
d
enov
Pessimi
z
e bounds on ty
p
e
p
arameters when substituting
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mla
d
enov
F
ix
awaitable pessimizati
o
n
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mladenov
Pessimize unenforceable types
at function retu
r
n boundaries
commit
|
commitdiff
|
tree
2019-06-24
Vassil Mladenov
F
ix list destructurin
g
of unions
commit
|
commitdiff
|
tree
2019-06-21
Vassil M
l
ade
n
ov
Check __Enforceable type co
n
st
a
nts for ca
s
es that
are
.
.
.
commit
|
commitdiff
|
tree
2019-06-21
Vassil
M
l
a
denov
Further restrict
a
bstract type
constants wit
h
defaults
commit
|
commitdiff
|
tree
2019-06-21
Vassil
M
l
adenov
Fix regression
on d
e
faults for abstract type consta
n
ts
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
Add switch t
o
d
isable partia
l
ly abstract
type c
o
nst
a
nts
commit
|
commitdiff
|
tree
2019-06-19
Vas
s
il Mladenov
Add coercio
n
for
s
t
atic methods accessed v
i
a
parent::
commit
|
commitdiff
|
tree
2019-06-19
Va
s
sil
M
lade
n
ov
Add coercio
n
fo
r
static methods
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mlad
e
nov
Fix decl inheritance of abstract t
y
pe constant with
.
.
.
commit
|
commitdiff
|
tree
2019-06-19
V
assil Ml
a
de
n
ov
A
d
d co
e
rc
i
o
n
for static
p
roperties
commit
|
commitdiff
|
tree
2019-06-18
Vassil Mladen
o
v
R
e
factor di
s
pat
c
h_call in
typing
commit
|
commitdiff
|
tree
2019-06-18
V
assil M
l
adenov
M
o
ve abs
t
ract parent
ch
e
ck
t
o Tast check
commit
|
commitdiff
|
tree
2019-06-17
Vassil Ml
a
de
n
ov
Add coer
c
io
n
f
o
r par
e
nt:: ca
l
l
s to instance methods
commit
|
commitdiff
|
tree
2019-06-17
Vassil
Mladenov
Add co
e
rc
i
on for constructors
commit
|
commitdiff
|
tree
2019-06-15
Vassil Mladeno
v
D
o
n
'
t lose arguments to parent:: me
t
hod calls
commit
|
commitdiff
|
tree
2019-06-13
Vassil
M
ladenov
Move
static met
h
od call
che
c
ks out of typin
g
.
ml
commit
|
commitdiff
|
tree
2019-06-12
Vas
s
il Mladeno
v
Add
co
e
rcion
to method para
m
eter type
s
commit
|
commitdiff
|
tree
2019-06-12
Vas
s
il Mlad
e
nov
Add coercion to prop
e
r
t
y types
commit
|
commitdiff
|
tree
2019-06-12
Vassil
M
ladenov
Al
l
ow coerci
o
n i
n
fun
c
tion parameters
commit
|
commitdiff
|
tree
2019-06-12
Vassil Ml
a
denov
Do not h
a
v
e
s
hadow
i
ng
error f
o
r re
i
fied type parameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-12
Vas
s
i
l Mladeno
v
Ban some reified type arguments
commit
|
commitdiff
|
tree
2019-06-12
Vass
i
l Mladenov
Clean up
l
ogic that
govern
s
valid reified
argu
m
en
t
s
commit
|
commitdiff
|
tree
2019-06-12
Vass
i
l Mladenov
Back out
"
[easy]
Do n
o
t have shadowin
g
erro
r
for reifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
Do not hav
e
shadowing error f
o
r
reified
t
ype par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
V
assil Ml
a
de
n
ov
Update
g
enva tests
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladen
o
v
Allow coe
r
cion from like types
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
A
dd
c
o
ercion dynamic ~>
T
w
hen T is enforc
e
able
commit
|
commitdiff
|
tree
next