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
decls command
2022-08-19
Franc
e
s
co Z
a
ppa
.
.
.
take in
t
o account require class
c
onstra
i
nts when checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2022-07-20
Fr
a
ncesco Za
p
pa
.
.
.
prevent infinite
r
ecursion when acc
e
ssing non-exist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Francesc
o
Zappa
.
.
.
i
f a trait req
u
ire class C, then C must be fi
n
al
commit
|
commitdiff
|
tree
2022-06-29
Fr
a
ncesc
o
Zappa
.
.
.
mark pro
p
er
t
ies as synthesised whe
n
inher
i
ted via a
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
Francesco Zappa
.
.
.
allow like types
to
flow into enforceable
static
properties
commit
|
commitdiff
|
tree
2022-06-14
Fr
a
ncesco Zappa
.
.
.
allow like
t
y
pes to flow into enforceable properti
e
s
commit
|
commitdiff
|
tree
2022-06-08
Francesco Zappa
.
.
.
u
pda
t
e linter for unreachable overridden methods in
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Fra
n
c
e
sco Zappa
.
.
.
.
tgt_pess
_
exp a
n
d
.
tgt_pess_di
s
a
b
led f
i
les for
targeted
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Frances
c
o Zappa
.
.
.
run targete
d
pess
i
m
is
a
t
i
o
n on th
e
typecheck te
s
t suite
commit
|
commitdiff
|
tree
2022-05-30
Francesc
o
Zappa
.
.
.
fix spac
i
ng in error mess
a
ge
commit
|
commitdiff
|
tree
2022-05-30
Francesco
Z
appa
.
.
.
b
an trai
t
s that defines prope
r
ties inherited v
i
a
m
u
l
tiple
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Francesc
o
Z
a
ppa
.
.
.
fix protected method
looku
p
commit
|
commitdiff
|
tree
2022-05-11
Fran
c
esco Zappa
.
.
.
a
more Hack
t
e
s
ts
commit
|
commitdiff
|
tree
2022-05-11
Francesc
o
Zappa
.
.
.
unify repo and file mode pessimisation, a
d
d
an opti
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-04-14
Frances
c
o Zap
p
a
.
.
.
hhvm
supp
o
r
t
for `require clas
s
_;
`
trait
r
equirements
commit
|
commitdiff
|
tree
2022-04-13
F
rancesco Zappa
.
.
.
re
j
e
ct inconsistent `trait T {
re
q
u
i
re class C; require
.
.
.
commit
|
commitdiff
|
tree
2022-04-08
F
r
ancesco
Z
appa
.
.
.
test fo
r
abstr
a
ct
c
l
a
sses
commit
|
commitdiff
|
tree
2022-04-05
Fra
n
cesco Zappa
.
.
.
reject `re
q
uire class C<int>;
`
commit
|
commitdiff
|
tree
2022-04-05
Francesco Zappa
.
.
.
mar
k
ele
m
en
t
s
imported via `re
q
uire class` as synthet
i
c
.
.
.
commit
|
commitdiff
|
tree
2022-03-30
Francesco Za
p
pa
.
.
.
relax the Spliceable t
y
pe if --pessimi
s
e-builtins
commit
|
commitdiff
|
tree
2022-03-29
Francesco Zappa
.
.
.
handle Pai
r
s construction under --pessimis
e
-bui
l
tins
commit
|
commitdiff
|
tree
2022-03-28
Francesco Za
p
pa
.
.
.
H
H
\Enu
m
C
l
ass\Label is subtype
of
d
y
nam
i
c
under dynamic
.
.
.
commit
|
commitdiff
|
tree
2022-03-25
Francesco Za
p
pa
.
.
.
typ
e
checker supp
o
rt for `requir
e
c
l
as
s
`
commit
|
commitdiff
|
tree
2022-03-23
Francesco Zappa
.
.
.
cleanu
p
of pessimisation
test
s
u
i
te
commit
|
commitdiff
|
tree
2022-03-22
Fra
n
cesco Zappa
.
.
.
pu
s
h like types under o
p
tion typ
e
s
commit
|
commitdiff
|
tree
2022-03-21
F
rancesco
Zappa
.
.
.
pe
s
simise hsl hhi fi
l
e
s too
when testing v
a
lidate_pe
s
simisati
o
n
commit
|
commitdiff
|
tree
2022-03-14
Francesco Zap
p
a
.
.
.
update the di
r
e
c
t
decl
par
s
er to parse require class
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
Francesco Zappa
.
.
.
do not c
o
nv
e
rt
"class" into
Node::Name("class")
commit
|
commitdiff
|
tree
2022-03-01
Francesco
Z
appa
.
.
.
parsing
r
equire clas
s
C; trai
t
constraints
commit
|
commitdiff
|
tree
2022-02-25
Francesco
Z
appa
.
.
.
Bac
k
ou
t
"disable
d
iamond trait in
c
lusion
r
elax
e
d checks
"
commit
|
commitdiff
|
tree
2022-02-24
Francesco Zappa
.
.
.
disable d
i
amond trait inc
l
usion re
l
axed che
c
ks
commit
|
commitdiff
|
tree
2022-02-17
Franc
e
sco Zappa
.
.
.
introduce
the `r
e
qu
i
r
e_kind` type in
t
he aast
commit
|
commitdiff
|
tree
2022-02-11
Frances
c
o
Zappa
.
.
.
re
f
inement of open
s
hapes after a
k
e
yExists c
h
eck
commit
|
commitdiff
|
tree
2022-01-24
Francesco
Zappa
.
.
.
disallo
w
di
a
mond impor
t
of traits t
h
a
t
define g
e
neric
.
.
.
commit
|
commitdiff
|
tree
2022-01-17
F
r
ancesco Zap
p
a
.
.
.
en
u
m class and sound d
y
namic/p
e
s
si
m
is
a
tion
commit
|
commitdiff
|
tree
2021-12-27
Fran
c
es
c
o Zappa
.
.
.
add support for --pessimi
s
e_builtins to
hh_expect
commit
|
commitdiff
|
tree
2021-11-30
Franc
e
sco Z
a
pp
a
.
.
.
handle correctly the idx builtin wi
t
h pessi
m
i
s
e
d
hhis
commit
|
commitdiff
|
tree
2021-11-30
Fran
c
esco Za
p
pa
.
.
.
add support for inte
r
esecti
o
n types to Shape
s
::toDict
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
Francesco Zappa
.
.
.
Set
M
e
t
h
odTraitDiamond to Preview Mode - no-op unti
l
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
Fr
a
nc
e
s
co
Za
p
pa
.
.
.
fix handling of --
c
ustom-h
h
i-
p
ath in hh_s
e
rver
commit
|
commitdiff
|
tree
2021-11-18
F
r
ancesco Zappa
.
.
.
r
u
n
sound_dynamic/typing/pessimise_builtins tests with
.
.
.
commit
|
commitdiff
|
tree
2021-11-17
Franc
e
s
co Zappa
.
.
.
Pessimisa
t
i
on of Shapes
.
hhi functions (pessimistic
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
F
r
ancesco Zappa
.
.
.
add --cus
t
om-hhi-p
a
th option to hh_client and
hh_s
e
rver
commit
|
commitdiff
|
tree
2021-11-09
F
r
a
ncesco
Z
appa
.
.
.
do no
t
exp
o
rt th
e
targeted_pessimisati
o
n tes
t
s
commit
|
commitdiff
|
tree
2021-11-09
Francesco Zappa
.
.
.
s
u
pp
o
rt uni
o
n
t
y
pes
in Sha
p
es
.
toArray
commit
|
commitdiff
|
tree
2021-11-04
Fr
a
ncesco Z
a
ppa
.
.
.
add
--respect-sdt
-
attributes option
commit
|
commitdiff
|
tree
2021-11-03
Fra
n
cesco Zappa
.
.
.
Add dune file for tests
i
n the
`
sound
_
d
y
n
amic/typing
.
.
.
commit
|
commitdiff
|
tree
2021-10-30
F
rancesco
Zappa
.
.
.
p
e
s
s
imise hhi passed via --
e
xt
r
a-builtin when
r
unni
n
g
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Francesco Zap
p
a
.
.
.
Enabl
e
diamond import
of fi
n
al m
e
thods via
`u
s
e
`
chai
n
s
commit
|
commitdiff
|
tree
2021-10-21
Francesco Zappa
.
.
.
pessimisation
t
est sui
t
e uses p
e
ssimised hhi files
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Fran
c
e
sco Z
a
p
pa
.
.
.
add
the `--custom-hhi-path` opt
i
on
commit
|
commitdiff
|
tree
2021-10-21
Fra
n
cesco Zapp
a
.
.
.
support the --output optio
n
w
h
en pessimising hhi or
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Fr
a
ncesco Zappa
.
.
.
fix the revi
e
w
.
s
h script to show
the correct `
.
pess
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
F
ra
n
cesco Za
p
pa
.
.
.
make
verify
.
sh scr
i
pt more robus
t
commit
|
commitdiff
|
tree
2021-10-06
F
rancesco Zapp
a
.
.
.
a
dd
a n
e
w test
t
arget
commit
|
commitdiff
|
tree
2021-09-27
Fra
n
cesco Zappa
.
.
.
add the v
a
li
d
at
e
_pe
s
simisati
o
n target
commit
|
commitdiff
|
tree
2021-09-24
Franc
e
sco Zappa
.
.
.
Removing
a
n obsolete <<_
_
R
X
>> attribut
e
in the typecheck
.
.
.
commit
|
commitdiff
|
tree
2021-09-24
Fra
n
cesco Za
p
p
a
.
.
.
fix
the
-
-
i
g
nore-error-te
x
t opti
o
n of
veri
f
y
.
p
y
commit
|
commitdiff
|
tree
2021-09-16
F
r
ancesco
Z
appa
.
.
.
forbid multi
p
le redefiniti
o
ns o
f
constants via tr
a
its
commit
|
commitdiff
|
tree
2021-09-09
Francesco Zappa
.
.
.
add HHVM support
f
o
r
the attrib
u
te __EnableMethodTraitDiamon
.
.
.
commit
|
commitdiff
|
tree
2021-09-09
France
s
co Zappa
.
.
.
Ad
d
a
ttrib
u
te __EnableMet
h
odTraitDi
a
mond
a
n
d make it
.
.
.
commit
|
commitdiff
|
tree
2021-09-06
Francesco
Zappa
.
.
.
diamond inclusion of
traits via use
-
chains
commit
|
commitdiff
|
tree
2021-06-22
F
r
a
ncesco
Z
a
p
pa
.
.
.
E
nable dia
m
ond i
n
c
lusion
of enums and enum
c
l
a
sses
commit
|
commitdiff
|
tree
2021-05-24
Francesco Zapp
a
.
.
.
preven
t
methods being d
e
fined via "di
a
mond
t
ra
i
t
use"
commit
|
commitdiff
|
tree
2021-05-21
Frances
c
o Zappa
.
.
.
remove --disallow-tra
i
t
-
reuse from t
e
s
ts in typeche
c
k
/
.
.
.
commit
|
commitdiff
|
tree
2021-05-11
F
ran
c
esco Zappa
.
.
.
Methods overriding <<
_
_SDT>>
m
ethods must
b
e themselves
.
.
.
commit
|
commitdiff
|
tree
2021-05-10
Fr
a
ncesc
o
Zapp
a
.
.
.
T66877858 is
not a
t
ypeho
l
e, move the te
s
t
commit
|
commitdiff
|
tree
2021-05-05
Franc
e
s
co Zappa
.
.
.
Relax <
<
_SDT>>
static method in
t
erfaces when
c
hecki
n
g
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Fr
a
ncesco Zap
p
a
.
.
.
Top-level <<__Sound
D
ynam
i
cCal
l
able>>
f
unctions
commit
|
commitdiff
|
tree
2021-04-21
Fran
c
esco Zappa
.
.
.
Relax <<
_
SoundDynamicCa
l
lab
l
e
> method int
e
rfaces when
.
.
.
commit
|
commitdiff
|
tree
2021-04-16
Francesco
Z
appa
.
.
.
Up
d
a
te
<<__Sound
D
ynamicCallable>
>
wrt interfaces
commit
|
commitdiff
|
tree
2021-04-13
Frances
c
o
Zappa
.
.
.
Refine the dyn->dyn method
body che
c
k whe
n
the ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2021-04-06
Francesco Za
p
pa
.
.
.
relax
the t
y
pe of $this when checki
n
g if a method is
.
.
.
commit
|
commitdiff
|
tree
2021-04-01
Fr
a
ncesco Za
p
pa
.
.
.
make the dy
n
amic retur
n
type
i
n
the __
S
oundDynamicCallable
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Francesc
o
Z
appa
.
.
.
Mor
e
informative error on properties wrt
s
ound
d
y
namic
commit
|
commitdiff
|
tree
2021-03-22
Francesc
o
Zappa
.
.
.
Add the <<
_
_SoundDynam
i
cCall
a
ble>> attribute and
rela
x
.
.
.
commit
|
commitdiff
|
tree
2021-02-16
Francesco Zappa
.
.
.
Enfor
c
e Sealed attribut
e
s on enums and
e
num classes
commit
|
commitdiff
|
tree
2021-02-15
Frances
c
o Zappa
.
.
.
update disas to print
t
he enum_inclu
d
es cl
a
u
s
es
o
n
.
.
.
commit
|
commitdiff
|
tree
2021-02-15
Francesco Zappa
.
.
.
Improve
the
error message for
the mitigation o
f
S22
2
382
commit
|
commitdiff
|
tree
2021-02-15
Frances
c
o Zappa
.
.
.
Fix the direct
d
ecl parse
r
for
en
u
m
supertyping
commit
|
commitdiff
|
tree
2021-02-12
Francesco
Z
a
p
pa
.
.
.
track enum inclusion de
p
endencies when lo
a
ding classes
commit
|
commitdiff
|
tree
2021-02-12
F
ra
n
cesco Zappa
.
.
.
pr
e
vent enum i
n
cl
u
sion to
r
eference classes that have
.
.
.
commit
|
commitdiff
|
tree
2021-02-08
Francesco Zappa
.
.
.
Add --enabl
e
-e
n
um
-
supertyping option to hh_si
n
gle_decl
commit
|
commitdiff
|
tree
2021-01-26
Francesco Zappa
.
.
.
Export enum supertyping and e
n
um
classe
s
dependencies
.
.
.
commit
|
commitdiff
|
tree
2021-01-24
F
rancesco
Zappa
.
.
.
Enum Supertyp
i
ng
[ re
m
o
ve Unstabl
e
Feature gating and
.
.
.
commit
|
commitdiff
|
tree
2021-01-21
Fr
a
ncesco Zappa
.
.
.
Enum S
u
pe
r
typ
i
ng
[ includes E -> use E synt
a
x chang
e
]
commit
|
commitdiff
|
tree
2021-01-07
F
r
ancesco Zappa
.
.
.
Well-formedness checks for traits and interfaces
commit
|
commitdiff
|
tree
2020-12-15
Frances
c
o Zappa
.
.
.
En
u
m Supertypi
n
g [ 4
.
hbbcc support ]
commit
|
commitdiff
|
tree
2020-12-14
Francesco Zappa
.
.
.
n
a
ive "implements dy
n
amic"
s
oundness che
c
k
s
commit
|
commitdiff
|
tree
2020-11-09
F
r
a
ncesco Zap
p
a
.
.
.
make enum inclu
s
ion not to affect sub
t
ypi
n
g
commit
|
commitdiff
|
tree
2020-10-15
Frances
c
o
Zappa
.
.
.
En
u
m
S
upertyping [
2
.
Com
p
i
l
ation and run
t
ime (extra
.
.
.
commit
|
commitdiff
|
tree
2020-10-14
Fran
c
esco Zappa
.
.
.
En
u
m
S
up
e
rty
p
ing [ 2
.
Compilation and runtime (hackc
.
.
.
commit
|
commitdiff
|
tree
2020-09-18
F
rancesco
Z
appa
.
.
.
Enum S
u
p
ert
y
ping [ 3
.
Typechec
k
ing ]
commit
|
commitdiff
|
tree
2020-09-04
France
s
co Zappa
.
.
.
Enum
Supertyping [ 1
.
Parsing ]
commit
|
commitdiff
|
tree
2020-06-17
France
s
co Zappa
.
.
.
compilation of PU i
n
traits: members
commit
|
commitdiff
|
tree
2020-06-16
France
s
co Zap
p
a
.
.
.
c
o
m
p
ilation of PU in trai
t
s: accessors
commit
|
commitdiff
|
tree
2020-05-15
F
rancesco Zappa
.
.
.
fix
spelling o
f
.
h
hco
n
fig option in error message
commit
|
commitdiff
|
tree
2020-05-06
F
rances
c
o Zappa
.
.
.
Usi
n
g PU syntax is only allowed in
t
he d
i
rectori
e
s
.
.
.
commit
|
commitdiff
|
tree
2020-04-20
F
r
a
nce
s
co Zappa
.
.
.
m
e
m
oize access
o
rs methods
commit
|
commitdiff
|
tree
2020-04-01
France
s
co Zappa
.
.
.
Make the dupli
c
a
t
e u
s
e
o
f a
tr
a
it in
a class
an error
commit
|
commitdiff
|
tree
next