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
Use dynamic-aware subtyping for constraint checks on explicit type arguments
2021-03-30
Andrew
K
ennedy
U
s
e
d
y
n
amic-aware subtyping for
c
onstra
i
nt che
c
ks on
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Andrew Kennedy
Implemen
t
__Sou
n
dD
y
nami
c
Callable attribute for class
commit
|
commitdiff
|
tree
2021-03-23
Andrew Kennedy
Pe
r
mit private
members t
o
hav
e
n
o
n
-dynamically-callable
.
.
.
commit
|
commitdiff
|
tree
2021-03-23
Andrew
K
ennedy
Cor
r
ectly merge the consistent flag
on tpenv
commit
|
commitdiff
|
tree
2021-03-23
A
n
drew Kenn
e
dy
Force GC at start of file processing o
n
ly if longli
v
ed_worke
.
.
.
commit
|
commitdiff
|
tree
2021-03-22
Andrew Ken
n
edy
S
ubtyping o
f
functions against dynamic
commit
|
commitdiff
|
tree
2021-03-19
Andr
e
w
Kennedy
Clear caches
and do a GC
w
h
e
n
m
e
mory
c
a
p
is
exc
e
ed
e
d
commit
|
commitdiff
|
tree
2021-03-19
An
d
r
ew Kenne
d
y
Use longli
v
ed_
w
o
r
kers
f
l
ag
i
n
hh
.
conf to con
t
rol use
.
.
.
commit
|
commitdiff
|
tree
2021-03-18
Andrew Kenn
e
d
y
Im
p
r
o
ve pretty
p
rinting
of types w
i
th where con
s
t
r
aints
commit
|
commitdiff
|
tree
2021-03-17
Andrew K
e
nnedy
Fix use of protected
members
in trait
s
commit
|
commitdiff
|
tree
2021-02-26
And
r
ew Kenned
y
Do n
o
t se
t
expected type if it's an unsolved
type
v
a
riab
l
e
commit
|
commitdiff
|
tree
2021-02-19
A
ndrew
Kennedy
Dead code: decl_tany
commit
|
commitdiff
|
tree
2021-02-19
Andrew Kenn
e
dy
C
lean up
u
se of get_self
commit
|
commitdiff
|
tree
2021-02-17
Andrew Kennedy
Che
c
k properties in
c
las
s
that implemen
t
s
d
yn
a
mic
commit
|
commitdiff
|
tree
2021-02-04
An
d
rew Kennedy
Soun
d
Dy
n
amic: suppor
t
s
u
b
typing to dynamic when checking
.
.
.
commit
|
commitdiff
|
tree
2021-02-02
A
n
d
rew Kennedy
Compare
t
y
pes and subt
y
pe p
r
o
p
when c
o
mp
u
ting d
e
lta
.
.
.
commit
|
commitdiff
|
tree
2021-01-26
Andrew Ke
n
n
e
d
y
Fix memory leak
i
n Timer
commit
|
commitdiff
|
tree
2021-01-21
Andr
e
w Kennedy
Rem
o
ve from_class from
e
t
y
_env
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kennedy
Remove f
i
n
a
l use of from
_
c
l
ass in class_get
commit
|
commitdiff
|
tree
2021-01-21
And
r
ew Kennedy
E
l
iminate unnecessary use of
f
r
o
m_cla
s
s
commit
|
commitdiff
|
tree
2021-01-19
Andrew Kennedy
Fix n
o
n-terminating checking
with intersection typ
e
.
.
.
commit
|
commitdiff
|
tree
2021-01-15
Andrew Kenne
d
y
Fix non-tran
s
i
t
i
ve
s
u
btyping
w
ith g
e
neri
c
par
a
meters
.
.
.
commit
|
commitdiff
|
tree
2021-01-07
And
r
ew Ken
n
edy
Cr
e
a
t
e simpler this types
commit
|
commitdiff
|
tree
2021-01-06
Andrew Ke
n
ne
d
y
Do not
r
eject access to private meth
o
ds throu
g
h a require
.
.
.
commit
|
commitdiff
|
tree
2021-01-04
Andrew Kenn
e
dy
Clean up ty_compare
to cover all type el
e
ments
commit
|
commitdiff
|
tree
2020-12-18
Andrew K
e
n
ned
y
Simplify and
i
mprove
t
yp
e
a
ccesses through intersection
s
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
Andrew Kennedy
Add telemetry
t
o recovery
from
breaching
h
eap cap
commit
|
commitdiff
|
tree
2020-12-11
An
d
rew Kenn
e
dy
Force all cache
f
lushing an
d
G
C to avoid
e
xiting
wo
r
ker
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
A
n
d
r
ew Ke
n
n
e
dy
For
c
e pa
r
ser c
a
che
flushing an
d
G
C to
a
void exiting
.
.
.
commit
|
commitdiff
|
tree
2020-12-11
A
n
drew
K
ennedy
Add mli
file for typin
g
_check_service
commit
|
commitdiff
|
tree
2020-11-17
Andrew Kennedy
Avoid
adding d
e
pende
n
cies on hhi
d
efinit
i
ons
commit
|
commitdiff
|
tree
2020-11-16
Andr
e
w Kenn
e
d
y
Treat FormatStrin
g
a
s
a newt
y
pe
commit
|
commitdiff
|
tree
2020-11-15
A
n
d
r
ew Kennedy
N
ew function get_class_or
_
typedef
commit
|
commitdiff
|
tree
2020-11-12
Andrew Kennedy
Refactor typin
g
_variance to use Typ
i
ng
_
env
.
env
commit
|
commitdiff
|
tree
2020-11-11
Andrew K
e
nnedy
Add mli file for
typ
i
ng_variance
commit
|
commitdiff
|
tree
2020-11-11
Andrew
Kennedy
Do not registe
r
depend
e
ncies
w
h
en declar
i
ng
h
ints
commit
|
commitdiff
|
tree
2020-11-04
Andr
e
w K
e
nned
y
Make Taccess take
just a
single ide
n
tifier n
o
t a
p
ath
commit
|
commitdiff
|
tree
2020-11-04
Andrew Kenn
e
d
y
Remove redundant uses of Cls
.
pos
commit
|
commitdiff
|
tree
2020-11-02
Andrew Kenne
d
y
R
e
mov
e
red
u
nda
n
t
calls to Cls
.
tpar
a
ms
commit
|
commitdiff
|
tree
2020-11-01
A
n
dre
w
Ken
n
edy
Translate
Hac
c
ess hint into ne
s
ted
u
sed
of Tacces
s
commit
|
commitdiff
|
tree
2020-10-28
Andrew Ke
n
nedy
Make Taccess both
a
l
o
cl_ty and
a dec
l
_ty
commit
|
commitdiff
|
tree
2020-10-26
An
d
rew Kenn
e
dy
Type constant access
t
h
rough intersections and union
s
commit
|
commitdiff
|
tree
2020-10-22
Andre
w
Kennedy
Rem
o
ve l
e
gac
y
a
rrays
commit
|
commitdiff
|
tree
2020-10-14
Andr
e
w Kenned
y
Remove
r
edun
d
ant ca
l
ls
t
o static_class_id
commit
|
commitdiff
|
tree
2020-10-08
Andrew Kennedy
Show
u
pper
bound of depen
d
ent
t
y
pe when pretty printing
commit
|
commitdiff
|
tree
2020-09-25
Andrew Kenned
y
A
n
other
si
m
p
le
c
ase of
ext
r
acting
j
ust a Tc
l
ass
commit
|
commitdiff
|
tree
2020-09-25
Andre
w
K
enn
e
dy
Fac
t
or
out e
x
h
austive case ana
l
y
s
is to fin
d
T
c
lass
.
.
.
commit
|
commitdiff
|
tree
2020-09-25
Andrew
K
ennedy
Repl
a
ce special casing
for s
h
ap
e
k
eys by
subtype agai
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2020-09-21
An
d
rew Kenne
d
y
For
equality
o
n
decl types
do not
b
e s
e
nsitive to position
commit
|
commitdiff
|
tree
2020-09-17
Andr
e
w Kenned
y
New
c
onfiguration sett
i
ng
to s
e
t sample ra
t
e
f
o
r typechecking
commit
|
commitdiff
|
tree
2020-09-15
A
ndrew
Ken
n
edy
Trea
t
calls
thro
u
gh
m
u
l
tiple upper b
o
un
d
s as c
a
l
l throu
g
h
.
.
.
commit
|
commitdiff
|
tree
2020-09-09
Andrew K
e
nnedy
Fix build break
a
fte
r
oxidiz
e
d r
e
gen
commit
|
commitdiff
|
tree
2020-09-02
Andrew Ke
n
n
edy
Check we
l
l-formed
n
ess of wher
e
cons
t
r
aints on methods
.
.
.
commit
|
commitdiff
|
tree
2020-09-02
A
ndrew
Kennedy
Remo
v
e redundant check for o
v
er
r
iding final m
e
thod
.
.
.
commit
|
commitdiff
|
tree
2020-09-01
Andrew Kennedy
Be
t
ter error re
p
orting for missing types
in type
c
o
n
s
tant
.
.
.
commit
|
commitdiff
|
tree
2020-08-27
Andrew Kenne
d
y
Small refactori
n
g
i
n
override
c
h
ecks
commit
|
commitdiff
|
tree
2020-08-26
Andrew Kenne
d
y
T
aint
positi
o
ns derived f
r
o
m reasons and report tainted
.
.
.
commit
|
commitdiff
|
tree
2020-08-25
Andre
w
Ken
n
edy
Si
m
pli
f
y varia
n
c
e che
c
ks to be re
a
dy
for int
e
rsection
.
.
.
commit
|
commitdiff
|
tree
2020-08-14
Andrew Kennedy
P
r
oduce er
r
or for inc
o
rr
e
ct mode syntax even when modes
.
.
.
commit
|
commitdiff
|
tree
2020-08-11
A
ndrew Kennedy
Remove dead expr
_
hook feature
commit
|
commitdiff
|
tree
2020-08-10
An
d
rew K
e
n
nedy
Align heap slots
o
n
word inste
a
d of ca
c
heline boundaries
commit
|
commitdiff
|
tree
2020-08-10
Andr
e
w
Ke
n
n
e
dy
Log sha
r
ed h
e
a
p
s
tats about total bytes
including header
.
.
.
commit
|
commitdiff
|
tree
2020-08-05
A
ndrew Kenne
d
y
Avoid some more
calls to su
b
ty
p
e_
m
ethod
commit
|
commitdiff
|
tree
2020-08-05
Andrew
K
ennedy
A
v
oid red
u
nda
n
t calls to
subtyp
e
_m
e
thod
commit
|
commitdiff
|
tree
2020-08-05
A
ndrew Ken
n
e
d
y
C
hange subtype
_
m
et
h
od_decl so that it re
s
to
r
es
g
lob
a
l_tpenv
commit
|
commitdiff
|
tree
2020-08-04
A
n
drew
K
ennedy
Move check for override attribute i
n
to
t
yping
commit
|
commitdiff
|
tree
2020-07-29
Andrew
K
ennedy
R
eject multiple implementation or extension of interfaces
.
.
.
commit
|
commitdiff
|
tree
2020-07-28
Andr
e
w Kenn
e
dy
Move tests for y
i
e
l
d statement into own directory
commit
|
commitdiff
|
tree
2020-07-28
A
ndrew Ken
n
edy
Move magic methods tests into
t
heir own
directory
commit
|
commitdiff
|
tree
2020-07-28
Andr
e
w Ke
n
ne
d
y
M
ove ar
r
a
y
_map and array_filt
e
r
tests i
n
to
o
wn di
r
commit
|
commitdiff
|
tree
2020-07-25
A
ndre
w
K
e
nnedy
Do no
t
rep
o
r
t
duplicate (bad posit
i
on) erro
r
s for ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2020-07-22
An
d
rew Kenned
y
Fix pos
i
tio
n
for m
i
ssing
typ
e
co
n
s
t mem
b
er
o
n type
commit
|
commitdiff
|
tree
2020-07-22
And
r
ew
Kenn
e
dy
R
e
n
am
e
nast
C
h
e
c
k module
commit
|
commitdiff
|
tree
2020-07-09
Andrew Ken
n
edy
Check
t
rait use for
constraint satisf
a
cti
o
n
commit
|
commitdiff
|
tree
2020-07-06
Andrew Kenne
d
y
Fi
x
unsoundness
i
n
o
verriding of generic method wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2020-07-02
An
d
rew
K
e
nnedy
Remove some uses
o
f the Hasht
b
l
.
fin
d
API in decl h
e
ap
commit
|
commitdiff
|
tree
2020-07-01
And
r
ew Kennedy
Re
m
ove red
u
ndant ge
n
erics fr
o
m Shapes methods
commit
|
commitdiff
|
tree
2020-07-01
Andrew Kennedy
Fix Shape
s
::removeKe
y
quad
r
ati
c
blowup
commit
|
commitdiff
|
tree
2020-06-19
Andrew
Kennedy
R
e
factor
s
u
btype_method
commit
|
commitdiff
|
tree
2020-06-19
An
d
r
e
w K
e
nnedy
Clean
up initialization of ge
n
e
ric paramete
r
s and constra
i
nts
commit
|
commitdiff
|
tree
2020-06-16
Andrew Kennedy
R
e
move another
use of reason inf
o
commit
|
commitdiff
|
tree
2020-06-13
Andrew
K
enne
d
y
Remove
r
ed
u
ndant c
o
de from localize_ft
commit
|
commitdiff
|
tree
2020-06-11
Andre
w
Kennedy
A
d
d
n
e
w option stdin-n
a
me
t
o spec
i
fy
filename used
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
A
n
dr
e
w Kenne
d
y
Move error handlin
g
from decl_hin
t
to NAST
che
c
k
commit
|
commitdiff
|
tree
2020-06-03
An
d
rew Kennedy
Do
n
ot
trig
g
e
r e
r
rors an
d
th
e
n sile
n
ce them
whe
n
c
hecki
n
g
.
.
.
commit
|
commitdiff
|
tree
2020-06-03
Andrew Kennedy
Av
o
id
use of get_reason for type c
h
e
ckin
g
commit
|
commitdiff
|
tree
2020-06-01
Andrew Kennedy
Remov
e
redundant check for
constraint s
a
tisfaction
.
.
.
commit
|
commitdiff
|
tree
2020-05-29
Andrew Ken
n
edy
Re
c
ursive type errors should not be obsc
u
red by triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2020-05-28
Andrew
K
e
nnedy
D
etect er
r
ors
with out-
o
f-def
i
nition primar
y
p
ositions
commit
|
commitdiff
|
tree
2020-05-28
Andrew Kennedy
M
o
ve c
h
eck for missing type
h
int on cl
a
ss constants
.
.
.
commit
|
commitdiff
|
tree
2020-05-20
Andrew Ke
n
ne
d
y
Fix
b
ad position
for fa
i
lure
to
satisfy where const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2020-05-15
A
n
drew Kennedy
Remove
s
trin
g
matc
h
i
n
g for hhi ex
t
ension
commit
|
commitdiff
|
tree
2020-05-14
And
r
e
w Kennedy
Do n
o
t report unbound
name er
r
ors
w
he
n
ex
p
anding type
.
.
.
commit
|
commitdiff
|
tree
2020-05-14
Andrew Kennedy
Do n
o
t re
p
ort duplicat
e
errors f
o
r inher
i
ted
t
ype constants
commit
|
commitdiff
|
tree
2020-05-12
An
d
rew
Kennedy
F
i
x bad position bugs in
t
rait
usage
commit
|
commitdiff
|
tree
2020-05-12
Andre
w
Ke
n
ne
d
y
Fix
e
rror for
c
o
n
st overriding so that ov
e
rrid
i
n
g property
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
Andr
e
w Kennedy
D
o
not report duplicate cyc
l
ic de
f
inition erro
r
s due
.
.
.
commit
|
commitdiff
|
tree
2020-05-07
A
n
drew Kennedy
Do not rechec
k
inherited type
c
o
nstants fo
r
enforceability
commit
|
commitdiff
|
tree
2020-05-05
Andrew Kenne
d
y
Bad
p
o
siti
o
n for
error relat
i
n
g to
d
y
n
a
mic prop
e
rty
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
Andre
w
Kennedy
Do not
c
h
e
ck wrong c
l
ass wh
e
n th
e
re are duplica
t
e defin
i
tion
.
.
.
commit
|
commitdiff
|
tree
next