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
ew Ken
n
edy
Sound Dynami
c
: suppo
r
t
subtyping
t
o dynamic when ch
e
ck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2021-02-02
Andrew Kenne
d
y
C
o
mpare types and s
u
btype pr
o
p whe
n
computing
delta
.
.
.
commit
|
commitdiff
|
tree
2021-01-26
Andrew Ke
n
ned
y
Fix
m
emory
l
eak in
T
imer
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kennedy
Remove f
r
om_class from ety_env
commit
|
commitdiff
|
tree
2021-01-21
Andrew K
e
nnedy
Remove
f
inal
use
of from_
c
lass in cl
a
ss_get
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kenned
y
El
i
minate unnecessary use
o
f
from_class
commit
|
commitdiff
|
tree
2021-01-19
Andrew
Kennedy
Fix non-terminating chec
k
ing with intersection
t
ype
.
.
.
commit
|
commitdiff
|
tree
2021-01-15
Andrew Ke
n
nedy
Fix non-tr
a
nsitive subtyping
with generic par
a
mete
r
s
.
.
.
commit
|
commitdiff
|
tree
2021-01-07
Andrew Kennedy
Cr
e
ate sim
p
le
r
this types
commit
|
commitdiff
|
tree
2021-01-06
Andrew Ke
n
n
e
d
y
Do
not rej
e
ct access to privat
e
method
s
throu
g
h a
r
equire
.
.
.
commit
|
commitdiff
|
tree
2021-01-04
A
ndre
w
Kennedy
Clean
u
p
ty_
c
o
m
pare
t
o
cover
a
ll type elem
e
nts
commit
|
commitdiff
|
tree
2020-12-18
Andrew Kennedy
Simplify and im
p
rov
e
t
ype accesses thro
u
gh interse
c
ti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
An
d
rew Kenne
d
y
Add tel
e
metry to
r
e
covery from brea
c
hing
heap cap
commit
|
commitdiff
|
tree
2020-12-11
Andrew
Kennedy
Force all cache flushing
a
nd GC to avoid exiting
w
orker
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
A
ndre
w
Kennedy
Force parser cache flushing and G
C
t
o
avoid exiting
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
A
n
drew Kennedy
Add mli
file for ty
p
ing_check_servi
c
e
commit
|
commitdiff
|
tree
2020-11-17
Andrew Ke
n
ned
y
Avoid ad
d
i
n
g
dependencies on hhi definitions
commit
|
commitdiff
|
tree
2020-11-16
A
n
d
r
ew K
e
nnedy
Tr
e
at FormatStrin
g
as a ne
w
typ
e
commit
|
commitdiff
|
tree
2020-11-15
Andrew Kennedy
N
ew func
t
ion get_class_or
_
typede
f
commit
|
commitdiff
|
tree
2020-11-12
Andrew Kenne
d
y
Re
f
a
ctor typing
_
v
ariance to use T
y
ping_env
.
env
commit
|
commitdiff
|
tree
2020-11-11
A
n
drew Kennedy
Add mli
f
i
le for
t
y
p
i
ng_var
i
a
n
ce
commit
|
commitdiff
|
tree
2020-11-11
Andrew
Kennedy
Do not register dependencies wh
e
n declar
i
ng hints
commit
|
commitdiff
|
tree
2020-11-04
An
d
rew Ke
n
ned
y
M
a
ke
T
ac
c
e
ss
take just a sin
g
le i
d
entifier not a path
commit
|
commitdiff
|
tree
2020-11-04
Andrew Kenn
e
d
y
R
emove redun
d
ant uses of Cl
s
.
pos
commit
|
commitdiff
|
tree
2020-11-02
An
d
rew
K
ennedy
Re
m
ove redundant
calls t
o
Cls
.
t
p
ara
m
s
commit
|
commitdiff
|
tree
2020-11-01
Andrew Kennedy
Translate Haccess hint into
n
ested
u
s
ed of
T
access
commit
|
commitdiff
|
tree
2020-10-28
A
ndrew Kennedy
Make Taccess both a lo
c
l_ty and a decl_
t
y
commit
|
commitdiff
|
tree
2020-10-26
Andre
w
K
e
nnedy
Typ
e
constant access thr
o
u
g
h intersections and u
n
ion
s
commit
|
commitdiff
|
tree
2020-10-22
Andrew Ke
n
nedy
Remove legacy arrays
commit
|
commitdiff
|
tree
2020-10-14
Andrew Kennedy
Remove redundant calls
t
o static_class_
i
d
commit
|
commitdiff
|
tree
2020-10-08
Andrew Kenned
y
Show upper
bound of
d
ependen
t
type when pre
t
ty printing
commit
|
commitdiff
|
tree
2020-09-25
Andrew Ken
n
edy
An
o
ther simple case of extra
c
t
i
ng just a Tcl
a
ss
commit
|
commitdiff
|
tree
2020-09-25
Andrew Kenned
y
F
a
ct
o
r out
exhaustive case analy
s
is to find Tcl
a
ss
.
.
.
commit
|
commitdiff
|
tree
2020-09-25
Andrew Kennedy
R
e
p
lace sp
e
cial casing for shape
k
e
y
s by subtype
against
.
.
.
commit
|
commitdiff
|
tree
2020-09-21
Andr
e
w
Kennedy
F
or e
q
uali
t
y on decl types
d
o
no
t
be se
n
sitive t
o
position
commit
|
commitdiff
|
tree
2020-09-17
Andrew Kennedy
New configuration sett
i
n
g
t
o
s
e
t
samp
l
e rate for typec
h
ecking
commit
|
commitdiff
|
tree
2020-09-15
Andre
w
Kenne
d
y
T
reat calls through multiple
u
p
p
er
b
ounds as call
th
r
ough
.
.
.
commit
|
commitdiff
|
tree
2020-09-09
A
ndrew Kennedy
Fi
x
build break after
oxidized
regen
commit
|
commitdiff
|
tree
2020-09-02
Andrew Kennedy
C
h
eck
well-formedness of wher
e
constraints on
methods
.
.
.
commit
|
commitdiff
|
tree
2020-09-02
Andrew Kennedy
Remove redundant c
h
eck for overriding fina
l
method
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
A
ndrew Kennedy
B
ett
e
r error r
e
porting fo
r
missi
n
g types in typ
e
constant
.
.
.
commit
|
commitdiff
|
tree
2020-08-27
Andr
e
w Kenn
e
dy
Small
r
e
factoring in
o
verride checks
commit
|
commitdiff
|
tree
2020-08-26
Andrew Kennedy
Taint positions derived from reasons
a
nd report tainted
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Andrew Kennedy
Simplify varianc
e
ch
e
cks to be read
y
for intersection
.
.
.
commit
|
commitdiff
|
tree
2020-08-14
Andrew Kennedy
Produ
c
e
error for incorrect mode syntax even whe
n
modes
.
.
.
commit
|
commitdiff
|
tree
2020-08-11
Andrew
Kennedy
Remov
e
dead expr_hook feature
commit
|
commitdiff
|
tree
2020-08-10
Andrew Ke
n
nedy
A
l
i
g
n hea
p
sl
o
ts on word i
n
stead of cacheli
n
e boundaries
commit
|
commitdiff
|
tree
2020-08-10
Andre
w
Kennedy
Log shared heap sta
t
s about
t
otal b
y
tes incl
u
ding head
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-08-05
Andrew Kennedy
Avo
i
d
some
more calls
t
o
subtype_
m
ethod
commit
|
commitdiff
|
tree
2020-08-05
An
d
rew Kennedy
Avoid redunda
n
t c
a
l
l
s
to subtype_met
h
od
commit
|
commitdiff
|
tree
2020-08-05
A
ndrew
Kennedy
Ch
a
ng
e
subtype_method_dec
l
so t
h
at it restore
s
glob
a
l_tpenv
commit
|
commitdiff
|
tree
2020-08-04
Andrew Kennedy
Mo
v
e check for ove
r
ride
a
ttr
i
bute into typing
commit
|
commitdiff
|
tree
2020-07-29
Andr
e
w Kennedy
Re
j
ect multiple implement
a
t
i
on or e
x
t
e
nsion of interf
a
ces
.
.
.
commit
|
commitdiff
|
tree
2020-07-28
A
n
drew Ken
n
edy
M
o
ve
tests for yield sta
t
ement in
t
o own dir
e
ctory
commit
|
commitdiff
|
tree
2020-07-28
Andrew Kennedy
Mov
e
m
agic methods te
s
ts
int
o
their
o
wn dire
c
to
r
y
commit
|
commitdiff
|
tree
2020-07-28
A
n
dr
e
w Kennedy
Move array_
m
ap
a
nd
array_filter te
s
ts into o
w
n dir
commit
|
commitdiff
|
tree
2020-07-25
Andrew Kenned
y
Do not report du
p
licate (bad
p
o
sition) er
r
ors fo
r
type
.
.
.
commit
|
commitdiff
|
tree
2020-07-22
Andrew Kennedy
Fi
x
position for missing
t
ype const
membe
r
o
n type
commit
|
commitdiff
|
tree
2020-07-22
Andrew Kennedy
Re
n
a
m
e nast
C
h
eck module
commit
|
commitdiff
|
tree
2020-07-09
A
ndrew Kenned
y
Check trait use for constraint sati
s
faction
commit
|
commitdiff
|
tree
2020-07-06
Andrew Kennedy
Fix unsoundness in over
r
iding
o
f g
e
n
e
ric
m
ethod w
i
th
.
.
.
commit
|
commitdiff
|
tree
2020-07-02
A
n
drew Kenn
e
dy
Remo
v
e some
u
se
s
of the
H
ashtbl
.
find
API
i
n dec
l
heap
commit
|
commitdiff
|
tree
2020-07-01
Andrew
Kennedy
Rem
o
ve re
d
undant generi
c
s from
S
hapes method
s
commit
|
commitdiff
|
tree
2020-07-01
Andrew Ke
n
nedy
Fix Sha
p
es::remove
K
ey quadratic b
l
owup
commit
|
commitdiff
|
tree
2020-06-19
Andrew Ke
n
nedy
Refac
t
or su
b
type_m
e
thod
commit
|
commitdiff
|
tree
2020-06-19
Andrew Kenned
y
Clean
up initializa
t
ion of generic
p
arameters and constraints
commit
|
commitdiff
|
tree
2020-06-16
Andr
e
w Kennedy
Remo
v
e another use of
r
ea
s
on info
commit
|
commitdiff
|
tree
2020-06-13
Andrew Kenne
d
y
Re
m
ove red
u
n
da
n
t
c
ode
f
rom lo
c
alize_
f
t
commit
|
commitdiff
|
tree
2020-06-11
Andrew Ke
n
nedy
Add new op
t
ion
s
tdin-name to
specify filename
u
se
d
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
An
d
r
ew Kenne
d
y
Mo
v
e error hand
l
i
ng from de
c
l_hint to N
A
ST c
h
e
ck
commit
|
commitdiff
|
tree
2020-06-03
And
r
ew Kennedy
Do n
o
t tri
g
ger errors an
d
then silence th
e
m wh
e
n checking
.
.
.
commit
|
commitdiff
|
tree
2020-06-03
A
n
d
rew Kennedy
Avoi
d
us
e
of get_reason for ty
p
e
che
c
king
commit
|
commitdiff
|
tree
2020-06-01
A
n
drew Kennedy
Remo
v
e redundant
c
heck for constraint
satisfac
t
ion
.
.
.
commit
|
commitdiff
|
tree
2020-05-29
Andrew Kenn
e
d
y
Recursive
type errors sho
u
ld not be obscured by trivial
.
.
.
commit
|
commitdiff
|
tree
2020-05-28
Andr
e
w Kennedy
De
t
ec
t
errors with ou
t
-
o
f-definit
i
on primary positions
commit
|
commitdiff
|
tree
2020-05-28
Andrew Kennedy
M
ove c
h
eck for missing
t
ype hin
t
on cl
a
s
s
constants
.
.
.
commit
|
commitdiff
|
tree
2020-05-20
Andrew
K
e
nn
e
dy
F
ix bad position
for failure
to sati
s
fy
w
h
ere
c
ons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2020-05-15
Andrew
K
e
nnedy
Remo
v
e string m
a
tc
h
ing fo
r
hhi extension
commit
|
commitdiff
|
tree
2020-05-14
Andrew Kenned
y
Do not repo
r
t unbound name errors
when expa
n
ding type
.
.
.
commit
|
commitdiff
|
tree
2020-05-14
Andrew Kenne
d
y
Do n
o
t report dup
l
icate errors for inh
e
rit
e
d
type constants
commit
|
commitdiff
|
tree
2020-05-12
Andr
e
w
K
enn
e
dy
Fi
x
b
a
d
posit
i
on bugs
i
n trait usage
commit
|
commitdiff
|
tree
2020-05-12
Andre
w
K
ennedy
Fix
e
rro
r
for co
n
st overriding
s
o
th
a
t over
r
iding proper
t
y
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
A
n
drew Kennedy
D
o
n
o
t repor
t
duplicat
e
cyclic defi
n
ition errors d
u
e
.
.
.
commit
|
commitdiff
|
tree
2020-05-07
Andrew K
e
n
n
edy
Do not
r
echeck inherited
type constants f
o
r enfor
c
e
ability
commit
|
commitdiff
|
tree
2020-05-05
Andrew Kennedy
B
ad p
o
s
i
t
ion f
o
r error relating to
d
yn
a
mic property
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
Andrew Kenne
d
y
Do n
o
t
chec
k
wro
n
g class
wh
e
n there are
d
uplic
a
t
e
d
efi
n
i
tion
.
.
.
commit
|
commitdiff
|
tree
2020-04-30
Andrew Kennedy
Fix array
r
efi
n
ement b
u
g
commit
|
commitdiff
|
tree
2020-04-30
Andrew Kennedy
Remove
f
t_
a
r
ity (part
1)
commit
|
commitdiff
|
tree
2020-04-23
Andrew Kenn
e
dy
Propaga
t
e
varia
n
ce information t
o
bounds o
n
t
y
pe par
a
meters
commit
|
commitdiff
|
tree
2020-04-20
A
n
dr
e
w Kennedy
Un
i
fy decl and
l
ocl
type representation of arrays
commit
|
commitdiff
|
tree
2020-04-17
Andrew K
e
nnedy
A
d
d test harness for hh_check
commit
|
commitdiff
|
tree
2020-04-17
A
n
d
rew Kenne
d
y
Add tast
o
ption
t
o hh_c
h
eck
commit
|
commitdiff
|
tree
2020-04-14
A
ndrew Kenne
d
y
Replace Fellipsis by us
e
of
F
variadic
commit
|
commitdiff
|
tree
2020-04-14
A
n
drew K
e
nnedy
Small changes t
o
m
ake
TAST output compatible
commit
|
commitdiff
|
tree
2020-04-09
Andrew Kennedy
Avo
i
d red
u
ndant get_class in ex
p
and_typeco
n
st
commit
|
commitdiff
|
tree
2020-04-09
Andrew Ken
n
edy
Add d
e
finition si
t
e position to
cyclic typ
e
de
f
error
commit
|
commitdiff
|
tree
2020-04-09
An
d
r
ew Kennedy
Replace use of bools
i
n decl element by bitwise flags
commit
|
commitdiff
|
tree
2020-04-09
Andrew
Kennedy
Replace
us
e
of
bool
s
in
pa
r
am
b
y bitwi
s
e flag
s
commit
|
commitdiff
|
tree
2020-04-07
Andre
w
K
e
nnedy
Wrap unpack
e
rro
r
s
using on
_
error
commit
|
commitdiff
|
tree
2020-04-07
And
r
ew K
e
nnedy
Implement transitive inheri
t
ance in subtypin
g
commit
|
commitdiff
|
tree
next