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
Updating submodules
2022-09-09
France
s
co
Z
appa
.
.
.
do not s
y
s
t
ematically initialiser
code
f
or prope
r
ties
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
Francesco
Z
appa
.
.
.
require
c
l
ass constraints should
not imply subtype
commit
|
commitdiff
|
tree
2022-08-30
Fran
c
esco Zap
p
a
.
.
.
sy
s
t
ematically remove the `--e
x
tra-bu
i
l
tins` pessimised
.
.
.
commit
|
commitdiff
|
tree
2022-08-29
Francesco Zappa
.
.
.
handle
o
verri
d
ing of concrete
t
ype constants by require
.
.
.
commit
|
commitdiff
|
tree
2022-08-19
Francesco Zap
p
a
.
.
.
take into
account require
class constraints w
h
en
checking
.
.
.
commit
|
commitdiff
|
tree
2022-07-20
Francesco Za
p
pa
.
.
.
prevent infinite recursion wh
e
n accessing non-existent
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Fr
a
nces
c
o Zappa
.
.
.
if a trait require class C,
t
hen C must be final
commit
|
commitdiff
|
tree
2022-06-29
Francesco
Z
appa
.
.
.
mark properties as synthesised when inherited
v
i
a
a
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
F
r
ancesco Za
p
pa
.
.
.
a
l
low like types to flow
into enf
o
rceable static properti
e
s
commit
|
commitdiff
|
tree
2022-06-14
France
s
co Zappa
.
.
.
allo
w
like types to flow into enforceabl
e
prope
r
t
i
e
s
commit
|
commitdiff
|
tree
2022-06-08
F
r
a
ncesco
Z
appa
.
.
.
update l
i
n
t
e
r for
unreachable overridden methods in
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Fra
n
cesco Za
p
pa
.
.
.
.
tgt_pess_exp
and
.
tgt_pess_disab
l
ed
files for ta
r
geted
.
.
.
commit
|
commitdiff
|
tree
2022-06-01
Francesco Za
p
p
a
.
.
.
run targeted p
e
ss
i
misatio
n
on the
t
y
p
echeck t
e
st suite
commit
|
commitdiff
|
tree
2022-05-30
Francesco Zapp
a
.
.
.
f
ix spacing in error
m
essage
commit
|
commitdiff
|
tree
2022-05-30
Francesco Zappa
.
.
.
ban traits that defines
pro
p
erties i
n
herited via multiple
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Francesco
Z
appa
.
.
.
fix prote
c
te
d
method lookup
commit
|
commitdiff
|
tree
2022-05-11
Francesco Zappa
.
.
.
a more Hack tests
commit
|
commitdiff
|
tree
2022-05-11
Franc
e
sco Z
a
ppa
.
.
.
u
nify repo and fi
l
e mode pessimisation
,
add
a
n option
.
.
.
commit
|
commitdiff
|
tree
2022-04-14
F
r
anc
e
sco Zappa
.
.
.
hhvm support for `requ
i
re class _;` tra
i
t
requ
i
r
ements
commit
|
commitdiff
|
tree
2022-04-13
Francesco Za
p
pa
.
.
.
reje
c
t
i
n
c
o
nsist
e
nt `
t
rait T
{
re
q
u
i
re class C; r
e
qui
r
e
.
.
.
commit
|
commitdiff
|
tree
2022-04-08
F
r
a
ncesco Z
a
ppa
.
.
.
test for
abstract classe
s
commit
|
commitdiff
|
tree
2022-04-05
Fra
n
c
esc
o
Zappa
.
.
.
reject `require c
l
a
s
s C<in
t
>;`
commit
|
commitdiff
|
tree
2022-04-05
Francesco Zap
p
a
.
.
.
mark
e
lements im
p
orte
d
via `req
u
ire class` as
synthe
t
ic
.
.
.
commit
|
commitdiff
|
tree
2022-03-30
Fr
a
n
c
esco Zappa
.
.
.
relax th
e
Spliceable
t
ype if --pes
s
imise-builtins
commit
|
commitdiff
|
tree
2022-03-29
Francesco
Za
p
pa
.
.
.
handle Pa
i
rs
c
onstr
u
ction under --pessimise-b
u
ilt
i
ns
commit
|
commitdiff
|
tree
2022-03-28
Francesco Zappa
.
.
.
HH\EnumClass\Label is subtype
o
f
dynamic
unde
r
dynamic
.
.
.
commit
|
commitdiff
|
tree
2022-03-25
F
r
a
n
c
esco Za
p
pa
.
.
.
typechecker
s
u
ppo
r
t fo
r
`require class
`
commit
|
commitdiff
|
tree
2022-03-23
F
rancesco
Zappa
.
.
.
c
l
e
a
nup of pessimisation test suite
commit
|
commitdiff
|
tree
2022-03-22
F
r
ances
c
o Zappa
.
.
.
push like types under optio
n
types
commit
|
commitdiff
|
tree
2022-03-21
Francesco
Z
ap
p
a
.
.
.
p
e
ss
i
mise
hsl hhi fi
l
es
too when testi
n
g validate_pessimisation
commit
|
commitdiff
|
tree
2022-03-14
Francesco Zappa
.
.
.
u
pdate the d
i
rect decl parser
t
o
parse require
class
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
France
s
co Zappa
.
.
.
do not c
o
n
v
ert
"
cla
s
s" into Node::
N
ame("clas
s
")
commit
|
commitdiff
|
tree
2022-03-01
Franc
e
sco Zappa
.
.
.
parsing require class C; trait c
o
nstraints
commit
|
commitdiff
|
tree
2022-02-25
Francesco Zappa
.
.
.
Back
o
ut
"
disable
d
iamond trait
incl
u
s
i
o
n
relaxed
che
c
ks"
commit
|
commitdiff
|
tree
2022-02-24
F
r
a
n
cesc
o
Zappa
.
.
.
di
s
able diamond trait inclusion rel
a
x
ed checks
commit
|
commitdiff
|
tree
2022-02-17
Fra
n
c
e
sco Zapp
a
.
.
.
i
n
troduce the `require
_
k
i
nd
`
type in the aast
commit
|
commitdiff
|
tree
2022-02-11
Fr
a
n
ce
s
co Zap
p
a
.
.
.
refinement of open shapes a
f
ter a keyExists check
commit
|
commitdiff
|
tree
2022-01-24
Francesco
Z
appa
.
.
.
di
s
allow di
a
m
o
n
d
import of
trai
t
s th
a
t de
f
ine
generi
c
.
.
.
commit
|
commitdiff
|
tree
2022-01-17
F
r
a
ncesco Zappa
.
.
.
en
u
m class and sound
dy
n
amic/pessimisation
commit
|
commitdiff
|
tree
2021-12-27
Francesco Z
a
ppa
.
.
.
add support for --pessim
i
se_builtins to h
h
_expect
commit
|
commitdiff
|
tree
2021-11-30
Francesco
Z
a
p
p
a
.
.
.
handle correctly t
h
e idx builtin with pessimised hhis
commit
|
commitdiff
|
tree
2021-11-30
Fr
a
n
cesco Z
a
ppa
.
.
.
ad
d
support for interesection
t
ypes to Shape
s
::toDict
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
Francesco Za
p
pa
.
.
.
S
et MethodTraitDiamond to
Preview Mode - no-
o
p until
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
Fra
n
cesco Zappa
.
.
.
fix handling of --cu
s
tom-hh
i
-pa
t
h in hh_server
commit
|
commitdiff
|
tree
2021-11-18
Fr
a
ncesco Zappa
.
.
.
run sound
_
dynamic/typin
g
/
pessimi
s
e_builtins tes
t
s with
.
.
.
commit
|
commitdiff
|
tree
2021-11-17
Francesco Zappa
.
.
.
Pess
i
misation of Shapes
.
hhi func
t
ions (pessimistic
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
F
r
ancesco Zappa
.
.
.
add --c
u
stom-
h
hi-path o
p
tion to
h
h
_
client and hh_server
commit
|
commitdiff
|
tree
2021-11-09
Francesco Za
p
pa
.
.
.
do n
o
t export
t
h
e
t
a
r
g
eted_pessimisation
t
ests
commit
|
commitdiff
|
tree
2021-11-09
Francesco Zappa
.
.
.
sup
p
ort union types in S
h
apes
.
toArray
commit
|
commitdiff
|
tree
2021-11-04
F
r
an
c
esco Zappa
.
.
.
add --resp
e
ct-sdt-attributes option
commit
|
commitdiff
|
tree
2021-11-03
F
rancesco
Z
appa
.
.
.
Add dune file for tests in
t
he `so
u
nd_dynamic/
t
ypi
n
g
.
.
.
commit
|
commitdiff
|
tree
2021-10-30
F
r
a
nce
s
co Zappa
.
.
.
pessimise hhi p
a
ssed via -
-
extra
-
builtin when running
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Francesco Zappa
.
.
.
Enabl
e
di
a
mond import
of final methods via `
u
se` chains
commit
|
commitdiff
|
tree
2021-10-21
Francesco Zap
p
a
.
.
.
pessimisatio
n
test suite uses pe
s
simised hhi files
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
F
rancesco
Z
appa
.
.
.
add the `--cust
o
m
-
hhi-pa
t
h` opti
o
n
commit
|
commitdiff
|
tree
2021-10-21
Francesco Zappa
.
.
.
suppor
t
the --output op
t
ion when pessimising
hhi or
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Frances
c
o Zappa
.
.
.
fix the
r
eview
.
sh script to show
the correct
`
.
pess
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Francesco
Zappa
.
.
.
m
a
ke
v
erify
.
sh
script more robu
s
t
commit
|
commitdiff
|
tree
2021-10-06
Fra
n
cesc
o
Z
a
ppa
.
.
.
add a
new
t
est tar
g
et
commit
|
commitdiff
|
tree
2021-09-27
Francesco Z
a
ppa
.
.
.
add the va
l
idat
e
_pessimisation
t
arget
commit
|
commitdiff
|
tree
2021-09-24
Fr
a
ncesco Zappa
.
.
.
R
emoving an obso
l
et
e
<<__RX>> attribute in the typecheck
.
.
.
commit
|
commitdiff
|
tree
2021-09-24
F
rancesco Zappa
.
.
.
fix the -
-
ignore-er
r
o
r
-text option of verify
.
py
commit
|
commitdiff
|
tree
2021-09-16
Francesco Zap
p
a
.
.
.
forbi
d
multiple
redefinitions of con
s
tants v
i
a
trai
t
s
commit
|
commitdiff
|
tree
2021-09-09
F
ra
n
cesco
Z
appa
.
.
.
add HHVM supp
o
rt
for the attribute __EnableMe
t
hodTraitDiamon
.
.
.
commit
|
commitdiff
|
tree
2021-09-09
Francesco Zappa
.
.
.
Ad
d
at
t
ribute _
_
E
n
ableMethodTraitDiamo
n
d and make it
.
.
.
commit
|
commitdiff
|
tree
2021-09-06
Fra
n
cesco
Z
appa
.
.
.
di
a
mo
n
d
i
nclusion
o
f traits via use-cha
i
ns
commit
|
commitdiff
|
tree
2021-06-22
Frances
c
o Zap
p
a
.
.
.
Enabl
e
diamond
i
n
cl
u
sion of enums and enum cla
s
s
es
commit
|
commitdiff
|
tree
2021-05-24
Francesco Za
p
pa
.
.
.
prevent methods being d
e
fin
e
d via
"
diamo
n
d tr
a
i
t
use"
commit
|
commitdiff
|
tree
2021-05-21
F
rancesco Zappa
.
.
.
remove --disa
l
low-trait-reu
s
e from
t
ests in
t
y
pecheck/
.
.
.
commit
|
commitdiff
|
tree
2021-05-11
Francesco Zappa
.
.
.
M
ethods ove
r
ridi
n
g <<__SDT>> method
s
m
u
st be themselves
.
.
.
commit
|
commitdiff
|
tree
2021-05-10
Francesco Zappa
.
.
.
T66877858 is not
a typeh
o
le, move the test
commit
|
commitdiff
|
tree
2021-05-05
Fra
n
ce
s
co
Za
p
p
a
.
.
.
Re
l
a
x
<
<_
S
D
T>> s
t
at
i
c
m
etho
d
inte
r
f
ace
s
w
h
e
n chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
Fran
c
esco Zappa
.
.
.
T
o
p
-level <<__SoundDynamicCallable>> functions
commit
|
commitdiff
|
tree
2021-04-21
Francesco Zappa
.
.
.
Relax
<<_Sou
n
dDynamicCall
a
ble> method interfaces when
.
.
.
commit
|
commitdiff
|
tree
2021-04-16
Francesco Zappa
.
.
.
Upd
a
te <<__Soun
d
Dy
n
amicCall
a
b
le>>
wrt interfaces
commit
|
commitdiff
|
tree
2021-04-13
France
s
co Zappa
.
.
.
Refine the dyn->dyn
m
eth
o
d body check w
h
e
n
the arguments
.
.
.
commit
|
commitdiff
|
tree
2021-04-06
Francesco Zappa
.
.
.
re
l
ax the type of
$
this when che
c
ki
n
g if a method is
.
.
.
commit
|
commitdiff
|
tree
2021-04-01
Francesco Zap
p
a
.
.
.
m
a
k
e the dynamic retu
r
n type i
n
the _
_
S
o
und
D
y
n
amicC
a
l
l
able
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Francesco Zappa
.
.
.
M
o
r
e
i
nformative
e
rror on properties w
r
t sound dynamic
commit
|
commitdiff
|
tree
2021-03-22
Fr
a
ncesco Zappa
.
.
.
Ad
d
the <<_
_
SoundDynamicC
a
llabl
e
>> attr
i
b
u
t
e
and
relax
.
.
.
commit
|
commitdiff
|
tree
2021-02-16
Fr
a
ncesco
Z
appa
.
.
.
Enforce Sealed attrib
u
te
s
o
n
enu
m
s and e
n
um clas
s
es
commit
|
commitdiff
|
tree
2021-02-15
Francesco Zap
p
a
.
.
.
upda
t
e
disas
t
o print t
h
e enum_includes clauses
o
n
.
.
.
commit
|
commitdiff
|
tree
2021-02-15
F
rancesco
Zappa
.
.
.
Improve the error
m
essage for the mitigation of S2
2
2382
commit
|
commitdiff
|
tree
2021-02-15
Franc
e
s
c
o Za
p
pa
.
.
.
Fi
x
the
d
i
r
ect decl pars
e
r
f
or enu
m
sup
e
rt
y
ping
commit
|
commitdiff
|
tree
2021-02-12
Frances
c
o Zappa
.
.
.
tr
a
c
k
enum inclu
s
ion depen
d
enci
e
s wh
e
n
lo
a
d
ing classe
s
commit
|
commitdiff
|
tree
2021-02-12
Fran
c
esco
Zappa
.
.
.
prevent enum inclusion
to reference
c
l
a
sses that have
.
.
.
commit
|
commitdiff
|
tree
2021-02-08
Frances
c
o Zappa
.
.
.
A
dd --
e
nable-
e
n
um-supertyping
o
ption to hh_si
n
gle_decl
commit
|
commitdiff
|
tree
2021-01-26
Francesco Zappa
.
.
.
Export enum superty
p
ing
a
n
d
enu
m
classes dependencie
s
.
.
.
commit
|
commitdiff
|
tree
2021-01-24
F
r
a
n
cesco Zappa
.
.
.
Enum
S
uper
t
yp
i
ng [ re
m
ove Unstable
F
eature
g
ating and
.
.
.
commit
|
commitdiff
|
tree
2021-01-21
F
r
ancesco Zappa
.
.
.
Enum Supertyping [ includes
E -> use E syntax change ]
commit
|
commitdiff
|
tree
2021-01-07
F
r
a
n
c
esco
Z
app
a
.
.
.
W
ell-
f
o
rmedness che
c
ks for traits
and int
e
r
f
aces
commit
|
commitdiff
|
tree
2020-12-15
Fran
c
e
s
c
o Zappa
.
.
.
Enum Su
p
ertyping
[
4
.
hbb
c
c support ]
commit
|
commitdiff
|
tree
2020-12-14
Franc
e
sco
Z
appa
.
.
.
na
i
v
e "imple
m
ents dy
n
amic" soundness checks
commit
|
commitdiff
|
tree
2020-11-09
Franc
e
s
c
o Zapp
a
.
.
.
ma
k
e en
u
m
inclu
s
ion not to affect
s
u
btyping
commit
|
commitdiff
|
tree
2020-10-15
Francesco Zap
p
a
.
.
.
Enum Supertypin
g
[
2
.
Compilation and runti
m
e (ext
r
a
.
.
.
commit
|
commitdiff
|
tree
2020-10-14
Fr
a
ncesco Zappa
.
.
.
Enum Supertyping [ 2
.
Com
p
ilation
and ru
n
time (hack
c
.
.
.
commit
|
commitdiff
|
tree
2020-09-18
Francesco Zappa
.
.
.
Enum
Supertyping [ 3
.
Typech
e
c
k
ing ]
commit
|
commitdiff
|
tree
2020-09-04
Fran
c
es
c
o Zappa
.
.
.
Enum Superty
p
ing [ 1
.
Parsing ]
commit
|
commitdiff
|
tree
2020-06-17
Franc
e
sco
Z
a
p
pa
.
.
.
compi
l
a
tion of PU in tr
a
its: members
commit
|
commitdiff
|
tree
2020-06-16
Francesco Zappa
.
.
.
c
ompi
l
atio
n
of PU in tr
a
its:
accessors
commit
|
commitdiff
|
tree
next