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
Back out "Adding tests for the TC in EC gating"
2022-11-12
Vassil M
l
aden
o
v
Remove
d
ead FIXM
E
[
0
00*] comments
commit
|
commitdiff
|
tree
2022-11-11
Vassil Mlade
n
ov
Co
n
s
ider th
e
inner typ
e
as the first pr
o
posit
i
on when
.
.
.
commit
|
commitdiff
|
tree
2022-11-09
Vassil M
l
ad
e
nov
Clean up the te
s
ts
commit
|
commitdiff
|
tree
2022-11-08
Vassil Ml
a
denov
Don't wide
n
Hack arrays for assignment
commit
|
commitdiff
|
tree
2022-11-04
V
assil Mlade
n
ov
Infer dy
n
amic value
for th
e
r
e
s
ult of CGexpr
e
x
pressions
commit
|
commitdiff
|
tree
2022-11-03
Vas
s
il Mla
d
e
n
ov
Don't widen M
a
p and Vector for arr
a
y
a
ssignment
commit
|
commitdiff
|
tree
2022-11-03
Va
s
sil Mladenov
All t
h
e
2071
s
except type
s
t
r
ucture
commit
|
commitdiff
|
tree
2022-10-28
Vassil
M
ladenov
Check su
p
er bound
for newt
y
pes when Tnewtype appear
s
.
.
.
commit
|
commitdiff
|
tree
2022-10-28
Vass
i
l Mladenov
A
llow
u
pcast
and unsafe_ca
s
t
in const
a
nt i
n
it
i
a
l
i
zers
commit
|
commitdiff
|
tree
2022-10-25
Vass
i
l Mladenov
Build
P
OISO
N
_
M
ARK
E
R an
d
TANY_M
A
RKER
commit
|
commitdiff
|
tree
2022-10-21
Vassi
l
Mlade
n
ov
Enforce like
ty
p
es in ty
p
e hint po
s
iti
o
ns
commit
|
commitdiff
|
tree
2022-10-21
Vassil Mladeno
v
Add
t
ests for current HHVM enforcement
commit
|
commitdiff
|
tree
2022-10-05
Vassil Mladeno
v
Add hh_client lsp --ignore-
h
h-ve
r
s
ion
+
--nam
i
ng
-
t
able
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
Vassil Mladenov
Add --
a
lways-pessimis
e
-return
fla
g
for hhst
commit
|
commitdiff
|
tree
2022-09-29
Vassil Mladenov
Add
an option
t
o log when we
do
a
s
o
und dynamic pass
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Vass
i
l
M
ladenov
Add HH\FI
X
ME\UNSAFE
_
N
O
NNULL_CAST
commit
|
commitdiff
|
tree
2022-09-01
Vassil Mladen
o
v
Add
s
im
p
le
pri
n
ti
n
g log
i
c
commit
|
commitdiff
|
tree
2022-08-31
Vassil M
l
ade
n
ov
F
ix bug with
s
ynthesized
t
yp
e
const inheritan
c
e
commit
|
commitdiff
|
tree
2022-08-26
Vassi
l
Mladenov
Res
o
l
ve infi
n
ite loo
p
i
n
T
yping_objec
t
_
g
e
t re
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2022-08-22
Vassil Mla
d
eno
v
Resolve inf
i
nite
loo
p
for
typ
e
constants
under sou
n
d
.
.
.
commit
|
commitdiff
|
tree
2022-08-08
Vassil Mladenov
Elimina
t
e sup
p
ortdynamic in favor of support
d
yn
commit
|
commitdiff
|
tree
2022-07-20
Va
s
s
il Mlad
e
nov
Bac
k
out "Concr
e
ti
z
e cons
t
ant de
f
aults
i
n abstr
a
ct
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Vassil
M
l
adenov
Concretize
constant
defaults in abstr
a
ct f
i
n
a
l classes
commit
|
commitdiff
|
tree
2022-07-12
Vassil
Mladen
o
v
Concr
e
tize constan
t
defaul
t
s in abstr
a
ct final classes
commit
|
commitdiff
|
tree
2022-07-12
Vassil Mladen
o
v
Dec
l
_
inherit + Typ
i
ng_extends: un
d
o
decl chan
g
e
,
consider
.
.
.
commit
|
commitdiff
|
tree
2022-06-29
Vassil Mladenov
Wellformedness:
check we
l
l
-
formedness
o
f r
e
q
ui
r
ements
.
.
.
commit
|
commitdiff
|
tree
2022-06-28
Vassil Mladenov
Decl_inh
e
rit:
fix ca
s
e where type c
o
nstant inheritance
.
.
.
commit
|
commitdiff
|
tree
2022-06-23
Vassil Mladenov
Pois
o
n ance
s
to
r
s upwards if an unenforc
e
ab
l
e return
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
V
as
s
il Mladeno
v
Relax r
e
striction that prevents defau
l
t
s and con
c
rete
.
.
.
commit
|
commitdiff
|
tree
2022-06-06
V
ass
i
l
Mladenov
Remove
old type
_
p
a
r
am_shadowing experiment
commit
|
commitdiff
|
tree
2022-06-06
Vassil M
l
adenov
Exclude 4374 fro
m
d
e
ad f
i
xme
remover
commit
|
commitdiff
|
tree
2022-05-27
Vassil
M
laden
o
v
Log pessimisation for ex
p
licit type hints
o
n clos
u
re
s
commit
|
commitdiff
|
tree
2022-05-25
Vassil Mlad
e
no
v
U
n
roll tail
r
ecursion,
re
p
ort
p
arameter pes
s
i
misation
commit
|
commitdiff
|
tree
2022-05-17
V
a
s
s
i
l
Mladenov
T
argeted
pes
s
im
i
sation for par
a
meters
commit
|
commitdiff
|
tree
2022-05-12
Vass
i
l Mlad
e
nov
Update mini-repo for 4
.
14
.
0
commit
|
commitdiff
|
tree
2022-05-12
Vassil Mladen
o
v
Release to
f
bcode
commit
|
commitdiff
|
tree
2022-05-11
Vassil Mladen
o
v
Add conflicting concrete type
c
onst c
h
eck,
c
han
g
e
class
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Va
s
sil Mla
d
enov
Typing_extends: use me
m
be
r
map for type cons
t
ants c
h
ecks
.
.
.
commit
|
commitdiff
|
tree
2022-04-28
Va
s
sil Mladenov
Rewo
r
k enabl
e
_
str
i
c
t
_cons
t
_sema
n
t
ics to consider
the
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
Vass
i
l Mladenov
Ty
p
ing_extends:
u
nion all
p
arent
cons
t
a
n
t
s in a map
.
.
.
commit
|
commitdiff
|
tree
2022-04-06
Va
s
sil Ml
a
denov
Strip like type
when
c
onsd
i
ering ob
j
ect memoization
commit
|
commitdiff
|
tree
2022-04-06
V
a
ss
i
l Mladenov
Allo
w
arbit
r
ary splat destructuring fo
r
dynamic
commit
|
commitdiff
|
tree
2022-04-04
Vassil Mla
d
enov
Do not kee
p
aro
u
nd temp
o
rary tyvars longer than
n
ecessary
commit
|
commitdiff
|
tree
2022-03-25
Vassil M
l
adenov
Pessimise vo
i
d except in toplevel
commit
|
commitdiff
|
tree
2022-03-24
Vass
i
l
M
l
adenov
A
d
d upca
s
ts to dyna
m
ic a
f
ter inout
e
xpression
s
commit
|
commitdiff
|
tree
2022-03-24
Vassil Mladenov
Make supportdyn<mixed> for a default value
fr
o
m Shapes
.
.
.
commit
|
commitdiff
|
tree
2022-03-23
Vassil Mlade
n
ov
Delete pes
s
_disabled
commit
|
commitdiff
|
tree
2022-03-22
V
assil
Mla
d
enov
Insert upcas
t
s in retur
n
stat
e
ment
s
fo
r
when
return
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Va
s
sil
M
lad
e
nov
Rem
o
v
e
a few te
s
t disables
commit
|
commitdiff
|
tree
2022-03-15
V
a
ssil Mladenov
Traver
s
e implicit
p
aramet
e
rs
in Typing
_
variance
commit
|
commitdiff
|
tree
2022-03-11
Vassil
Mladen
o
v
Rem
o
ve pess
_
e
x
p,disa
b
le
d
commit
|
commitdiff
|
tree
2022-03-09
Vassil Mladeno
v
Add missin
g
generated tparams and
constraints
to env
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
Vassil Ml
a
de
n
ov
Add op
t
ion to req
u
ire types for cl
a
s
s
consts
commit
|
commitdiff
|
tree
2022-03-01
V
a
ssi
l
Ml
a
deno
v
R
emove
u
nne
c
essary pess_exp and
p
ess_disabled
commit
|
commitdiff
|
tree
2022-02-25
Vass
i
l
M
l
adenov
Dynam
i
c parameters
u
pcasting
commit
|
commitdiff
|
tree
2022-02-23
Vassil
M
ladenov
Improv
e
e
rro
r
m
e
ssages f
o
r poly
m
orphi
c
contexts,
a
dd
.
.
.
commit
|
commitdiff
|
tree
2022-02-17
Vassil M
l
adenov
Ad
d
types to
c
on
s
tants in HHIs
commit
|
commitdiff
|
tree
2022-02-17
Vassil Mlad
e
nov
Ba
c
k out
"
Add missing g
e
n
e
rate
d
t
para
m
s and constraints
.
.
.
commit
|
commitdiff
|
tree
2022-02-15
V
assil Mlad
e
n
o
v
Add miss
i
n
g
generated t
p
ara
m
s
a
nd constrain
t
s to
e
nv
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Vassil Mla
d
enov
Co
m
mit exc
l
usion list for pessimisati
o
n tests and
e
n
a
bl
e
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Vas
s
i
l
Mladenov
A
d
d pessimisati
o
n
t
e
st
a
rtifacts to git
i
gnore
commit
|
commitdiff
|
tree
2022-01-19
V
assil
M
ladenov
Support
~ t
y
p
e
s
o
n XHP
attributes that are enum
{
'x
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Vassil Mladenov
Approve output of
14 p
e
ssim
i
sation t
e
sts
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mla
d
en
o
v
Che
c
k well
f
ormedness of cons
t
ructo
r
cal
l
s
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mlade
n
ov
Check w
e
l
lf
o
rmed
n
ess
o
f
c
alls
commit
|
commitdiff
|
tree
2022-01-12
Vassil Ml
a
de
n
ov
Allow
e
f
fec
t
-polymorph
i
c
supportdyn
c
lo
s
u
r
e
s
commit
|
commitdiff
|
tree
2021-12-14
Vas
s
il Ml
a
denov
P
e
ssimise enum clas
s
definitions
a
nd all
o
w l
i
ke typ
e
s
.
.
.
commit
|
commitdiff
|
tree
2021-12-06
Vass
i
l Mladenov
Sim
p
le gating fo
r
supportdyn
commit
|
commitdiff
|
tree
2021-11-30
Vassil
Mladenov
Unb
o
x ~?ty expe
c
t
ed
types de
e
ply to fix
p
essimised
.
.
.
commit
|
commitdiff
|
tree
2021-11-16
V
a
ssi
l
Mladenov
noreturn <D: dynami
c
commit
|
commitdiff
|
tree
2021-11-15
Vassil Ml
a
d
e
nov
C
o
nsider re
t
ur
n
ty
p
e
w
i
t
hout like
ty
p
e when ty
p
ing
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
Vassi
l
Mladen
o
v
Remove unuse
d
Codegen c
a
pability
commit
|
commitdiff
|
tree
2021-11-10
Vas
s
il
M
ladenov
Remove references to (lowercase)
c
odegen and c
o
dege
n
_
u
nsafe
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Va
s
sil Mladenov
Raise
e
r
r
o
r w
h
en a
t
r
ait
is <<__ConsistentConstruct
.
.
.
commit
|
commitdiff
|
tree
2021-11-05
Vassil Mlad
e
nov
R
e
mov
e
the codegen and c
o
dege
n
_
u
n
sa
f
e c
o
ntexts from HHI
commit
|
commitdiff
|
tree
2021-11-04
V
a
s
s
il Mla
d
enov
Fix hackfmt for context ali
a
ses
commit
|
commitdiff
|
tree
2021-11-02
V
a
s
s
il Mladen
o
v
L
og prop pessimisation
for assign
m
ent
commit
|
commitdiff
|
tree
2021-10-30
Vassil M
l
adenov
Expan
d
dynamic for
i
nfe
r
e
n
ce of
col
l
ectio
n
s a
n
d
lambdas
commit
|
commitdiff
|
tree
2021-10-27
Vassil Mlad
e
nov
Make bid
i
rectional
type inference wo
r
k f
o
r co
l
le
c
tions
.
.
.
commit
|
commitdiff
|
tree
2021-10-27
Va
s
s
il Mladenov
Fix intern
a
l error
for Generator
s
durin
g
SDT check
commit
|
commitdiff
|
tree
2021-10-26
Vassil
M
ladenov
M
a
ke
format st
r
i
ngs magic work with like types
i
n mor
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Vassil Ml
a
denov
Pessimize props def
i
ned on constructors
commit
|
commitdiff
|
tree
2021-10-25
V
assil Mladenov
Fi
x
bug
w
he
r
e de
f
ault
c
onstructo
r
s a
r
e made [
d
e
faults]
commit
|
commitdiff
|
tree
2021-10-22
Vassil Mladeno
v
Remove
stray
.
out file
commit
|
commitdiff
|
tree
2021-10-22
Vassi
l
Mladenov
Inter
p
ret pessimization log
commit
|
commitdiff
|
tree
2021-10-21
Vassil Mladenov
Factor out pessimise_type, rename things, ch
a
nge log
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Vassil Mladenov
Fix
DDP
for supportdy
n
amic,
interp
r
et
n
on
n
u
ll and mixed
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Vass
i
l Mlad
e
nov
Log a pes
s
i
m
izatio
n
re
q
u
ir
e
ment when
a para
m
su
b
typ
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Vassil Mladenov
Make variadic
p
aramete
r
dynamic
w
hen
r
elaxing call
e
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vassil
M
ladenov
Error for parent::__construct in traits w
h
en pare
n
t
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vas
s
il Mladenov
Allow
compilation of `as` con
s
traints on c
o
ncret
e
type
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil
M
ladenov
Error for
p
a
r
ent::__co
n
s
t
ruct in
tr
a
it
s
when
p
arent
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
V
a
ssil Mladenov
Fi
x
error
c
ode Read -> Writ
e
commit
|
commitdiff
|
tree
2021-10-06
Vas
s
il Mlade
n
ov
Remove PATC
d
efi
n
ition typeche
c
ke
r
option
commit
|
commitdiff
|
tree
2021-10-06
V
assil Mla
d
enov
Remove Aast
.
TCPart
i
allyAbstract
commit
|
commitdiff
|
tree
2021-10-05
V
assi
l
Ml
a
d
enov
Res
e
rve error c
o
de for new
F
IXME-abl
e
e
r
ror
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mladenov
Remove
i
s_concrete argum
e
nt
commit
|
commitdiff
|
tree
2021-10-05
Vass
i
l M
l
adenov
Re
m
ove
T
yping_defs
.
TCPar
t
iallyAbst
r
ac
t
commit
|
commitdiff
|
tree
2021-10-05
Vas
s
il Mlad
e
nov
R
e
move
d
isab
l
e_partially_abstra
c
t_ty
p
econ
s
t
s option
commit
|
commitdiff
|
tree
2021-10-01
Vas
s
il Mla
d
enov
U
s
e inner type for depende
n
t co
n
texts when p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
next