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
add substitution type to carry allocator
2022-02-11
Fran
c
esc
o
Z
a
pp
a
.
.
.
refinement of open
shapes
after
a
keyExists
check
commit
|
commitdiff
|
tree
2022-01-24
Francesco Zappa
.
.
.
disallow diam
o
nd
import
o
f
traits th
a
t define generic
.
.
.
commit
|
commitdiff
|
tree
2022-01-17
Frances
c
o Zappa
.
.
.
enum
c
lass and sound dy
n
a
mic/pessimisat
i
on
commit
|
commitdiff
|
tree
2021-12-27
France
s
c
o Zappa
.
.
.
a
d
d
su
p
port fo
r
--pessimise_builtins to hh_expect
commit
|
commitdiff
|
tree
2021-11-30
France
s
co Zappa
.
.
.
handle
c
o
r
r
e
ctly
the idx bu
i
lt
i
n with pessimised hhis
commit
|
commitdiff
|
tree
2021-11-30
F
r
ancesco Zappa
.
.
.
add
su
p
po
r
t for
i
n
teres
e
c
tion types to Shapes::toDi
c
t
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
F
r
ancesco Zappa
.
.
.
Set M
e
t
h
o
d
T
r
aitDiamond t
o
Previe
w
Mode
-
no-o
p
unti
l
.
.
.
commit
|
commitdiff
|
tree
2021-11-26
Francesco Zappa
.
.
.
fix
h
a
n
d
l
i
ng of
--custom
-
h
h
i-path i
n
hh_server
commit
|
commitdiff
|
tree
2021-11-18
Francesco Zappa
.
.
.
run sound
_
dynamic/typing/pessimise_bui
l
tins tests
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2021-11-17
Francesco
Zappa
.
.
.
Pess
i
mi
s
ation of
Sha
p
es
.
h
h
i functions (pessimi
s
tic
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
F
r
ancesco Zappa
.
.
.
add --cust
o
m
-
hhi
-
path option to hh_
c
lie
n
t and hh_server
commit
|
commitdiff
|
tree
2021-11-09
Francesco Zap
p
a
.
.
.
do not export the targeted_p
e
ssimisat
i
on test
s
commit
|
commitdiff
|
tree
2021-11-09
Francesco Zappa
.
.
.
s
u
p
port union t
y
pe
s
in Shapes
.
toArray
commit
|
commitdiff
|
tree
2021-11-04
Francesco Zappa
.
.
.
add --respect-sdt-a
t
tributes op
t
ion
commit
|
commitdiff
|
tree
2021-11-03
Francesco Zappa
.
.
.
Add
dune fi
l
e
f
or tests in the `sound_dynami
c
/typing
.
.
.
commit
|
commitdiff
|
tree
2021-10-30
Francesco Zappa
.
.
.
pes
s
im
i
s
e
hhi p
a
s
s
ed via --extra-builtin
w
hen run
n
ing
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Fra
n
ce
s
co Zappa
.
.
.
Enable di
a
mond import of fin
a
l methods
v
i
a
`use`
chain
s
commit
|
commitdiff
|
tree
2021-10-21
France
s
co Z
a
ppa
.
.
.
pessimi
s
a
t
ion
t
est suite
u
ses pessimised hhi files
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
F
rancesco Zappa
.
.
.
add th
e
`--custom-
h
hi
-
path
`
option
commit
|
commitdiff
|
tree
2021-10-21
Francesco Zappa
.
.
.
su
p
port the --outpu
t
option when
p
e
ssimising h
h
i or
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Franc
e
sco Zappa
.
.
.
fix the revi
e
w
.
sh scr
i
pt t
o
show
t
he correct `
.
pes
s
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Fr
a
n
c
esco Zappa
.
.
.
m
a
ke ver
i
fy
.
sh script
m
ore robust
commit
|
commitdiff
|
tree
2021-10-06
France
s
c
o Zappa
.
.
.
add a new te
s
t target
commit
|
commitdiff
|
tree
2021-09-27
Frances
c
o Zappa
.
.
.
add the
val
i
d
at
e
_pessimisation
t
arget
commit
|
commitdiff
|
tree
2021-09-24
Francesco
Z
app
a
.
.
.
Rem
o
ving an obsolete <
<
__RX>> attribute in the type
c
heck
.
.
.
commit
|
commitdiff
|
tree
2021-09-24
Francesc
o
Z
a
p
p
a
.
.
.
fi
x
the --ign
o
re-erro
r
-text option of v
e
rify
.
py
commit
|
commitdiff
|
tree
2021-09-16
F
r
a
n
c
e
sc
o
Z
a
p
pa
.
.
.
forb
i
d
multiple redefiniti
o
ns of constants via
traits
commit
|
commitdiff
|
tree
2021-09-09
Francesco Zappa
.
.
.
a
dd HHVM suppor
t
for th
e
a
ttribute __Ena
b
l
e
MethodTr
a
i
t
Diamon
.
.
.
commit
|
commitdiff
|
tree
2021-09-09
Fran
c
esco Za
p
p
a
.
.
.
A
dd attribu
t
e __
E
nableMe
t
h
o
dTra
i
tDi
a
mond and make it
.
.
.
commit
|
commitdiff
|
tree
2021-09-06
Francesco Za
p
pa
.
.
.
diamond
inclusion of
t
raits
v
ia use-c
h
ains
commit
|
commitdiff
|
tree
2021-06-22
Frances
c
o Zappa
.
.
.
Enable di
a
mond inclusion of
enums and enum classes
commit
|
commitdiff
|
tree
2021-05-24
F
rancesco
Z
app
a
.
.
.
prevent methods being defined via "diamond
trait use"
commit
|
commitdiff
|
tree
2021-05-21
Fra
n
cesco Zappa
.
.
.
r
emove --disallow-t
r
ait-reuse from
t
es
t
s in
t
ypecheck/
.
.
.
commit
|
commitdiff
|
tree
2021-05-11
Fr
a
ncesco Zappa
.
.
.
Meth
o
ds o
v
erridin
g
<
<
_
_SDT>> me
t
hods must be themselves
.
.
.
commit
|
commitdiff
|
tree
2021-05-10
Fran
c
e
sco Zap
p
a
.
.
.
T66877858 is
not a ty
p
e
h
o
le, m
o
ve the test
commit
|
commitdiff
|
tree
2021-05-05
Francesco
Z
ap
p
a
.
.
.
Relax <<_SDT>> s
t
atic meth
o
d inter
f
aces when checking
.
.
.
commit
|
commitdiff
|
tree
2021-04-28
F
rancesco
Z
appa
.
.
.
Top-level <<__S
o
undDynamicCallable>> fu
n
ctions
commit
|
commitdiff
|
tree
2021-04-21
Fra
n
ces
c
o Zappa
.
.
.
Relax <<_So
u
ndD
y
namicC
a
lla
b
le> method interfaces when
.
.
.
commit
|
commitdiff
|
tree
2021-04-16
F
rancesco Zappa
.
.
.
Update <<__SoundDynam
i
cCallable>> wrt i
n
terfaces
commit
|
commitdiff
|
tree
2021-04-13
Francesco
Zappa
.
.
.
Refine the dyn->dy
n
m
eth
o
d body ch
e
ck
w
hen the
a
r
guments
.
.
.
commit
|
commitdiff
|
tree
2021-04-06
Fr
a
nce
s
co Zappa
.
.
.
rel
a
x the type
of $this when
chec
k
ing if a
m
e
tho
d
i
s
.
.
.
commit
|
commitdiff
|
tree
2021-04-01
France
s
c
o
Z
a
ppa
.
.
.
mak
e
the dynamic
r
eturn ty
p
e in the __SoundDynamicCallabl
e
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Fr
a
nc
e
sco Zappa
.
.
.
More informat
i
ve error on pr
o
perties wrt sou
n
d dynami
c
commit
|
commitdiff
|
tree
2021-03-22
France
s
co Zappa
.
.
.
Add the <<__SoundDynamic
C
al
l
able>> attribute and relax
.
.
.
commit
|
commitdiff
|
tree
2021-02-16
F
r
ancesco Zappa
.
.
.
Enforce Seal
e
d att
r
ib
u
tes on enums and enum cla
s
ses
commit
|
commitdiff
|
tree
2021-02-15
Francesco Zappa
.
.
.
update di
s
a
s
to
p
rint t
h
e e
n
u
m
_
in
c
ludes clauses on
.
.
.
commit
|
commitdiff
|
tree
2021-02-15
F
rancesco Zappa
.
.
.
Improve the error message
fo
r
the mitigation o
f
S
2
22382
commit
|
commitdiff
|
tree
2021-02-15
Francesc
o
Zappa
.
.
.
Fix the
direct decl parser
f
or
enum supertyping
commit
|
commitdiff
|
tree
2021-02-12
Francesco Zappa
.
.
.
trac
k
enum inclusion dependenci
e
s
w
hen loadi
n
g c
l
asses
commit
|
commitdiff
|
tree
2021-02-12
Fr
a
ncesco Zappa
.
.
.
pre
v
e
n
t
enum inclusion
t
o re
f
eren
c
e classes that have
.
.
.
commit
|
commitdiff
|
tree
2021-02-08
Frances
c
o Zappa
.
.
.
Add --en
a
b
l
e-enum-supertyping
option to hh_single_decl
commit
|
commitdiff
|
tree
2021-01-26
F
rancesco
Zappa
.
.
.
Export enum
s
upertyping and enum classes dependencie
s
.
.
.
commit
|
commitdiff
|
tree
2021-01-24
Francesco Z
a
ppa
.
.
.
Enu
m
Supertyping [
r
emove Unstabl
e
Featur
e
g
a
tin
g
and
.
.
.
commit
|
commitdiff
|
tree
2021-01-21
Franc
e
sco Zappa
.
.
.
Enum Sup
e
r
t
ypi
n
g [ includes
E -> use E syntax
chan
g
e ]
commit
|
commitdiff
|
tree
2021-01-07
Francesco
Z
appa
.
.
.
Well-form
e
dness che
c
k
s
for traits
a
n
d in
t
e
r
faces
commit
|
commitdiff
|
tree
2020-12-15
Francesco Za
p
p
a
.
.
.
Enum
S
u
p
ertyping [
4
.
h
bbcc sup
p
ort
]
commit
|
commitdiff
|
tree
2020-12-14
Fran
c
esco Za
p
pa
.
.
.
naive "implements dyn
a
mic" sou
n
dness checks
commit
|
commitdiff
|
tree
2020-11-09
Fr
a
ncesco Z
a
ppa
.
.
.
make enum inclusion not
to affect subty
p
ing
commit
|
commitdiff
|
tree
2020-10-15
Fra
n
cesco Za
p
pa
.
.
.
Enum Sup
e
rtyping [ 2
.
Compilation and runtime (extra
.
.
.
commit
|
commitdiff
|
tree
2020-10-14
Francesco Zappa
.
.
.
E
num Supertyping [ 2
.
Compil
a
t
i
on and runti
m
e
(hackc
.
.
.
commit
|
commitdiff
|
tree
2020-09-18
Francesco Z
a
p
pa
.
.
.
Enum Supe
r
typing
[
3
.
Typ
e
checking ]
commit
|
commitdiff
|
tree
2020-09-04
Francesco Za
p
pa
.
.
.
Enum Su
p
ertyping [ 1
.
P
a
rsing ]
commit
|
commitdiff
|
tree
2020-06-17
F
rancesco
Z
a
p
pa
.
.
.
compilation
of PU in traits: members
commit
|
commitdiff
|
tree
2020-06-16
France
s
co Za
p
pa
.
.
.
c
o
mpilatio
n
o
f
PU in trai
t
s:
accessor
s
commit
|
commitdiff
|
tree
2020-05-15
Frances
c
o Zap
p
a
.
.
.
fix spelling of
.
hhco
n
fig opt
i
on in error
m
essag
e
commit
|
commitdiff
|
tree
2020-05-06
Francesc
o
Zappa
.
.
.
Using
P
U syntax is only
a
l
l
owed in
t
h
e
direct
o
r
ies
.
.
.
commit
|
commitdiff
|
tree
2020-04-20
Francesco Zappa
.
.
.
memoize ac
c
essors
m
e
th
o
d
s
commit
|
commitdiff
|
tree
2020-04-01
Francesco Za
p
pa
.
.
.
Mak
e
the d
u
plicat
e
us
e
of a trait in a class an e
r
ro
r
commit
|
commitdiff
|
tree
2020-04-01
F
r
ancesco Zappa
.
.
.
M
e
mb
e
r
s func
t
i
o
ns should return
a
v
e
c<string>, not
.
.
.
commit
|
commitdiff
|
tree