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
handle namespacing of primitives
2022-08-08
V
assil Mladenov
Elimina
t
e s
u
ppo
r
tdyn
a
m
ic
in favor of supportdyn
commit
|
commitdiff
|
tree
2022-07-20
Vassil Mladenov
Back out "Concr
e
t
i
ze
c
onst
a
nt defaults i
n
a
bstract
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Vassil Mladenov
Concretize const
a
nt defaults i
n
abstract fina
l
clas
s
e
s
commit
|
commitdiff
|
tree
2022-07-12
Vassil Mladenov
Concr
e
tize consta
n
t
d
e
f
aults in abstract
f
inal class
e
s
commit
|
commitdiff
|
tree
2022-07-12
Vas
s
il Mla
d
enov
Dec
l
_inherit + T
y
ping_ext
e
nds: undo decl change, consider
.
.
.
commit
|
commitdiff
|
tree
2022-06-29
Vassil Mladen
o
v
Wellform
e
dness:
c
heck w
e
l
l
-
f
or
m
edness of requirement
s
.
.
.
commit
|
commitdiff
|
tree
2022-06-28
Vassil Mladenov
D
e
cl_inhe
r
it:
f
i
x cas
e
where type
c
onstant
inherit
a
nce
.
.
.
commit
|
commitdiff
|
tree
2022-06-23
Vass
i
l Mladeno
v
P
o
ison anc
e
stors upward
s
if an
u
n
e
nforcea
b
le return
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Vassil Mladenov
Relax restri
c
tion that preven
t
s defau
l
ts
a
nd con
c
rete
.
.
.
commit
|
commitdiff
|
tree
2022-06-06
V
assi
l
M
l
adenov
Remo
v
e
old type_param_shadow
i
ng
e
xpe
r
im
e
nt
commit
|
commitdiff
|
tree
2022-06-06
Vassil M
l
adeno
v
E
xclu
d
e 4374 from
dead
f
i
xme remover
commit
|
commitdiff
|
tree
2022-05-27
Vassil Mla
d
en
o
v
Log pessimisa
t
ion for expli
c
it type hints o
n
closures
commit
|
commitdiff
|
tree
2022-05-25
V
a
ssil Mladen
o
v
U
nroll tail recursion, r
e
port paramete
r
p
e
ssimisation
commit
|
commitdiff
|
tree
2022-05-17
Vassil Mladenov
Targeted pess
i
misation for pa
r
amet
e
rs
commit
|
commitdiff
|
tree
2022-05-12
V
assil
Mladenov
Update m
i
ni-repo for 4
.
14
.
0
commit
|
commitdiff
|
tree
2022-05-12
Vassil Mla
d
enov
Releas
e
to fbcode
commit
|
commitdiff
|
tree
2022-05-11
Vassil Mladenov
Add conflicting concre
t
e
typeco
n
st check,
cha
n
g
e
class
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Vassil
M
ladenov
T
yping
_
extend
s
: us
e
member map for type constants
c
hecks
.
.
.
commit
|
commitdiff
|
tree
2022-04-28
Vassil Ml
a
denov
R
e
w
or
k
enab
l
e_strict_const_semantic
s
to consider
the
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
V
assil Mlad
e
n
ov
Typi
n
g_extends: un
i
on all parent
consta
n
ts in a
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2022-04-06
V
a
ss
i
l
M
l
ad
e
nov
Strip like
t
ype when cons
d
iering
o
bject mem
o
izatio
n
commit
|
commitdiff
|
tree
2022-04-06
Vassil
Mladenov
Allow
arbitr
a
r
y splat
d
e
s
tr
u
cturing
f
or dy
n
amic
commit
|
commitdiff
|
tree
2022-04-04
V
assil Ml
a
denov
Do not keep arou
n
d temporar
y
tyvars
l
onger than necessary
commit
|
commitdiff
|
tree
2022-03-25
Vassil
M
ladenov
Pessimise
v
oid
exce
p
t in toplevel
commit
|
commitdiff
|
tree
2022-03-24
V
a
ssil
M
ladenov
Add upcasts to dynamic afte
r
inout
e
x
p
ressions
commit
|
commitdiff
|
tree
2022-03-24
V
a
s
sil Mladenov
Make
support
d
yn
<
mixe
d
> for
a
default
value from Shapes
.
.
.
commit
|
commitdiff
|
tree
2022-03-23
Vassil Mladenov
Delete pess_disabled
commit
|
commitdiff
|
tree
2022-03-22
V
a
ssil Mla
d
en
o
v
Insert up
c
a
sts in r
e
tu
r
n
stateme
n
ts
for
when return
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Vassil Mladen
o
v
Remove a few
test di
s
a
bles
commit
|
commitdiff
|
tree
2022-03-15
V
a
ssi
l
Mlad
e
n
ov
Traverse im
p
licit parameters
i
n Typi
n
g
_
v
a
r
i
ance
commit
|
commitdiff
|
tree
2022-03-11
Vassil M
l
a
d
enov
R
emo
v
e pess_exp,disabled
commit
|
commitdiff
|
tree
2022-03-09
Vassi
l
Mladenov
Add mis
s
in
g
gen
e
r
ate
d
tpa
r
ams
a
nd constra
i
nts to env
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
Vassi
l
Mlad
e
nov
Add
option to require types fo
r
c
l
ass consts
commit
|
commitdiff
|
tree
2022-03-01
V
a
s
s
i
l Mladenov
Rem
o
v
e
unne
c
essary pess
_
e
x
p and pess_disa
b
l
e
d
commit
|
commitdiff
|
tree
2022-02-25
Vassil Mladenov
Dyna
m
ic
parameters upcasting
commit
|
commitdiff
|
tree
2022-02-23
Vassil Mladenov
Impr
o
ve
error me
s
sag
e
s
f
or polymor
p
hi
c
contexts, add
.
.
.
commit
|
commitdiff
|
tree
2022-02-17
Vassil Mladenov
Add types to constants in HHIs
commit
|
commitdiff
|
tree
2022-02-17
Vassil Mladenov
Back
o
ut "Add missing ge
n
erated
tparams
a
nd
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2022-02-15
V
assil Mladenov
A
d
d
missing ge
n
erated tparams and
constraints to env
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Vassil Mladenov
Commit exclusion list for pess
i
misa
t
ion
t
ests
a
nd enable
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
V
a
ssil Mladenov
Add pe
s
si
m
i
sat
i
on te
s
t ar
t
ifacts to git
i
gnore
commit
|
commitdiff
|
tree
2022-01-19
Vassi
l
Mladenov
Support ~ types on XHP
attributes that are
e
n
um {'x
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Vassil
M
ladenov
Approve ou
t
put of 14 pess
i
misation tes
t
s
commit
|
commitdiff
|
tree
2022-01-12
Va
s
sil
M
laden
o
v
Check wellformed
n
es
s
of c
o
nstructor calls
commit
|
commitdiff
|
tree
2022-01-12
Vas
s
il Mladenov
Che
c
k
w
ellfor
m
e
d
ness of call
s
commit
|
commitdiff
|
tree
2022-01-12
Vassil
Ml
a
denov
A
l
low e
f
fect
-
polymorph
i
c supportdy
n
closures
commit
|
commitdiff
|
tree
2021-12-14
Vassil Mla
d
enov
Pes
s
im
i
se
e
num class d
e
f
i
ni
t
ions and all
o
w li
k
e types
.
.
.
commit
|
commitdiff
|
tree
2021-12-06
Va
s
sil
Mladenov
S
i
mple gat
i
ng
f
or supportdyn
commit
|
commitdiff
|
tree
2021-11-30
Vassil Ml
a
denov
U
nbox
~?ty expected
types deeply t
o
fix pes
s
imi
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-11-16
V
assil Mladenov
noreturn
<D: dynamic
commit
|
commitdiff
|
tree
2021-11-15
Va
s
sil Mladen
o
v
Consider
retur
n
typ
e
without like type when typing
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
Vassi
l
Mlad
e
nov
Remove unused
C
ode
g
en cap
a
b
i
l
ity
commit
|
commitdiff
|
tree
2021-11-10
Vassil Mladenov
Remove referenc
e
s to
(
l
owercase) codege
n
and cod
e
ge
n
_unsafe
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Va
s
sil
M
l
a
den
o
v
R
a
i
se error w
h
en a trait is
<
<
__ConsistentCo
n
s
truct
.
.
.
commit
|
commitdiff
|
tree
2021-11-05
Vassi
l
Mladenov
Remove the
c
o
degen
a
n
d
c
o
d
egen_unsafe contexts from HHI
commit
|
commitdiff
|
tree
2021-11-04
Va
s
sil
M
ladenov
Fix
h
ackfmt fo
r
con
t
ext aliases
commit
|
commitdiff
|
tree
2021-11-02
Vassi
l
Mladeno
v
L
o
g prop p
e
ssimisation for assignment
commit
|
commitdiff
|
tree
2021-10-30
Vassil Mladenov
Expand dynam
i
c for in
f
erence of coll
e
ct
i
ons and l
a
mbdas
commit
|
commitdiff
|
tree
2021-10-27
Vas
s
il
M
l
ad
e
nov
Make bidir
e
ctional type i
n
f
e
r
e
nce wor
k
for
c
ollec
t
ions
.
.
.
commit
|
commitdiff
|
tree
2021-10-27
Va
s
sil Mla
d
enov
Fix internal error f
o
r Generators
d
uring SDT check
commit
|
commitdiff
|
tree
2021-10-26
Vassil
Ml
a
den
o
v
Make
for
m
at strings ma
g
ic wo
r
k with like t
y
pe
s
in more
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Vas
s
il
Mladenov
Pessim
i
ze
props
defined on constructors
commit
|
commitdiff
|
tree
2021-10-25
V
assil Mladenov
Fix bug
where default
c
onstr
u
ctors are made [de
f
a
u
lts]
commit
|
commitdiff
|
tree
2021-10-22
Vassi
l
M
ladenov
Re
m
ove stray
.
out file
commit
|
commitdiff
|
tree
2021-10-22
Va
s
sil Ml
a
denov
Interp
r
et p
e
s
simizat
i
on log
commit
|
commitdiff
|
tree
2021-10-21
Vassi
l
Mlad
e
nov
Factor o
u
t
pess
i
mise_t
y
pe, r
e
name
t
h
i
n
gs, change lo
g
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Vassil Mladenov
Fix DDP f
o
r supp
o
rt
d
ynamic,
i
n
terpret nonnul
l
a
n
d mixed
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
V
assi
l
Mladeno
v
Log
a
pes
s
i
mization requirement
w
hen
a param
subtype
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Vassil Mladenov
Make variad
i
c para
m
eter dyna
m
ic when relaxing callee
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vassil Mla
d
enov
Error fo
r
pa
r
ent::__constru
c
t
in traits when
p
arent
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vassil Mladenov
Allow compi
l
ation of `as` constraints on conc
r
ete t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil Mladenov
Error for parent::__const
r
uct in trai
t
s when parent
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vas
s
i
l
Mladenov
F
i
x error code Read ->
Write
commit
|
commitdiff
|
tree
2021-10-06
V
assil
Mladenov
Remove
P
A
TC def
i
n
i
t
ion typec
h
ec
k
e
r opt
i
on
commit
|
commitdiff
|
tree
2021-10-06
Vassil Mla
d
e
n
o
v
Re
m
o
ve
Aast
.
T
C
Par
t
ia
l
lyAb
s
tract
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mlade
n
ov
R
e
ser
v
e erro
r
c
o
d
e
for
new F
I
XME-a
b
le
error
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladenov
Remove is_concrete argument
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladenov
Remo
v
e Typ
i
ng_defs
.
TCP
a
rt
i
all
y
Abst
r
act
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mlad
e
nov
Remove disa
b
le_partially_
a
b
s
t
ract_t
y
peconsts
option
commit
|
commitdiff
|
tree
2021-10-01
Vassil Mladenov
Use inner
type for dependent context
s
wh
e
n parameter
.
.
.
commit
|
commitdiff
|
tree
2021-09-29
Vas
s
il Mla
d
e
nov
Im
p
l
e
men
t
s
ubtyping for Tsupportdynamic
commit
|
commitdiff
|
tree
2021-09-29
Vassil
M
l
a
denov
Introduce supp
o
rt
d
yn
a
mic ty
p
e hin
t
and T
s
u
pportdyna
m
ic
commit
|
commitdiff
|
tree
2021-09-23
V
as
s
il Mladenov
Us
e
new na
m
espace elaborat
i
on for ctx
consts
commit
|
commitdiff
|
tree
2021-09-23
Vassi
l
Mladenov
Ad
d
missing coeffect
encaps
u
lation te
s
ts to hphp/tes
t
commit
|
commitdiff
|
tree
2021-09-20
Vassil Mladenov
Log pessimiz
a
tio
n
fo
r
prop
e
r
ties that fail
s
ound dynami
c
.
.
.
commit
|
commitdiff
|
tree
2021-09-17
Vassil Mladenov
Require
a
s
con
s
traint on context aliases
commit
|
commitdiff
|
tree
2021-09-17
Vassil Mladeno
v
Add anot
h
er test
c
ase f
o
r sh
o
rt context
a
l
ia
s
es
commit
|
commitdiff
|
tree
2021-09-16
Vassi
l
Mladenov
Register capabilities before saving e
n
v copy
f
or S
D
T
.
.
.
commit
|
commitdiff
|
tree
2021-09-16
Vas
s
il Mladenov
S
k
ip SD
T
pare
n
t check on non classes/interfaces
commit
|
commitdiff
|
tree
2021-09-15
Vassil Mladenov
Add ev
e
r
y
thing_sdt ty
p
echecker opti
o
n
commit
|
commitdiff
|
tree
2021-09-14
Vassil Mlade
n
ov
Make cont
e
xt
v
alidation logic
o
ve
r
decl
t
ys, a
l
l
ow
.
.
.
commit
|
commitdiff
|
tree
2021-09-10
Vas
s
il
Ml
a
denov
Enab
l
e __Sealed
subclass
check as a lint
commit
|
commitdiff
|
tree
2021-09-08
Vassil Mladenov
Ban partially
abstract
t
y
p
e cons
t
ants by defa
u
lt
commit
|
commitdiff
|
tree
2021-08-27
Vassil Mladeno
v
Remove le
g
acy
c
_
s
upport_d
y
n
a
m
ic_type field
commit
|
commitdiff
|
tree
2021-08-25
Vassil M
l
adenov
i
n
t
r
oduce newctx keyword for c
o
ntext a
l
iases
commit
|
commitdiff
|
tree
2021-08-20
Vassil Mladenov
I
m
plement projec
t
ion of contex
t
constants off reified
.
.
.
commit
|
commitdiff
|
tree
2021-08-20
Vass
i
l
Mladeno
v
Req
u
ire exac
t
explicit typ
e
argumen
t
count
commit
|
commitdiff
|
tree
2021-08-19
Vassil Mladen
o
v
Cstr -
>
C
o
nstruc
t
o
r
commit
|
commitdiff
|
tree
2021-08-16
Vassil
Mladenov
Allo
w
eff
e
ct polymorphic
calls w
i
th only explici
t
tparam
.
.
.
commit
|
commitdiff
|
tree
2021-08-16
V
a
s
s
il Mladenov
Move over depen
d
ent contexts to T/[
.
.
.
] naming
commit
|
commitdiff
|
tree
next