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
Simplify and improve type accesses through intersections and unions
2020-12-18
Andre
w
K
e
nnedy
Simplify and impro
v
e type acc
e
s
ses th
r
ough intersections
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew
K
en
n
edy
Add telemet
r
y
t
o
r
ecovery from
breac
h
ing
h
e
ap cap
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kenned
y
Force all cache
f
l
u
shi
n
g
a
n
d GC to avoid
exitin
g
wo
r
k
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kennedy
Force parse
r
cache flus
h
in
g
a
nd GC to avoid exiting
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
A
n
drew Ke
n
ned
y
A
d
d mli file for typing_check_s
e
rvice
commit
|
commitdiff
|
tree
2020-11-17
A
ndrew K
e
nnedy
Av
o
id adding de
p
e
nde
n
cies o
n
hhi
def
i
niti
o
ns
commit
|
commitdiff
|
tree
2020-11-16
A
n
drew Kennedy
Treat Fo
r
matStrin
g
as a newtype
commit
|
commitdiff
|
tree
2020-11-15
Andrew Kennedy
New function get_c
l
ass
_
or_type
d
ef
commit
|
commitdiff
|
tree
2020-11-12
A
ndrew Kennedy
Ref
a
c
t
or ty
p
ing_variance to use
T
ypin
g
_env
.
env
commit
|
commitdiff
|
tree
2020-11-11
An
d
rew Kennedy
Add mli file fo
r
typing_var
i
an
c
e
commit
|
commitdiff
|
tree
2020-11-11
Andrew Kennedy
Do not regi
s
ter depe
n
dencies
w
he
n
declaring hi
n
ts
commit
|
commitdiff
|
tree
2020-11-04
Andre
w
Kennedy
Make
T
acc
e
ss take just a
single i
d
e
ntifier no
t
a path
commit
|
commitdiff
|
tree
2020-11-04
A
n
d
rew
K
ennedy
Rem
o
v
e
r
e
dundant uses
o
f
Cl
s
.
pos
commit
|
commitdiff
|
tree
2020-11-02
A
n
dre
w
Kenn
e
dy
Remove redundan
t
calls to Cls
.
tparams
commit
|
commitdiff
|
tree
2020-11-01
A
ndrew Kennedy
T
r
anslate
Haccess hint into
nested
use
d
of Taccess
commit
|
commitdiff
|
tree
2020-10-28
Andrew
K
enned
y
Make
T
access both a locl_ty
a
nd a dec
l
_ty
commit
|
commitdiff
|
tree
2020-10-26
A
n
drew Ke
n
nedy
T
yp
e
consta
n
t access throu
g
h inter
s
ections and uni
o
ns
commit
|
commitdiff
|
tree
2020-10-22
A
n
dre
w
Kenned
y
Remove legacy
arr
a
ys
commit
|
commitdiff
|
tree
2020-10-14
Andrew K
e
nnedy
Remov
e
r
e
dundant calls to s
t
atic_class_id
commit
|
commitdiff
|
tree
2020-10-08
Andrew
Kennedy
Show
upper bo
u
nd of dependent
t
ype when pretty printing
commit
|
commitdiff
|
tree
2020-09-25
Andrew Kennedy
Another
simple case of e
x
tracting
j
u
s
t a
T
class
commit
|
commitdiff
|
tree
2020-09-25
Andrew
K
ennedy
Factor
o
ut exhaustive case
analysis to find T
c
lass
.
.
.
commit
|
commitdiff
|
tree
2020-09-25
An
d
rew Kenne
d
y
Replace
s
pec
i
al casing
for shape keys by sub
t
ype agains
t
.
.
.
commit
|
commitdiff
|
tree
2020-09-21
Andrew Kennedy
For e
q
uality on decl types
do not be s
e
n
s
it
i
v
e to p
o
sitio
n
commit
|
commitdiff
|
tree
2020-09-17
An
d
r
e
w Kennedy
New configurati
o
n setting to se
t
sample rate
f
or ty
p
echecki
n
g
commit
|
commitdiff
|
tree
2020-09-15
A
ndrew
Kennedy
Treat
c
alls through multipl
e
upper bounds as call through
.
.
.
commit
|
commitdiff
|
tree
2020-09-09
Andrew Kennedy
F
i
x build break after oxidized regen
commit
|
commitdiff
|
tree
2020-09-02
Andrew Kennedy
Check we
l
l-formedness
o
f
wher
e
constraints on me
t
hods
.
.
.
commit
|
commitdiff
|
tree
2020-09-02
Andrew Ken
n
edy
Remove redun
d
ant check for overri
d
ing final method
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Andrew Kennedy
Bette
r
er
r
or reporting f
o
r
miss
i
ng types in type constant
.
.
.
commit
|
commitdiff
|
tree
2020-08-27
And
r
e
w Kenn
e
dy
S
m
all refactor
i
ng
in override chec
k
s
commit
|
commitdiff
|
tree
2020-08-26
An
d
rew
Ken
n
edy
T
a
int positions derived from rea
s
ons and report
t
ainted
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Andrew Ken
n
edy
Sim
p
li
f
y
variance checks to
be ready for intersection
.
.
.
commit
|
commitdiff
|
tree
2020-08-14
And
r
ew K
e
nnedy
Pr
o
duce e
r
ror f
o
r incorrect
m
o
de syntax even when mode
s
.
.
.
commit
|
commitdiff
|
tree
2020-08-11
Andre
w
Ken
n
edy
R
emo
v
e dead
e
xpr_
h
ook feature
commit
|
commitdiff
|
tree
2020-08-10
Andre
w
Kennedy
Align
h
e
a
p s
l
ot
s
o
n word ins
t
ead of cacheline
bound
a
ries
commit
|
commitdiff
|
tree
2020-08-10
A
ndrew Kennedy
Log sh
a
red heap sta
t
s about total bytes incl
u
d
i
ng h
e
ader
.
.
.
commit
|
commitdiff
|
tree
2020-08-05
Andre
w
Kennedy
Avoid some m
o
re calls to sub
t
ype_metho
d
commit
|
commitdiff
|
tree
2020-08-05
Andrew Kenned
y
A
v
oid red
u
ndant calls to subt
y
pe_
m
e
thod
commit
|
commitdiff
|
tree
2020-08-05
A
ndrew
Kennedy
Cha
n
ge subtype_method_decl so that it restores
g
lobal_tpen
v
commit
|
commitdiff
|
tree
2020-08-04
An
d
r
e
w K
e
nn
e
dy
Move check for
o
verride
a
ttribute into
typing
commit
|
commitdiff
|
tree
2020-07-29
Andrew Kennedy
Re
j
ect multipl
e
i
mp
l
eme
n
tation or e
x
ten
s
ion of interfaces
.
.
.
commit
|
commitdiff
|
tree
2020-07-28
Andrew Kenn
e
d
y
M
o
ve
t
ests fo
r
yie
l
d statement in
t
o own directory
commit
|
commitdiff
|
tree
2020-07-28
Andr
e
w Kennedy
Mov
e
magic
m
e
thods tests i
n
to their own direct
o
ry
commit
|
commitdiff
|
tree
2020-07-28
Andrew
K
e
n
nedy
Move array
_
map and a
r
r
a
y_fi
l
ter tests into own dir
commit
|
commitdiff
|
tree
2020-07-25
A
n
drew Ke
n
ne
d
y
D
o
not
r
eport duplicate
(ba
d
position) erro
r
s for type
.
.
.
commit
|
commitdiff
|
tree
2020-07-22
And
r
ew Kennedy
Fix posi
t
ion for miss
i
ng type const member on ty
p
e
commit
|
commitdiff
|
tree
2020-07-22
Andrew Kennedy
R
ename nastChe
c
k module
commit
|
commitdiff
|
tree
2020-07-09
Andrew Kennedy
C
heck trait
u
se for cons
t
r
aint sa
t
i
s
faction
commit
|
commitdiff
|
tree
2020-07-06
Andrew
Kennedy
Fix
u
nsoundnes
s
in overridin
g
o
f
gen
e
r
i
c metho
d
with
.
.
.
commit
|
commitdiff
|
tree
2020-07-02
Andr
e
w
Kennedy
R
e
m
ove s
o
me uses o
f
the Hashtb
l
.
find API in decl heap
commit
|
commitdiff
|
tree
2020-07-01
Andrew Kennedy
Remove
redundant gener
i
cs fro
m
Shap
e
s methods
commit
|
commitdiff
|
tree
2020-07-01
A
n
drew
K
ennedy
Fix S
h
ape
s
::removeKey quadratic blowup
commit
|
commitdiff
|
tree
2020-06-19
A
ndrew
Kennedy
Refactor
sub
t
y
pe_m
e
t
hod
commit
|
commitdiff
|
tree
2020-06-19
Andrew Ken
n
e
d
y
C
l
e
an
u
p in
i
tializat
i
on of ge
n
eric parameters and constraints
commit
|
commitdiff
|
tree
2020-06-16
A
nd
r
ew Kennedy
Remov
e
an
o
ther use of reas
o
n info
commit
|
commitdiff
|
tree
2020-06-13
An
d
rew
K
ennedy
Remove red
u
ndant cod
e
from localize
_
ft
commit
|
commitdiff
|
tree
2020-06-11
Andrew
K
ennedy
Add new op
t
ion stdin-name to specif
y
filen
a
me used
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
Andrew Kennedy
Move error h
a
n
d
ling from decl_hint to NAST check
commit
|
commitdiff
|
tree
2020-06-03
Andrew Kennedy
Do
not trig
g
er erro
r
s
and
t
h
en
s
ilenc
e
them when checking
.
.
.
commit
|
commitdiff
|
tree
2020-06-03
Andre
w
K
enne
d
y
A
v
oid use of get_reason
for type ch
e
cking
commit
|
commitdiff
|
tree
2020-06-01
A
ndrew Ken
n
edy
Remove r
e
dundant check
for const
r
aint satisfaction
.
.
.
commit
|
commitdiff
|
tree
2020-05-29
Andrew
Kennedy
Recursive
type errors should not be obscured by trivial
.
.
.
commit
|
commitdiff
|
tree
2020-05-28
An
d
rew Ke
n
ne
d
y
D
etec
t
errors with ou
t
-of-defini
t
ion p
r
imar
y
positio
n
s
commit
|
commitdiff
|
tree
2020-05-28
An
d
rew Kennedy
Move chec
k
for
mis
s
ing ty
p
e
h
int on
c
la
s
s
c
onstants
.
.
.
commit
|
commitdiff
|
tree
2020-05-20
A
n
d
r
e
w
Kennedy
Fix bad
p
o
s
i
tion for failure to satisfy
where
con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2020-05-15
Andre
w
Ken
n
e
d
y
Rem
o
ve strin
g
matching for hh
i
e
xtension
commit
|
commitdiff
|
tree
2020-05-14
Andre
w
K
e
nnedy
D
o
not re
p
ort unbound name errors w
h
en expa
n
di
n
g
t
ype
.
.
.
commit
|
commitdiff
|
tree
2020-05-14
A
n
drew Kennedy
Do no
t
report
duplicate err
o
rs for inherited type
c
onstant
s
commit
|
commitdiff
|
tree
2020-05-12
An
d
rew Kenn
e
dy
Fix
b
ad position b
u
g
s
in trait usage
commit
|
commitdiff
|
tree
2020-05-12
Andre
w
Kennedy
Fix e
r
ror
f
or const overridin
g
so that overr
i
ding proper
t
y
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
A
ndrew Kennedy
Do not report duplicate cyclic definition e
r
rors
d
ue
.
.
.
commit
|
commitdiff
|
tree
2020-05-07
Andrew Kenne
d
y
Do not recheck inh
e
rited
t
y
pe constan
t
s for
enforceability
commit
|
commitdiff
|
tree
2020-05-05
Andrew
K
ennedy
Bad positio
n
f
or erro
r
relating to dynamic property
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
A
ndrew Kenned
y
D
o
not check w
r
o
n
g class
w
hen ther
e
ar
e
d
u
p
licat
e
d
e
finition
.
.
.
commit
|
commitdiff
|
tree
2020-04-30
Andrew
Ke
n
ned
y
Fix array ref
i
n
ement b
u
g
commit
|
commitdiff
|
tree
2020-04-30
Andrew Kennedy
Remove
ft_arity
(
par
t
1)
commit
|
commitdiff
|
tree
2020-04-23
Andrew Kennedy
Prop
a
g
ate
va
r
ian
c
e
information to bou
n
ds on
type param
e
ters
commit
|
commitdiff
|
tree
2020-04-20
And
r
ew
Kennedy
Unify decl and locl typ
e
r
e
pres
e
ntat
i
o
n
of arrays
commit
|
commitdiff
|
tree
2020-04-17
Andrew Kennedy
A
dd
test
harness
for hh
_
check
commit
|
commitdiff
|
tree
2020-04-17
An
d
rew Ke
n
nedy
Add tast op
t
ion
t
o hh_check
commit
|
commitdiff
|
tree
2020-04-14
Andrew Kennedy
R
eplace Fellip
s
is by use of F
v
ar
i
adi
c
commit
|
commitdiff
|
tree
2020-04-14
A
ndrew Ke
n
ne
d
y
Small
c
hanges to mak
e
TAST output compatib
l
e
commit
|
commitdiff
|
tree
2020-04-09
A
ndrew
Kennedy
Avoid re
d
undant get_class in expand_type
c
onst
commit
|
commitdiff
|
tree
2020-04-09
A
n
d
rew Ken
n
edy
Add definition site position to cy
c
lic
t
ypedef er
r
o
r
commit
|
commitdiff
|
tree
2020-04-09
A
ndrew Kenne
d
y
Replace us
e
of bools in decl el
e
ment by bitwise
f
lags
commit
|
commitdiff
|
tree
2020-04-09
Andr
e
w Ken
n
edy
Replace us
e
of bo
o
ls in par
a
m by bitwise
f
lag
s
commit
|
commitdiff
|
tree
2020-04-07
Andrew
K
ennedy
Wrap u
n
pack errors using on_error
commit
|
commitdiff
|
tree
2020-04-07
Andrew Kennedy
I
m
plement tra
n
sitive
i
n
heritance i
n
subtypi
n
g
commit
|
commitdiff
|
tree
2020-04-03
Andrew
Kennedy
Strengthe
n
r
edundant gener
i
cs check to a type chec
k
er
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
A
n
drew Kennedy
Move xhp_attr i
n
to ce_flag
s
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
R
eplace use
o
f bo
o
l
s in class elem
e
nt by bitwise fl
a
gs
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
Remove max
a
rity in
f
t_arity, us
e
Li
s
t
.
length fp_params
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
A
ndrew Ke
n
nedy
Rep
l
ace us
e
of bools etc
in fun_type by bit
w
ise
flags
commit
|
commitdiff
|
tree
2020-04-01
An
d
rew Ken
n
edy
Fix
infinite loop in is_enforceable
commit
|
commitdiff
|
tree
2020-03-31
Andrew Kennedy
Avoid c
a
lls to get_class where possible
commit
|
commitdiff
|
tree
2020-03-30
And
r
ew
K
enned
y
Use na
m
ing convention to determi
n
e var
i
ance of generic
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
Andrew Kenne
d
y
Imp
l
ement inher
i
tance in subtypin
g
commit
|
commitdiff
|
tree
2020-03-30
And
r
ew
K
e
nnedy
Initial impl
e
men
t
atio
n
of
subtyping, ret
u
rn statem
e
nt
commit
|
commitdiff
|
tree
2020-03-20
And
r
ew K
e
nnedy
Kill AKem
p
ty a
r
ray type
commit
|
commitdiff
|
tree
next