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
Make ExprTree's TInfer type param covariant
2020-12-18
Andrew Kennedy
S
i
mplify a
n
d improve type ac
c
esses throu
g
h i
n
tersections
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kennedy
Add telemetry t
o
recov
e
r
y
from
b
r
e
ach
i
ng heap
c
ap
commit
|
commitdiff
|
tree
2020-12-11
An
d
r
ew Kenne
d
y
For
c
e
a
ll c
a
che
f
lus
h
in
g
and GC to avoid exi
t
i
n
g work
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kennedy
F
o
rce parser cache f
l
ushing and GC to avo
i
d exiting
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kenn
e
dy
Add mli file f
o
r typing_check_service
commit
|
commitdiff
|
tree
2020-11-17
Andrew Kennedy
Avoi
d
addi
n
g
d
e
p
endencies
on hhi def
i
nit
i
ons
commit
|
commitdiff
|
tree
2020-11-16
Andrew Ke
n
nedy
Treat Forma
t
String
as a newty
p
e
commit
|
commitdiff
|
tree
2020-11-15
Andrew Kenned
y
New
function
g
et_class_or
_
typedef
commit
|
commitdiff
|
tree
2020-11-12
A
ndrew
K
ennedy
Refa
c
to
r
typing_variance to us
e
Typing_en
v
.
env
commit
|
commitdiff
|
tree
2020-11-11
Andre
w
Kennedy
A
dd mli file
f
or typing_v
a
ri
a
nce
commit
|
commitdiff
|
tree
2020-11-11
Andrew
Ke
n
nedy
Do not re
g
ist
e
r dependencie
s
when declari
n
g
hi
n
t
s
commit
|
commitdiff
|
tree
2020-11-04
Andrew
K
e
nnedy
Make Tacce
s
s take just
a
singl
e
i
d
e
n
t
i
fier
n
o
t a
p
a
th
commit
|
commitdiff
|
tree
2020-11-04
Andrew Ken
n
edy
Remove r
e
dundant
u
ses
of Cls
.
pos
commit
|
commitdiff
|
tree
2020-11-02
Andrew Kennedy
Rem
o
ve redundant call
s
to Cls
.
tp
a
r
a
ms
commit
|
commitdiff
|
tree
2020-11-01
Andrew Kennedy
Translate Hac
c
ess
h
int into nested used of T
a
cc
e
ss
commit
|
commitdiff
|
tree
2020-10-28
Andr
e
w Kennedy
Make
Tacc
e
ss both a locl_ty and a
d
ecl_ty
commit
|
commitdiff
|
tree
2020-10-26
A
ndrew Kennedy
T
y
pe constant access through int
e
rsections an
d
union
s
commit
|
commitdiff
|
tree
2020-10-22
Andr
e
w Kenne
d
y
Remove legacy arrays
commit
|
commitdiff
|
tree
2020-10-14
Andrew Ken
n
edy
R
e
move redundant calls to
st
a
tic_class_id
commit
|
commitdiff
|
tree
2020-10-08
Andrew Ke
n
n
e
dy
Show upper bound of depe
n
den
t
t
y
p
e
when
p
retty pri
n
tin
g
commit
|
commitdiff
|
tree
2020-09-25
Andrew
K
ennedy
A
nother simp
l
e case of e
x
trac
t
ing
jus
t
a
Tclas
s
commit
|
commitdiff
|
tree
2020-09-25
Andrew Kennedy
Factor out exhausti
v
e case ana
l
ysis to find Tclass
.
.
.
commit
|
commitdiff
|
tree
2020-09-25
An
d
rew Kennedy
Replace s
p
e
cial casi
n
g for shape key
s
by sub
t
ype against
.
.
.
commit
|
commitdiff
|
tree
2020-09-21
An
d
rew Kenn
e
dy
For
equality on
decl types do not
b
e
sensitive to position
commit
|
commitdiff
|
tree
2020-09-17
Andre
w
Ken
n
e
d
y
New
c
onfi
g
uration setting to s
e
t sa
m
ple rate for
typecheckin
g
commit
|
commitdiff
|
tree
2020-09-15
An
d
rew Kennedy
Tre
a
t
c
a
lls through multi
p
le upper bounds
a
s call
t
hrough
.
.
.
commit
|
commitdiff
|
tree
2020-09-09
And
r
ew
K
ennedy
Fix build break a
f
ter
o
xidized rege
n
commit
|
commitdiff
|
tree
2020-09-02
An
d
rew Kenn
e
dy
Check
wel
l
-formedness of where con
s
trai
n
ts on methods
.
.
.
commit
|
commitdiff
|
tree
2020-09-02
Andrew Kennedy
Remove r
e
dundan
t
ch
e
ck for
o
v
e
rriding
final method
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Andrew Kenned
y
Better error reporting for missing
types in type c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2020-08-27
A
n
d
rew Kennedy
Small refacto
r
ing
i
n override checks
commit
|
commitdiff
|
tree
2020-08-26
Andrew Kenned
y
Taint positions derived from reaso
n
s an
d
rep
o
rt tainted
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Andrew Kennedy
Simp
l
ify varianc
e
chec
k
s
t
o be ready for intersection
.
.
.
commit
|
commitdiff
|
tree
2020-08-14
Andrew Kennedy
Produce e
r
ror f
o
r
inco
r
re
c
t
mode synt
a
x even
w
hen modes
.
.
.
commit
|
commitdiff
|
tree
2020-08-11
A
ndr
e
w Kennedy
Re
m
ove dead expr_
h
ook feature
commit
|
commitdiff
|
tree
2020-08-10
Andrew Kennedy
Align heap
s
l
o
ts on word
i
n
s
tead
of
c
acheline
boundarie
s
commit
|
commitdiff
|
tree
2020-08-10
Andr
e
w Ke
n
nedy
Log shared heap stats about tota
l
bytes i
n
cluding header
.
.
.
commit
|
commitdiff
|
tree
2020-08-05
An
d
r
ew Kenned
y
Avoid
some more calls t
o
su
b
type_method
commit
|
commitdiff
|
tree
2020-08-05
Andrew Ke
n
nedy
Avoid
r
edu
n
dant calls to subtype_
m
ethod
commit
|
commitdiff
|
tree
2020-08-05
Andrew Ken
n
e
d
y
C
h
ange subt
y
pe_meth
o
d_
d
ecl so tha
t
it restores
g
lobal_tpe
n
v
commit
|
commitdiff
|
tree
2020-08-04
Andre
w
Kennedy
M
o
v
e
check
f
or o
v
erride
attr
i
bute into typing
commit
|
commitdiff
|
tree
2020-07-29
Andrew Ken
n
ed
y
Rej
e
ct multiple implementation or exte
n
sion
o
f
i
nterfaces
.
.
.
commit
|
commitdiff
|
tree
2020-07-28
Andre
w
Kenned
y
Move test
s
f
o
r
yield statement into own dir
e
ctory
commit
|
commitdiff
|
tree
2020-07-28
A
n
drew K
e
nnedy
Move magic m
e
th
o
ds tests into
t
heir ow
n
directory
commit
|
commitdiff
|
tree
2020-07-28
Andrew Kennedy
Move array_map an
d
array_filter
tests into own
dir
commit
|
commitdiff
|
tree
2020-07-25
Andrew Kennedy
Do
n
ot report
duplicate
(bad
position) erro
r
s fo
r
ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2020-07-22
Andrew K
e
nnedy
Fix position for
mi
s
sing type const
member on ty
p
e
commit
|
commitdiff
|
tree
2020-07-22
Andrew
K
ennedy
Rename n
a
stCheck
m
o
d
ule
commit
|
commitdiff
|
tree
2020-07-09
Andrew Ke
n
ned
y
Check trait
u
s
e for co
n
straint sa
t
isfaction
commit
|
commitdiff
|
tree
2020-07-06
A
ndrew Kennedy
Fix unsoundness i
n
overr
i
ding of
g
eneric method wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2020-07-02
Andre
w
Kennedy
Remo
v
e
some uses of the Hashtbl
.
find API in decl he
a
p
commit
|
commitdiff
|
tree
2020-07-01
Andrew Kennedy
Remove
redundant gene
r
ics
fro
m
Sha
p
es meth
o
ds
commit
|
commitdiff
|
tree
2020-07-01
Andr
e
w
K
ennedy
Fix Shap
e
s::removeKey q
u
adratic blowup
commit
|
commitdiff
|
tree
2020-06-19
Andr
e
w
K
e
n
nedy
R
e
factor subtype_method
commit
|
commitdiff
|
tree
2020-06-19
Andr
e
w Kennedy
C
lea
n
up initialization
of
gene
r
ic parameters and const
r
aints
commit
|
commitdiff
|
tree
2020-06-16
A
ndrew Kennedy
Remove
another
u
s
e of reason info
commit
|
commitdiff
|
tree
2020-06-13
And
r
ew Kennedy
Re
m
ov
e
red
u
ndant code from localize_ft
commit
|
commitdiff
|
tree
2020-06-11
Andrew Kennedy
Add n
e
w
o
p
tion
s
t
d
in-name to specify filename used
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
Andrew
Kennedy
Mov
e
error
h
a
ndling from d
e
cl
_
h
i
nt to NAST check
commit
|
commitdiff
|
tree
2020-06-03
A
ndrew Ken
n
edy
D
o not trig
g
er er
r
o
r
s and th
e
n silence t
h
em when checking
.
.
.
commit
|
commitdiff
|
tree
2020-06-03
A
n
drew Kennedy
A
v
oid use of
g
et_reason for type checkin
g
commit
|
commitdiff
|
tree
2020-06-01
Andrew Kennedy
Remove red
u
n
dant c
h
eck for co
n
straint satisfaction
.
.
.
commit
|
commitdiff
|
tree
2020-05-29
Andrew Ken
n
edy
Recurs
i
ve
t
ype
error
s
should not be obscured by tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2020-05-28
Andrew Kennedy
Detect errors with
o
ut-
o
f-definit
i
on primary
p
os
i
tions
commit
|
commitdiff
|
tree
2020-05-28
Andrew Kenned
y
Move ch
e
c
k for m
i
s
s
ing
t
ype h
i
nt on class constants
.
.
.
commit
|
commitdiff
|
tree
2020-05-20
An
d
r
e
w
K
ennedy
Fix bad
position f
o
r
fai
l
ure
to satisfy
where constraint
.
.
.
commit
|
commitdiff
|
tree
2020-05-15
Andrew
Kennedy
Remove s
t
ring matching f
o
r
hh
i
extension
commit
|
commitdiff
|
tree
2020-05-14
Andrew Kennedy
Do not report unbou
n
d na
m
e
e
r
rors when
expanding type
.
.
.
commit
|
commitdiff
|
tree
2020-05-14
Andrew Kenned
y
Do not report d
u
plicate errors for i
n
h
e
rit
e
d type const
a
n
t
s
commit
|
commitdiff
|
tree
2020-05-12
A
n
drew
Kennedy
Fix b
a
d posi
t
io
n
bugs in trait u
s
age
commit
|
commitdiff
|
tree
2020-05-12
Andrew Kenn
e
dy
Fix error for
c
onst overrid
i
ng
so that
overriding property
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
Andre
w
K
e
nnedy
Do not repo
r
t duplicate cy
c
lic
d
e
f
inition er
r
ors due
.
.
.
commit
|
commitdiff
|
tree
2020-05-07
Andr
e
w
K
ennedy
Do not re
c
he
c
k inheri
t
ed type cons
t
a
n
ts fo
r
enforce
a
bility
commit
|
commitdiff
|
tree
2020-05-05
A
ndrew Ke
n
nedy
Bad p
o
sitio
n
for error relating to dy
n
amic property
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
Andrew Kennedy
D
o
not c
h
ec
k
wrong cla
s
s whe
n
ther
e
ar
e
d
uplicate definition
.
.
.
commit
|
commitdiff
|
tree
2020-04-30
A
n
d
rew
K
ennedy
Fix ar
r
a
y ref
i
nement bug
commit
|
commitdiff
|
tree
2020-04-30
Andrew Kennedy
R
e
move
f
t
_
arity (part 1)
commit
|
commitdiff
|
tree
2020-04-23
Andrew Kennedy
Pro
p
agate va
r
iance informatio
n
to boun
d
s
o
n type parameters
commit
|
commitdiff
|
tree
2020-04-20
An
d
rew
K
ennedy
U
nif
y
decl and locl
typ
e
representatio
n
of arrays
commit
|
commitdiff
|
tree
2020-04-17
And
r
ew Kennedy
Add test
har
n
ess for hh_check
commit
|
commitdiff
|
tree
2020-04-17
Andrew Kennedy
Add tas
t
op
t
ion to hh
_
check
commit
|
commitdiff
|
tree
2020-04-14
Andrew Kennedy
R
eplace Fellipsis by use of Fvariadi
c
commit
|
commitdiff
|
tree
2020-04-14
Andrew Kennedy
S
m
a
l
l change
s
to make
TA
S
T output co
m
patible
commit
|
commitdiff
|
tree
2020-04-09
Andrew Kenned
y
Avo
i
d redundant get_cl
a
s
s in
expand_typeconst
commit
|
commitdiff
|
tree
2020-04-09
Andrew K
e
nnedy
Add d
e
f
i
nition site position t
o
cyclic
typedef error
commit
|
commitdiff
|
tree
2020-04-09
And
r
e
w
Ken
n
edy
Replace use of
bools in d
e
cl element by
b
itwi
s
e flags
commit
|
commitdiff
|
tree
2020-04-09
Andrew Ken
n
e
d
y
Replace use of bools i
n
pa
r
am b
y
b
itwi
s
e flags
commit
|
commitdiff
|
tree
2020-04-07
A
n
d
r
ew Ken
n
edy
Wrap unpack errors using on_err
o
r
commit
|
commitdiff
|
tree
2020-04-07
Andrew K
e
nned
y
Imp
l
e
ment transitive inherita
n
ce in
subtypin
g
commit
|
commitdiff
|
tree
2020-04-03
Andrew Ke
n
n
e
dy
Strengt
h
en re
d
un
d
ant generics
c
h
eck to a type
c
h
ecker
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Andrew K
e
nnedy
Move xhp
_
at
t
r into
c
e
_flags
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
Replace
u
se of bools
i
n class eleme
n
t
by
b
itwise
f
lags
commit
|
commitdiff
|
tree
2020-04-02
Andr
e
w K
e
nnedy
Remove max arity in ft_
a
rity, use
L
i
st
.
leng
t
h fp
_
params
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
Repl
a
ce us
e
of bools etc in fun_type by bitwis
e
flags
commit
|
commitdiff
|
tree
2020-04-01
Andr
e
w
Kennedy
Fix in
f
inite loop in
is_enf
o
r
ceable
commit
|
commitdiff
|
tree
2020-03-31
Andrew
K
enned
y
A
v
o
i
d
c
alls to get_class wher
e
p
o
ssible
commit
|
commitdiff
|
tree
2020-03-30
Andrew
K
ennedy
Use naming convention
t
o
deter
m
i
ne v
a
rian
c
e of
generic
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
An
d
rew
Kennedy
Implement inheri
t
a
n
ce in subt
y
ping
commit
|
commitdiff
|
tree
2020-03-30
Andrew
Kennedy
Init
i
a
l
impl
e
men
t
ation
o
f
s
ubtyping, return st
a
t
e
ment
commit
|
commitdiff
|
tree
2020-03-20
Andrew Kennedy
Kill
A
Kempty array type
commit
|
commitdiff
|
tree
next