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
Sound Dynamic: support subtyping to dynamic when checking overrides
2021-02-04
And
r
e
w Kennedy
Sound
Dynamic:
s
u
p
port subtyping to dynamic when checking
.
.
.
commit
|
commitdiff
|
tree
2021-02-02
Andrew Kennedy
Compare types a
n
d
sub
t
ype pr
o
p when
computi
n
g delta
.
.
.
commit
|
commitdiff
|
tree
2021-01-26
Andrew
Kennedy
Fix memory leak
i
n
Timer
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kennedy
Remove from_class
from ety_e
n
v
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kenne
d
y
Remove fi
n
al
u
se of from_c
l
ass in
c
l
ass_g
e
t
commit
|
commitdiff
|
tree
2021-01-21
Andre
w
Kennedy
Eliminate unnece
s
sary
u
se of from_class
commit
|
commitdiff
|
tree
2021-01-19
Andrew
Ken
n
edy
Fix non-ter
m
inating
c
h
ecking w
i
th inte
r
s
ection t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2021-01-15
And
r
ew Kennedy
Fix non-transi
t
iv
e
subtyping
with generic parameters
.
.
.
commit
|
commitdiff
|
tree
2021-01-07
Andrew Kennedy
Create
s
impler this type
s
commit
|
commitdiff
|
tree
2021-01-06
Andrew
Kenned
y
D
o
n
o
t reject acc
e
s
s
to private methods thro
u
gh a requir
e
.
.
.
commit
|
commitdiff
|
tree
2021-01-04
Andrew
K
en
n
edy
Cle
a
n up ty_compa
r
e to c
o
v
e
r all type el
e
ment
s
commit
|
commitdiff
|
tree
2020-12-18
An
d
rew Kenn
e
dy
Simplify and impr
o
ve type accesses through i
n
tersectio
n
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
And
r
ew Ken
n
edy
Add tele
m
et
r
y to recovery from
breaching hea
p
ca
p
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kennedy
Force all cache flushing and GC
to avoid exi
t
ing w
o
rker
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
An
d
rew Kennedy
Force p
a
rser cache
flush
i
n
g
and GC
to avoid exiting
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kennedy
A
d
d
m
li file fo
r
t
y
ping_check_s
e
rvice
commit
|
commitdiff
|
tree
2020-11-17
Andrew Kennedy
Avoid
a
dding dependencies on hhi defi
n
itions
commit
|
commitdiff
|
tree
2020-11-16
Andrew Kenne
d
y
Treat Forma
t
Stri
n
g as a ne
w
typ
e
commit
|
commitdiff
|
tree
2020-11-15
Andrew
Kenned
y
New func
t
i
o
n ge
t
_cla
s
s
_
or_
t
yped
e
f
commit
|
commitdiff
|
tree
2020-11-12
Andrew Kenne
d
y
Refactor
t
yping_variance
to
u
se Typing_env
.
en
v
commit
|
commitdiff
|
tree
2020-11-11
Andrew
Kenned
y
A
d
d
m
li fi
l
e
for typin
g
_variance
commit
|
commitdiff
|
tree
2020-11-11
Andrew Kennedy
Do not
re
g
ister
d
ependencie
s
w
h
en decl
a
r
ing hints
commit
|
commitdiff
|
tree
2020-11-04
Andrew
Ke
n
nedy
Make Taccess
take just a
single
i
dentifier
n
ot a path
commit
|
commitdiff
|
tree
2020-11-04
Andrew Kennedy
Remove red
u
ndant uses
o
f
C
ls
.
pos
commit
|
commitdiff
|
tree
2020-11-02
Andr
e
w
Kennedy
Remo
v
e redundant calls to Cls
.
tpara
m
s
commit
|
commitdiff
|
tree
2020-11-01
A
n
drew Kennedy
Translate
H
a
c
cess hint into nested
u
sed of Taccess
commit
|
commitdiff
|
tree
2020-10-28
Andrew
K
ennedy
Make T
a
ccess both a locl_ty
and a decl
_
ty
commit
|
commitdiff
|
tree
2020-10-26
A
ndrew Kennedy
Type
c
o
nstan
t
acc
e
ss through intersection
s
and uni
o
ns
commit
|
commitdiff
|
tree
2020-10-22
A
ndrew
K
e
nnedy
Re
m
ove legac
y
arrays
commit
|
commitdiff
|
tree
2020-10-14
An
d
rew Kenned
y
R
e
mo
v
e
r
edundant cal
l
s to st
a
ti
c
_class_i
d
commit
|
commitdiff
|
tree
2020-10-08
Andrew Kennedy
Show upp
e
r bound of dependent typ
e
when pr
e
tty
printing
commit
|
commitdiff
|
tree
2020-09-25
And
r
ew Kennedy
Another
s
imple case of ex
t
racting jus
t
a Tclass
commit
|
commitdiff
|
tree
2020-09-25
A
ndrew Ken
n
edy
Factor out
exhaustive
c
a
se
a
naly
s
is to find Tclass
.
.
.
commit
|
commitdiff
|
tree
2020-09-25
A
n
drew Kennedy
Replace
s
p
eci
a
l casing for shape keys
b
y
s
u
b
type again
s
t
.
.
.
commit
|
commitdiff
|
tree
2020-09-21
Andre
w
Kenne
d
y
For equa
l
i
t
y o
n
de
c
l
t
y
pes do
not
b
e
sensitive to po
s
i
tion
commit
|
commitdiff
|
tree
2020-09-17
An
d
rew
K
enned
y
New configura
t
io
n
setting to set sample rate for typ
e
c
hecking
commit
|
commitdiff
|
tree
2020-09-15
A
n
d
rew
Kenn
e
dy
Tr
e
at
calls through multiple upper
b
o
u
nds as call
t
hrough
.
.
.
commit
|
commitdiff
|
tree
2020-09-09
Andrew Kennedy
Fix b
u
ild break after oxidized reg
e
n
commit
|
commitdiff
|
tree
2020-09-02
Andrew Kennedy
Check w
e
ll-formedness
o
f wh
e
re constraints
o
n m
e
thods
.
.
.
commit
|
commitdiff
|
tree
2020-09-02
Andrew K
e
nn
e
dy
Remo
v
e redundant check for
o
ve
r
riding fi
n
al method
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Andrew Kennedy
B
e
tt
e
r error repor
t
i
n
g for missing types in t
y
pe const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2020-08-27
Andrew Kenne
d
y
Small refac
t
o
r
ing in
overr
i
de
checks
commit
|
commitdiff
|
tree
2020-08-26
Andrew Ke
n
n
e
dy
Taint po
s
i
tion
s
derived from rea
s
o
n
s and report tai
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Andrew Ken
n
edy
Si
m
plify variance che
c
k
s to be ready for
i
nte
r
s
e
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2020-08-14
A
n
drew Ken
n
edy
Produce error for incorrect mo
d
e syntax even
w
he
n
modes
.
.
.
commit
|
commitdiff
|
tree
2020-08-11
Andrew Ken
n
edy
Remove dead
expr
_
h
ook feature
commit
|
commitdiff
|
tree
2020-08-10
An
d
rew Kenned
y
Ali
g
n hea
p
slots on
w
ord instead
o
f ca
c
h
e
line bo
u
ndaries
commit
|
commitdiff
|
tree
2020-08-10
And
r
e
w Kennedy
L
o
g
shared
h
eap
s
tats about total bytes includi
n
g header
.
.
.
commit
|
commitdiff
|
tree
2020-08-05
And
r
ew Ken
n
edy
Avo
i
d some more
c
all
s
to sub
t
ype_method
commit
|
commitdiff
|
tree
2020-08-05
Andrew Kennedy
Avoid redundant
c
alls to subtype_
m
eth
o
d
commit
|
commitdiff
|
tree
2020-08-05
A
nd
r
ew
Kennedy
Change sub
t
ype_me
t
ho
d
_
d
e
c
l
s
o
that it r
e
stores
glo
b
a
l_
t
pen
v
commit
|
commitdiff
|
tree
2020-08-04
Andr
e
w Kennedy
Move check for override attr
i
but
e
into typing
commit
|
commitdiff
|
tree
2020-07-29
Andrew Kenn
e
dy
R
e
j
ect multiple implementation or extension of interfaces
.
.
.
commit
|
commitdiff
|
tree
2020-07-28
A
ndrew K
e
n
n
e
dy
M
o
v
e te
s
ts for yield
statement into o
w
n
directory
commit
|
commitdiff
|
tree
2020-07-28
Andrew Kennedy
Move magic meth
o
ds t
e
sts into their own dire
c
tory
commit
|
commitdiff
|
tree
2020-07-28
Andrew Kenn
e
dy
M
o
ve arra
y
_map and array_f
i
lter tes
t
s into own dir
commit
|
commitdiff
|
tree
2020-07-25
An
d
rew Ken
n
edy
Do
n
ot
report
d
uplicate (bad position) errors
f
or
t
ype
.
.
.
commit
|
commitdiff
|
tree
2020-07-22
An
d
rew Ke
n
nedy
F
ix position for missing
t
y
pe const member o
n
t
y
pe
commit
|
commitdiff
|
tree
2020-07-22
Andrew K
e
nnedy
Renam
e
nastCheck modu
l
e
commit
|
commitdiff
|
tree
2020-07-09
Andrew Kennedy
C
h
eck trait
u
se
for constraint s
a
ti
s
f
ac
t
ion
commit
|
commitdiff
|
tree
2020-07-06
Andrew Kenn
e
dy
Fix unsoundness in
overridi
n
g of
g
eneri
c
method with
.
.
.
commit
|
commitdiff
|
tree
2020-07-02
An
d
r
e
w
Kennedy
Remove
som
e
u
ses o
f
t
he Hashtbl
.
f
i
n
d
A
PI in
d
ec
l
heap
commit
|
commitdiff
|
tree
2020-07-01
Andrew Kennedy
Rem
o
ve r
e
dundant generics from Shapes meth
o
ds
commit
|
commitdiff
|
tree
2020-07-01
A
n
drew Kennedy
Fix
Shapes::remove
K
ey qua
d
ratic
blowu
p
commit
|
commitdiff
|
tree
2020-06-19
Andrew Kennedy
R
e
factor su
b
type_method
commit
|
commitdiff
|
tree
2020-06-19
Andrew Kennedy
Clean up initialization of generic
paramete
r
s and constraints
commit
|
commitdiff
|
tree
2020-06-16
An
d
rew
K
ennedy
Rem
o
ve another use
o
f reason info
commit
|
commitdiff
|
tree
2020-06-13
A
n
drew Kenne
d
y
Remov
e
redundant co
d
e
from loc
a
l
i
ze_
f
t
commit
|
commitdiff
|
tree
2020-06-11
Andr
e
w Ke
n
ne
d
y
Add new
option stdin-name to specify
f
ilename u
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
Andrew Kennedy
Move e
r
ro
r
handling from d
e
cl_
h
int to N
A
ST check
commit
|
commitdiff
|
tree
2020-06-03
Andrew Kennedy
Do not
trigger error
s
and the
n
sil
e
n
c
e
t
hem
w
hen
c
heckin
g
.
.
.
commit
|
commitdiff
|
tree
2020-06-03
And
r
ew Kennedy
A
voi
d
use of get_r
e
ason fo
r
type
c
h
e
cking
commit
|
commitdiff
|
tree
2020-06-01
Andrew Kennedy
Rem
o
ve redundant check for constr
a
int satisfac
t
ion
.
.
.
commit
|
commitdiff
|
tree
2020-05-29
Andrew Kennedy
Recurs
i
ve t
y
pe err
o
rs should no
t
b
e obscured by trivial
.
.
.
commit
|
commitdiff
|
tree
2020-05-28
A
n
drew Ken
n
edy
Detect e
r
rors wi
t
h out-of-defini
t
ion primary p
o
sitions
commit
|
commitdiff
|
tree
2020-05-28
A
ndrew Kennedy
Move
che
c
k for missing
t
ype hi
n
t on clas
s
c
o
ns
t
ants
.
.
.
commit
|
commitdiff
|
tree
2020-05-20
Andrew Ke
n
nedy
F
i
x ba
d
posit
i
on for failure to satisfy
w
here cons
t
r
a
in
t
.
.
.
commit
|
commitdiff
|
tree
2020-05-15
Andr
e
w Ken
n
edy
Rem
o
ve string m
a
tching for hhi
e
xte
n
sion
commit
|
commitdiff
|
tree
2020-05-14
Andrew
K
ennedy
Do not report unbound name errors when expan
d
ing t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2020-05-14
And
r
ew Kennedy
Do not repor
t
duplicate errors f
o
r inherited type constants
commit
|
commitdiff
|
tree
2020-05-12
Andrew Kennedy
F
i
x
ba
d
position b
u
gs in
t
rait usag
e
commit
|
commitdiff
|
tree
2020-05-12
A
n
d
r
ew
K
enned
y
Fix error
f
o
r const overriding so that overriding property
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
And
r
e
w Kennedy
Do
n
ot report duplic
a
te c
y
c
lic de
f
i
nition errors due
.
.
.
commit
|
commitdiff
|
tree
2020-05-07
A
ndrew K
e
nn
e
d
y
Do
not rechec
k
inherited type constants
f
o
r en
f
or
c
eabi
l
i
t
y
commit
|
commitdiff
|
tree
2020-05-05
Andrew Kennedy
B
ad position for error r
e
lating to dynamic property
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
Andrew Kenned
y
Do
n
ot check
w
rong class
w
h
en t
h
er
e
are du
p
licate definition
.
.
.
commit
|
commitdiff
|
tree
2020-04-30
Andrew Ken
n
edy
Fix
ar
r
ay refine
m
ent bug
commit
|
commitdiff
|
tree
2020-04-30
A
n
dr
e
w Kenn
e
dy
Remove
f
t
_arity (part 1)
commit
|
commitdiff
|
tree
2020-04-23
A
n
drew Kennedy
Propagat
e
variance infor
m
a
tion to b
o
u
n
ds o
n
type param
e
t
ers
commit
|
commitdiff
|
tree
2020-04-20
Andre
w
Kennedy
Unify de
c
l and locl
t
ype repres
e
ntation
o
f
arrays
commit
|
commitdiff
|
tree
2020-04-17
Andrew Kennedy
Ad
d
test harness for hh_check
commit
|
commitdiff
|
tree
2020-04-17
An
d
rew Kennedy
Add
t
a
st option to hh_check
commit
|
commitdiff
|
tree
2020-04-14
A
ndrew Kennedy
Replace
F
ellipsis by use o
f
F
v
aria
d
i
c
commit
|
commitdiff
|
tree
2020-04-14
Andre
w
Ke
n
nedy
Small changes t
o
ma
k
e TAST
output co
m
patible
commit
|
commitdiff
|
tree
2020-04-09
An
d
r
ew Kennedy
Avoid redunda
n
t g
e
t_cla
s
s
in expand_typecons
t
commit
|
commitdiff
|
tree
2020-04-09
A
n
d
rew Kennedy
Add definition site position t
o
cyclic typedef er
r
or
commit
|
commitdiff
|
tree
2020-04-09
A
n
dre
w
Kenn
e
dy
Repla
c
e us
e
of bools in
d
e
cl e
l
ement by bitwise fla
g
s
commit
|
commitdiff
|
tree
2020-04-09
Andrew Kennedy
Replace use of bools in pa
r
a
m by
bitwis
e
f
l
ags
commit
|
commitdiff
|
tree
2020-04-07
Andrew Ken
n
e
d
y
Wrap unpack errors using
on_error
commit
|
commitdiff
|
tree
2020-04-07
A
n
d
r
ew
Ken
n
e
dy
I
m
p
l
ement transi
t
i
v
e
in
h
eri
t
anc
e
in subtypi
n
g
commit
|
commitdiff
|
tree
next