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
implement two functions in emitter
2019-09-27
Vassil Mlad
e
nov
Remove the branch where we shor
t
c
u
t Tapply
l
ocalization
.
.
.
commit
|
commitdiff
|
tree
2019-09-25
Vassi
l
Mladenov
Re
m
ove like
cas
t
s when
us
i
ng the alias
commit
|
commitdiff
|
tree
2019-09-19
Vassil Mladenov
A
l
low coercion to arrayk
e
y for diction
a
ry key constru
c
tio
n
commit
|
commitdiff
|
tree
2019-09-18
Vassil Ml
a
den
o
v
Create HH\INCORRECT_TYPE<T> alias
f
or like casts
commit
|
commitdiff
|
tree
2019-09-17
Vassil Mladenov
E
nable coe
r
c
i
on to const
t
y
pes, pessim
i
ze property
.
.
.
commit
|
commitdiff
|
tree
2019-09-13
V
a
ssil Mlade
n
ov
Remov
e
enf
o
r
ceability judgem
e
nt from localization
commit
|
commitdiff
|
tree
2019-09-13
Va
s
sil Mlad
e
n
o
v
Enable c
o
ercion
to defa
u
lt
parameter types
commit
|
commitdiff
|
tree
2019-09-13
V
a
ssil Mladenov
Do
n
o
t
inters
e
ct for dynam
i
c an
d
like casts
commit
|
commitdiff
|
tree
2019-09-12
Vass
i
l Mladenov
Separate
g
ating betwee
n
like cast
s
and
l
ike type hints
commit
|
commitdiff
|
tree
2019-09-10
V
assil
Mladenov
Allow
like casts
in t
h
e t
y
p
echecker
commit
|
commitdiff
|
tree
2019-09-10
Vassil Mladenov
I
nli
n
e
uerro
r
functi
o
n into subtyp
i
ng
commit
|
commitdiff
|
tree
2019-09-10
Vassi
l
M
laden
o
v
Add one more flag to g
a
te union coercion
commit
|
commitdiff
|
tree
2019-09-09
Vassil Ml
a
denov
M
ake like casts no-ops in
c
onstant
initializers and
.
.
.
commit
|
commitdiff
|
tree
2019-09-05
Vass
i
l Mladenov
Separate com
p
lex coe
r
cion rul
e
s f
r
om dynam
i
c ~> enforceab
l
e
T
commit
|
commitdiff
|
tree
2019-09-04
Vassil Mlade
n
ov
P
essimize soft type
h
ints
commit
|
commitdiff
|
tree
2019-09-04
Vassil Mladenov
Clean up coerc
i
on
commit
|
commitdiff
|
tree
2019-09-04
Vassil
Mla
d
enov
Re
m
ove coercion to
?
d
ynamic
commit
|
commitdiff
|
tree
2019-08-30
Vassil
Mladenov
Remo
v
e
Tast_e
n
v
.
can_coe
r
ce in favor of
t
ry_coerce
commit
|
commitdiff
|
tree
2019-08-30
Vassil Mladenov
Make typechec
k
_l
i
k
e
_typ
e
s use sim
p
le pes
s
imizatio
n
commit
|
commitdiff
|
tree
2019-08-29
Vassil Mlad
e
nov
Properly p
e
ssimize
t
h
e argument type of Shapes:
:
functions
commit
|
commitdiff
|
tree
2019-08-29
Vassi
l
Mladenov
F
i
x g
a
ting for simple pessimization
commit
|
commitdiff
|
tree
2019-08-29
Va
s
sil Mladenov
Fix pessimizatio
n
async fun
c
tions that r
e
t
urn
Aw
a
itable
commit
|
commitdiff
|
tree
2019-08-28
V
assil Mlad
e
no
v
Pessimize xhp attributes
commit
|
commitdiff
|
tree
2019-08-28
V
assil Ml
a
den
o
v
P
e
ssim
i
ze method
s
commit
|
commitdiff
|
tree
2019-08-23
Vassil Mladen
o
v
P
essimize calls to HHI functions, prevent coercion
commit
|
commitdiff
|
tree
2019-08-20
Va
s
sil Mladenov
Pessimize get and
s
e
t
on
object and c
l
ass p
r
ope
r
ties
commit
|
commitdiff
|
tree
2019-08-19
V
a
s
s
il Mladenov
Implement simpl
e
pessimization for function calls
commit
|
commitdiff
|
tree
2019-08-19
Vas
s
il
M
ladenov
S
t
andardize
2
spac
e
s and trailing n
e
wline for new Hack
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
V
a
ssil Ml
a
denov
Don't sort type
v
ariables in list destructuri
n
g subtypin
g
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mladenov
Disable typeche
c
k_
l
ike_
t
ypes
commit
|
commitdiff
|
tree
2019-08-17
V
a
ssil
M
lad
e
nov
Fix
trust fo
r
inne
r
function types
commit
|
commitdiff
|
tree
2019-08-17
Vass
i
l
Ml
a
denov
Fix ty_c
o
mpare fo
r
Tdestructure
commit
|
commitdiff
|
tree
2019-08-16
Vassil M
l
adenov
F
o
llow transparent type aliase
s
for e
n
f
orceability
.
.
.
commit
|
commitdiff
|
tree
2019-08-15
Vassi
l
Mladenov
I
m
ple
m
e
nt basic sim
p
le pessim
i
zation
commit
|
commitdiff
|
tree
2019-08-15
Vassil Mladenov
Rename vari
a
ble
s
in
c
l
ass_
g
et for clarity
commit
|
commitdiff
|
tree
2019-08-13
V
as
s
il Mladenov
Add f
l
ag for alte
r
nate
p
essimization algorithm
commit
|
commitdiff
|
tree
2019-08-13
Vassi
l
Mla
d
enov
F
l
ip on coercio
n
_from_dynamic for
t
ypecheck t
a
rget
s
commit
|
commitdiff
|
tree
2019-08-13
V
assil Mladenov
Remove
c
o
e
rcion
from generics to enforceable
types
commit
|
commitdiff
|
tree
2019-08-12
Va
s
sil Mladenov
Make coerci
o
n report the origin
a
l subtyping error
commit
|
commitdiff
|
tree
2019-08-08
Vas
s
il Mlade
n
o
v
Refac
t
or Ty
p
i
n
g_phas
e
.
local
i
z
e
_generic_parameters_with_boun
d
.
.
.
commit
|
commitdiff
|
tree
2019-08-08
V
a
ssil M
l
adenov
Suppo
r
t dynamic type in re
a
ctivity checks f
o
r collections
commit
|
commitdiff
|
tree
2019-08-07
Vassil Mlad
e
nov
St
r
ip
like type for
l
ambda
inferenc
e
commit
|
commitdiff
|
tree
2019-08-06
Vassil Mladenov
F
ix invariant with like ty
p
es
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mladenov
Fix
b
an on usi
n
g reified
generi
c
s in stat
i
c meth
o
d
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mlade
n
ov
Ban accessing s
t
atic
p
ro
p
erties on re
i
fi
e
d gen
e
rics
commit
|
commitdiff
|
tree
2019-07-29
Vassil Mladenov
Do not pess
i
mize
T
any and Terr
commit
|
commitdiff
|
tree
2019-07-25
Vas
s
il Ml
a
denov
F
ix positions, begin clean up of
c
oercion
commit
|
commitdiff
|
tree
2019-07-24
Vassi
l
Mladen
o
v
Add dune ty
p
ech
e
ck_like_types te
s
t
commit
|
commitdiff
|
tree
2019-07-23
Vassil Mladenov
R
emove
.
like_types
.
exp for
deleted tests
commit
|
commitdiff
|
tree
2019-07-23
Vassil
M
ladenov
Fix typec
h
eck_like_types
commit
|
commitdiff
|
tree
2019-07-22
Vassi
l
Ml
a
denov
Add typec
h
ec
k
_like_types target
commit
|
commitdiff
|
tree
2019-07-22
Vas
s
il Mladenov
Replace ty
p
e
c
ase anal
y
sis
f
o
r
dest
r
ucturing with
subtyping
commit
|
commitdiff
|
tree
2019-07-19
Vass
i
l Mlad
e
nov
Support c
o
ercion from
a
bst
r
act type
s
to
enforce
a
ble
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mla
d
enov
Ad
d
coercio
n
for
c
lasses par
a
metri
z
ed by like
types
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mladenov
Pe
s
simi
z
e
e
xplicit func
t
i
o
n
t
y
p
e arguments
commit
|
commitdiff
|
tree
2019-06-26
Va
s
sil Mladenov
Pessimize
bounds on
type
p
aramete
r
s when substituting
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mladenov
Fix awaitable pessimization
commit
|
commitdiff
|
tree
2019-06-26
Vass
i
l Mlad
e
no
v
Pessimize
unenforceab
l
e ty
p
es at
function
ret
u
r
n
b
oundari
e
s
commit
|
commitdiff
|
tree
2019-06-24
Vassil Mlade
n
ov
Fix list destructu
r
in
g
of u
n
ions
commit
|
commitdiff
|
tree
2019-06-21
Vas
s
i
l
Mladenov
Ch
e
ck __Enfo
r
c
eable t
y
pe con
s
ta
n
ts fo
r
cases that
are
.
.
.
commit
|
commitdiff
|
tree
2019-06-21
Va
s
si
l
Mladenov
F
urther rest
r
ict abs
t
rac
t
t
ype cons
t
ants with
defaults
commit
|
commitdiff
|
tree
2019-06-21
Vassil Ml
a
denov
F
i
x
r
egre
s
sion on defaul
t
s fo
r
a
b
st
r
a
ct type con
s
t
a
nts
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
Add switch to disable partially abstract type consta
n
ts
commit
|
commitdiff
|
tree
2019-06-19
Vassil M
l
adenov
Add
c
oercion for
static meth
o
ds
accessed via parent::
commit
|
commitdiff
|
tree
2019-06-19
Va
s
sil
M
ladenov
A
d
d coercion for static me
t
h
ods
commit
|
commitdiff
|
tree
2019-06-19
Va
s
s
i
l
M
lad
e
nov
Fi
x
decl i
n
he
r
itance of abstract type
constant with
.
.
.
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladeno
v
Add c
o
ercion for
static
p
rope
r
ties
commit
|
commitdiff
|
tree
2019-06-18
V
assil Mladeno
v
R
efactor dispatch_
c
all in typi
n
g
commit
|
commitdiff
|
tree
2019-06-18
V
assil Mladenov
M
ove abstract parent check to
Tast chec
k
commit
|
commitdiff
|
tree
2019-06-17
Vassil Mladen
o
v
Add coercion for parent:
:
calls to instance metho
d
s
commit
|
commitdiff
|
tree
2019-06-17
Va
s
sil Mladenov
Add coercion for co
n
structors
commit
|
commitdiff
|
tree
2019-06-15
Va
s
sil
M
ladeno
v
Don
'
t lose argument
s
to parent
:
: method ca
l
ls
commit
|
commitdiff
|
tree
2019-06-13
V
a
s
s
il Ml
a
den
o
v
Move static
method cal
l
checks ou
t
o
f typin
g
.
ml
commit
|
commitdiff
|
tree
2019-06-12
V
assil Mlad
e
n
ov
Add coer
c
io
n
to
m
eth
o
d parameter
t
ypes
commit
|
commitdiff
|
tree
2019-06-12
V
assil Mla
d
enov
Add coe
r
cion to property types
commit
|
commitdiff
|
tree
2019-06-12
Vassi
l
Mladenov
All
o
w coercion in function p
a
rameters
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mla
d
enov
Do
n
ot ha
v
e shado
w
ing error for rei
f
ied type
paramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Ban
s
o
me reified type arguments
commit
|
commitdiff
|
tree
2019-06-12
Vassil
M
laden
o
v
Cl
e
an u
p
l
o
gic th
a
t governs val
i
d
reified arguments
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladeno
v
Back
o
u
t "[easy] Do
n
ot have shadowi
n
g error
f
or reified
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladeno
v
Do not
h
ave shadowi
n
g error for reified type para
m
e
t
er
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
Update genva te
s
ts
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladeno
v
A
l
low coercion from l
i
ke types
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladeno
v
Add coe
r
cion
dynamic ~> T when T is
e
n
f
orceable
commit
|
commitdiff
|
tree
2019-06-10
Vassil
Mladenov
Add dec
l
ty
p
e
c
oercion target from return p
o
sition
s
commit
|
commitdiff
|
tree
2019-06-10
Vassil Mladeno
v
Fix hhco
n
fig opt for
pessimize
_
ty
p
es
commit
|
commitdiff
|
tree
2019-06-09
Vassil Mladenov
Introdu
c
e Expe
c
tedTy m
o
du
l
e, refacto
r
typing to use
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil Mladenov
Flip some tes
t
s
to us
e
the
<
?hh
h
eader instead of
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil
Mladenov
Ban reified
gener
i
cs on fu
n
cti
o
n
s
o
r m
e
thods
t
hat take
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Always autoi
m
port in t
h
e
e
mitter
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
no
v
Re
m
ove is_
h
h_syntax_enabled and is_hh_file_
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
nov
Emit inout wrapper functions in php
files
commit
|
commitdiff
|
tree
2019-06-06
Va
s
s
i
l
M
ladenov
Emit is for is_
*
special functions in PHP
commit
|
commitdiff
|
tree
2019-06-06
Vassi
l
M
l
adenov
Check
PH
P
class name
s
i
n the glob
a
l nam
e
s
p
ace against
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mlade
n
o
v
Emi
t
invar
i
ant
f
unction in PH
P
fi
l
e
s
commit
|
commitdiff
|
tree
2019-06-06
Vassil M
l
adenov
I
nl
i
ne gen functions in PH
P
f
i
l
e
s
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Always emi
t
t
he HHType c
o
nstraint for simp
l
e types
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassi
l
Mladen
o
v
Do not emit explicit type cons
t
raints for m
i
xed and
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil M
l
aden
o
v
Do n
o
t always emit nullable for
p
aram type hints in
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
no
v
Unify
p
aram
e
ter default chec
k
ing b
e
t
w
e
en
P
HP an
d
Hack
commit
|
commitdiff
|
tree
next