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
intern_boxed_field_ref
2022-10-21
Francesco Zappa
.
.
.
disab
l
e run
t
ime enforcement of
req
u
ire class c
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2022-10-13
Francesco
Z
a
p
pa
.
.
.
n
a
tive fact
s
support
commit
|
commitdiff
|
tree
2022-10-03
Fra
n
cesco Zappa
.
.
.
Facts
p
ar
s
er
commit
|
commitdiff
|
tree
2022-09-30
France
s
co Zappa
.
.
.
Error if a
c
lass does
n
ot use
a trait that require
.
.
.
commit
|
commitdiff
|
tree
2022-09-19
Francesco Za
p
pa
.
.
.
if a trait requi
r
e c
l
ass
C
, then C must b
e
final
commit
|
commitdiff
|
tree
2022-09-19
Fran
c
esc
o
Zappa
.
.
.
re
s
olve `requ
i
re c
l
ass` eagerl
y
when performin
g
typing_exten
.
.
.
commit
|
commitdiff
|
tree
2022-09-17
Frances
c
o Zappa
.
.
.
m
o
v
e to Preview
commit
|
commitdiff
|
tree
2022-09-09
Francesco Zappa
.
.
.
do
not sy
s
tematically initialiser code for prop
e
rties
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
F
rancesco Zappa
.
.
.
require class con
s
trai
n
ts should not imply
s
u
btype
commit
|
commitdiff
|
tree
2022-08-30
Fra
n
cesco Zappa
.
.
.
s
ystemati
c
ally remove
t
h
e
`--extr
a
-b
u
iltins` pessimised
.
.
.
commit
|
commitdiff
|
tree
2022-08-29
Francesc
o
Zappa
.
.
.
handle overr
i
din
g
o
f conc
r
ete ty
p
e const
a
nts
b
y
r
equ
i
re
.
.
.
commit
|
commitdiff
|
tree
2022-08-19
Francesco Zappa
.
.
.
take into account require cl
a
ss constraints wh
e
n checkin
g
.
.
.
commit
|
commitdiff
|
tree
2022-07-20
Francesc
o
Zappa
.
.
.
preve
n
t infinite recursi
o
n
when a
c
cessing
n
o
n-exi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Fra
n
c
e
sco
Zap
p
a
.
.
.
if
a trait re
q
uir
e
clas
s
C, t
h
en C
mu
s
t
be final
commit
|
commitdiff
|
tree
2022-06-29
Frances
c
o
Zappa
.
.
.
mark propert
i
es as synthesised
when inher
i
ted vi
a
a
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
Francesco Zappa
.
.
.
allow like types to
f
l
ow into enforceable
s
tatic prop
e
rt
i
es
commit
|
commitdiff
|
tree
2022-06-14
Francesco
Z
a
p
p
a
.
.
.
allo
w
l
i
ke types t
o
fl
o
w into enfo
r
c
e
able prop
e
r
t
i
es
commit
|
commitdiff
|
tree
2022-06-08
Francesco Zappa
.
.
.
up
d
ate linter for unreachab
l
e ov
e
rr
i
dden methods in
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Frances
c
o Zappa
.
.
.
.
t
gt_pe
s
s_exp
and
.
tgt_p
e
ss_d
i
s
abled
f
il
e
s for t
a
rgeted
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Fran
c
esco Zappa
.
.
.
r
u
n targeted pessimi
s
ation on the t
y
p
e
check t
e
st suit
e
commit
|
commitdiff
|
tree
2022-05-30
F
r
a
n
c
e
sco Zappa
.
.
.
fi
x
spac
i
ng i
n
error message
commit
|
commitdiff
|
tree
2022-05-30
France
s
co Zappa
.
.
.
ba
n
traits
that
defines
properties inherited via
m
ulti
p
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Fra
n
cesco Zappa
.
.
.
fix protec
t
ed method lookup
commit
|
commitdiff
|
tree
2022-05-11
Fran
c
esco Zappa
.
.
.
a more Hack
t
es
t
s
commit
|
commitdiff
|
tree
2022-05-11
Fran
c
esco Zappa
.
.
.
unify repo and file
mod
e
pessi
m
isa
t
ion, add an opti
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-04-14
Fra
n
cesco Zappa
.
.
.
hh
v
m support f
o
r `require class _;` trait requir
e
ments
commit
|
commitdiff
|
tree
2022-04-13
Francesco Za
p
pa
.
.
.
reject inc
o
nsis
t
ent `trait T
{
re
q
uire class C; requ
i
r
e
.
.
.
commit
|
commitdiff
|
tree
2022-04-08
Francesco Zappa
.
.
.
t
e
s
t
for abstr
a
ct cl
a
sses
commit
|
commitdiff
|
tree
2022-04-05
Francesco Zappa
.
.
.
re
j
ect `requir
e
cla
s
s C<i
n
t>;`
commit
|
commitdiff
|
tree
2022-04-05
F
rancesco Zap
p
a
.
.
.
m
ark el
e
m
ent
s
impo
r
ted via `require class` as synthetic
.
.
.
commit
|
commitdiff
|
tree
2022-03-30
Frances
c
o Zappa
.
.
.
relax
the Spliceable type if --p
e
ssimise-builti
n
s
commit
|
commitdiff
|
tree
2022-03-29
Francesco Zappa
.
.
.
handl
e
P
airs constru
c
tion
under --pessimise-builtins
commit
|
commitdiff
|
tree
2022-03-28
France
s
c
o
Zappa
.
.
.
HH\Enum
C
lass\Lab
e
l is
su
b
type of dyna
m
ic under
dyna
m
ic
.
.
.
commit
|
commitdiff
|
tree
2022-03-25
Francesco Zappa
.
.
.
typechecker suppor
t
for
`require clas
s
`
commit
|
commitdiff
|
tree
2022-03-23
F
ran
c
esco Zappa
.
.
.
cleanup
o
f p
e
ssi
m
i
sa
t
i
on te
s
t
suite
commit
|
commitdiff
|
tree
2022-03-22
Frances
c
o
Z
a
p
pa
.
.
.
pu
s
h like types under option
types
commit
|
commitdiff
|
tree
2022-03-21
Fr
a
nce
s
co Zappa
.
.
.
pessimise hsl h
h
i files too when testing
va
l
ida
t
e_pessim
i
sation
commit
|
commitdiff
|
tree
2022-03-14
F
rancesco Zappa
.
.
.
u
p
date the direct dec
l
p
arser to parse require class
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
Fran
c
esco Zappa
.
.
.
do not c
o
nve
r
t "class" into No
d
e:
:
Nam
e
("
c
lass")
commit
|
commitdiff
|
tree
2022-03-01
F
r
ancesco
Zapp
a
.
.
.
p
a
rs
i
ng
r
equire class
C; tr
a
it constr
a
ints
commit
|
commitdiff
|
tree
2022-02-25
F
r
ances
c
o Zapp
a
.
.
.
Ba
c
k
out "di
s
a
b
le diamond tra
i
t incl
u
sio
n
relaxe
d
checks"
commit
|
commitdiff
|
tree
2022-02-24
F
ran
c
esc
o
Zappa
.
.
.
disable dia
m
ond trai
t
inclusio
n
relaxe
d
checks
commit
|
commitdiff
|
tree
2022-02-17
Francesco Z
a
p
pa
.
.
.
i
n
troduce th
e
`require_kind`
t
ype in the
a
a
st
commit
|
commitdiff
|
tree
2022-02-11
Francesco Zappa
.
.
.
ref
i
nement of open shapes af
t
er a k
e
yExists
c
heck
commit
|
commitdiff
|
tree
2022-01-24
Franc
e
sc
o
Zappa
.
.
.
disallow diamond im
p
o
rt of t
r
aits
t
hat define gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2022-01-17
Fran
c
esco Zap
p
a
.
.
.
enum clas
s
and soun
d
d
ynami
c
/p
e
ssimisation
commit
|
commitdiff
|
tree
2021-12-27
F
r
an
c
esco Zappa
.
.
.
a
d
d suppo
r
t
for --p
e
ssimise_
b
u
i
l
tin
s
to h
h
_expect
commit
|
commitdiff
|
tree
2021-11-30
Francesco Zappa
.
.
.
handle
correctly the idx
b
uilt
i
n wi
t
h pessimi
s
ed
hhis
commit
|
commitdiff
|
tree
2021-11-30
Fra
n
ce
s
co Zappa
.
.
.
add support f
o
r
i
nteresection types to
Shapes::toDict
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
Francesco
Zappa
.
.
.
Set M
e
thod
T
raitDiamond to P
r
evie
w
M
ode - no-op
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
F
rancesco Zappa
.
.
.
fi
x
ha
n
d
l
ing of --cu
s
tom-hhi-path in
h
h_serv
e
r
commit
|
commitdiff
|
tree
2021-11-18
Francesco Zappa
.
.
.
ru
n
sound_dyn
a
mic/typing/
p
e
s
simis
e
_builtins test
s
with
.
.
.
commit
|
commitdiff
|
tree
2021-11-17
F
rancesco Za
p
pa
.
.
.
Pess
i
mis
a
t
io
n
of
Sh
a
pe
s
.
h
hi functions (
p
essimistic
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
Franc
e
sco Zappa
.
.
.
add --custom-hhi
-
p
ath option to hh_
c
lie
n
t and hh_server
commit
|
commitdiff
|
tree
2021-11-09
Francesc
o
Zappa
.
.
.
do not export the t
a
rgeted_pessi
m
isation test
s
commit
|
commitdiff
|
tree
2021-11-09
Francesco Zap
p
a
.
.
.
suppo
r
t union types in Shapes
.
to
A
rr
a
y
commit
|
commitdiff
|
tree
2021-11-04
Francesc
o
Za
p
p
a
.
.
.
ad
d
-
-
res
p
ect-sdt-attributes
o
ption
commit
|
commitdiff
|
tree
2021-11-03
Franc
e
sco Zappa
.
.
.
Add d
u
ne file for tests
in the `sou
n
d
_dynamic/typing
.
.
.
commit
|
commitdiff
|
tree
2021-10-30
Fra
n
cesco
Z
a
p
pa
.
.
.
pess
i
mise hhi
p
assed via -
-
e
x
tra-builtin when running
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Francesco Zappa
.
.
.
Enabl
e
diamon
d
im
p
ort of final m
e
thods vi
a
`
u
se` chai
n
s
commit
|
commitdiff
|
tree
2021-10-21
Fran
c
es
c
o Zappa
.
.
.
pessimisation test su
i
te uses pess
i
mised hhi fi
l
es
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Fr
a
n
cesco
Z
appa
.
.
.
add the `--custom-hhi-path` opti
o
n
commit
|
commitdiff
|
tree
2021-10-21
Francesc
o
Zappa
.
.
.
su
p
port the
-
-
o
u
tput option when pe
s
simising
h
hi o
r
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Fran
c
e
sco Zappa
.
.
.
fix the
r
e
v
iew
.
sh script to s
h
ow
t
h
e correc
t
`
.
p
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Frances
c
o
Zappa
.
.
.
m
a
k
e veri
f
y
.
sh sc
r
ipt m
o
re ro
b
ust
commit
|
commitdiff
|
tree
2021-10-06
F
r
anc
e
sco Zappa
.
.
.
add
a
new test target
commit
|
commitdiff
|
tree
2021-09-27
Franc
e
sco
Zapp
a
.
.
.
add t
h
e valid
a
te_pessimisation target
commit
|
commitdiff
|
tree
2021-09-24
France
s
co Zappa
.
.
.
R
emoving an o
b
sol
e
te <
<
__RX>> attrib
u
t
e in th
e
typecheck
.
.
.
commit
|
commitdiff
|
tree
2021-09-24
Fra
n
cesco Zappa
.
.
.
fix the
--ignore
-
erro
r
-te
x
t option of verify
.
py
commit
|
commitdiff
|
tree
2021-09-16
Francesco Zappa
.
.
.
forbid multiple
r
ed
e
finiti
o
ns
o
f
constants vi
a
t
raits
commit
|
commitdiff
|
tree
2021-09-09
Frances
c
o
Zappa
.
.
.
add HHVM support f
o
r t
h
e attr
i
bute
_
_
EnableMethod
T
r
a
itDiamon
.
.
.
commit
|
commitdiff
|
tree
2021-09-09
Fr
a
ncesco Zappa
.
.
.
Add attr
i
bute __EnableMethodTrait
D
iamo
n
d
a
nd make it
.
.
.
commit
|
commitdiff
|
tree
2021-09-06
F
r
a
nce
s
co
Z
ap
p
a
.
.
.
diamond i
n
clu
s
ion of traits via us
e
-chains
commit
|
commitdiff
|
tree
2021-06-22
Fran
c
e
sco Zappa
.
.
.
Enable diam
o
nd inclusion of enum
s
a
n
d enum clas
s
e
s
commit
|
commitdiff
|
tree
2021-05-24
Fr
a
n
c
esco Zappa
.
.
.
p
r
event m
e
thods being defined
via
"di
a
mond trait use
"
commit
|
commitdiff
|
tree
2021-05-21
Francesco Zappa
.
.
.
remove --disallow-tr
a
it-reuse f
r
om tests in typecheck/
.
.
.
commit
|
commitdiff
|
tree
2021-05-11
Frances
c
o Zap
p
a
.
.
.
M
e
th
o
ds overr
i
ding <<__SDT>> met
h
ods must be thems
e
lv
e
s
.
.
.
commit
|
commitdiff
|
tree
2021-05-10
Francesco Zapp
a
.
.
.
T66877858
is not a typ
e
hole, move
the test
commit
|
commitdiff
|
tree
2021-05-05
Franc
e
sco Zappa
.
.
.
Relax
<
<_SD
T
>> sta
t
ic method in
t
erfa
c
es
w
hen
che
c
king
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
F
r
an
c
esc
o
Zappa
.
.
.
Top-l
e
vel <<__SoundD
y
nami
c
Call
a
b
le>> functio
n
s
commit
|
commitdiff
|
tree
2021-04-21
Fr
a
ncesco
Z
a
ppa
.
.
.
Relax <<
_
Sou
n
dDynami
c
Callable
>
method in
t
erface
s
when
.
.
.
commit
|
commitdiff
|
tree
2021-04-16
Francesc
o
Zappa
.
.
.
Update <<_
_
SoundDynamicCallable>> wrt in
t
er
f
a
ces
commit
|
commitdiff
|
tree
2021-04-13
Franc
e
sco Za
p
pa
.
.
.
Refine the
d
y
n->dyn method bo
d
y check when t
h
e
arguments
.
.
.
commit
|
commitdiff
|
tree
2021-04-06
F
r
a
nces
c
o Z
a
ppa
.
.
.
r
e
lax the type of $this when checking if a
me
t
ho
d
is
.
.
.
commit
|
commitdiff
|
tree
2021-04-01
Francesco Za
p
pa
.
.
.
make
th
e
dyna
m
i
c retu
r
n t
y
p
e
in
t
he __SoundDy
n
a
micCallable
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
F
r
ance
s
co Zappa
.
.
.
Mo
r
e informative error on
p
r
opertie
s
wrt
s
o
u
n
d dynam
i
c
commit
|
commitdiff
|
tree
2021-03-22
F
r
a
ncesco
Z
appa
.
.
.
Add the <<__Sound
D
ynamicCa
l
lable>> at
t
r
ibute and
r
e
l
ax
.
.
.
commit
|
commitdiff
|
tree
2021-02-16
Fra
n
ce
s
c
o
Zappa
.
.
.
E
n
force Sea
l
ed at
t
ri
b
u
t
es on
e
nums
a
nd en
u
m
clas
s
es
commit
|
commitdiff
|
tree
2021-02-15
F
r
an
c
esco Zappa
.
.
.
u
p
date disas to print the enum_includes clauses
on
.
.
.
commit
|
commitdiff
|
tree
2021-02-15
Francesco Zappa
.
.
.
I
m
prove the error m
e
ssage for the mitigation of S222382
commit
|
commitdiff
|
tree
2021-02-15
Frances
c
o
Zappa
.
.
.
Fix
t
he direct decl parser for enu
m
supertyping
commit
|
commitdiff
|
tree
2021-02-12
F
r
an
c
e
s
c
o
Zappa
.
.
.
track enum
i
nclusion dependencies when
loading
c
lasses
commit
|
commitdiff
|
tree
2021-02-12
Francesco
Zappa
.
.
.
prevent enum inclusion to r
e
ference cl
a
s
s
es
that
hav
e
.
.
.
commit
|
commitdiff
|
tree
2021-02-08
Francesco
Za
p
p
a
.
.
.
Ad
d
--enable-enum-supertyping opt
i
on to
hh_sing
l
e_d
e
cl
commit
|
commitdiff
|
tree
2021-01-26
F
rancesco Zappa
.
.
.
Exp
o
rt enum superty
p
ing
a
nd enum c
l
ass
e
s d
e
pendencies
.
.
.
commit
|
commitdiff
|
tree
2021-01-24
F
r
a
n
cesco Zappa
.
.
.
E
n
u
m Supertyping [ remov
e
UnstableFeat
u
r
e gating
and
.
.
.
commit
|
commitdiff
|
tree
2021-01-21
Fran
c
esco Zappa
.
.
.
Enum Supertyping [ includes
E
-> use E syntax change ]
commit
|
commitdiff
|
tree
2021-01-07
Franc
e
s
c
o Za
p
pa
.
.
.
Well-formedness
che
c
ks for traits and i
n
terfaces
commit
|
commitdiff
|
tree
2020-12-15
Francesco Zappa
.
.
.
En
u
m Supert
y
ping [ 4
.
hbbcc suppor
t
]
commit
|
commitdiff
|
tree
2020-12-14
Francesco
Z
ap
p
a
.
.
.
naive
"
i
mplements dynamic" soundness chec
k
s
commit
|
commitdiff
|
tree
next