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
io_uring: fix provided buffers
2022-11-08
Andrew Kennedy
Add
e
x
p
ected tgt file
commit
|
commitdiff
|
tree
2022-11-07
Andrew Ken
n
edy
Make
array operat
i
ons in dynamic
mode oblivious to
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Andrew Kennedy
Interp
r
et inter
s
ect
i
ons as enforced
commit
|
commitdiff
|
tree
2022-11-07
Andrew Kennedy
Refac
t
oring o
f
decl
s
u
bt
y
ping
commit
|
commitdiff
|
tree
2022-11-04
Andrew Kennedy
Fix soundness
i
ssue with i
n
ters
e
ctions
commit
|
commitdiff
|
tree
2022-11-04
A
n
drew Kenne
d
y
Do not
flag a call through a stri
n
g as an error in
.
.
.
commit
|
commitdiff
|
tree
2022-10-28
Andrew Kennedy
Deal
w
ith dynamic in X
H
P
r
e
quired attribute
c
h
e
ck
commit
|
commitdiff
|
tree
2022-10-28
A
n
d
r
ew Kennedy
D
i
sall
o
w
over
r
ide of asy
n
c
by no
n
-async
commit
|
commitdiff
|
tree
2022-10-27
Andrew Kennedy
Fix t
y
pe soundness issue wi
t
h p
r
ivate and generic inheritance
commit
|
commitdiff
|
tree
2022-10-17
Andr
e
w Kennedy
supportdyn a
n
d shapes fi
x
es
commit
|
commitdiff
|
tree
2022-10-17
An
d
r
e
w Kennedy
Fix
b
ug in
c
hecki
n
g of return-d
i
spos
a
b
le
commit
|
commitdiff
|
tree
2022-10-14
Andre
w
Kennedy
Default unknown
t
ypes
to
dynamic in dynam
i
c-c
h
e
ck mode
commit
|
commitdiff
|
tree
2022-10-14
A
n
drew
K
ennedy
Retain
supportdyn<_> in type st
r
u
c
tu
r
e
commit
|
commitdiff
|
tree
2022-10-14
And
r
ew Kennedy
Pretty
print X
H
P
t
y
p
e
s in intersec
t
ions properly
commit
|
commitdiff
|
tree
2022-10-13
A
n
drew Kennedy
Pus
h
s
u
pportdyn into shape
s
dur
i
ng subt
y
pi
n
g
commit
|
commitdiff
|
tree
2022-10-12
Andrew Kennedy
Index type TA
S
T check
s
h
ould allow l
i
ke types
commit
|
commitdiff
|
tree
2022-10-06
A
n
dre
w
Kennedy
Intersecti
o
n <: Like
commit
|
commitdiff
|
tree
2022-10-05
Andre
w
Kennedy
Process like
t
ypes
w
hen
transforming XHP enum attribu
t
es
commit
|
commitdiff
|
tree
2022-09-30
Andr
e
w Kennedy
XH
P
check s
h
o
uld be more liberal in pre
s
e
n
ce of dyn
a
mic
commit
|
commitdiff
|
tree
2022-09-30
A
n
dr
e
w
K
ennedy
Support impl
i
cit upcast for SDT
function application
commit
|
commitdiff
|
tree
2022-09-28
A
ndrew Kennedy
Use intersection types for par
t
i
a
l
enforcemen
t
commit
|
commitdiff
|
tree
2022-09-27
Andrew Kennedy
Fix
R
eturnDisposable issue wit
h
d
y
namic check
commit
|
commitdiff
|
tree
2022-09-27
Andrew Ke
n
n
e
dy
Back off t
o
dynamic method in
v
ocation
in dynamic mode
commit
|
commitdiff
|
tree
2022-09-20
And
r
ew K
e
nne
d
y
Implic
i
t upcast to dynamic
commit
|
commitdiff
|
tree
2022-08-31
Andrew Kenned
y
Default to
~
int in arithme
t
ic ops
commit
|
commitdiff
|
tree
2022-08-31
A
n
d
r
ew Kenn
e
dy
Fail
e
d to o
b
serve expected
n
ullab
l
e func
t
ion
t
ype when
.
.
.
commit
|
commitdiff
|
tree
2022-08-31
Andrew Kennedy
Remove red
u
ndant parameter
typ
e
checks durin
g
closure
.
.
.
commit
|
commitdiff
|
tree
2022-08-29
Andrew Kennedy
Strip
sup
p
ortdy
n
o
ff expecte
d
shape type
commit
|
commitdiff
|
tree
2022-08-26
Andrew Kennedy
Remove tgt_p
e
ss fil
e
s
commit
|
commitdiff
|
tree
2022-08-24
Andrew K
e
nnedy
A
d
d supportdy
n
con
s
traint w
h
e
n
c
o
nstructing A
w
aitable
.
.
.
commit
|
commitdiff
|
tree
2022-08-24
A
ndrew Ke
n
nedy
A
d
d
e
xpected files for fa
i
l
i
n
g
targ
e
ted pess
i
mis
a
tion
commit
|
commitdiff
|
tree
2022-08-19
A
n
d
rew Kennedy
Fix checking of forma
t
functions under dynamic mo
d
e
commit
|
commitdiff
|
tree
2022-08-19
A
ndrew Kennedy
R
e
move di
s
abled test
commit
|
commitdiff
|
tree
2022-08-18
Andrew
Kennedy
D
o
not change code or pos
i
tion f
o
r error whe
n
checking
.
.
.
commit
|
commitdiff
|
tree
2022-08-12
Andrew Kennedy
Remove disabled test
commit
|
commitdiff
|
tree
2022-08-08
A
ndrew Kennedy
Enable mo
r
e like pu
s
hing
w
it
h
more gen
e
rous test for
.
.
.
commit
|
commitdiff
|
tree
2022-08-01
Andrew
K
ennedy
P
e
rmit upcasts in
initiali
z
e
r
exp
r
essions
commit
|
commitdiff
|
tree
2022-07-20
Andrew Kennedy
Lambda paramet
e
r should default to
d
y
n
amic
u
n
der dynamic
.
.
.
commit
|
commitdiff
|
tree
2022-07-20
Andrew
K
e
n
ne
d
y
Remove mista
k
en S
D
T
from hhi method
commit
|
commitdiff
|
tree
2022-07-20
A
ndrew Kennedy
A
dd SDT an
n
otation to s
o
m
e hhi fu
n
ction
s
commit
|
commitdiff
|
tree
2022-07-20
Andrew Kenn
e
dy
Do
n
ot hon
o
ur SDT unless featu
r
e is en
a
b
l
ed
commit
|
commitdiff
|
tree
2022-07-19
Andrew Kenned
y
Ignore unbound
n
a
me erro
r
s on dy
n
amic
p
ass
commit
|
commitdiff
|
tree
2022-07-15
Andrew K
e
nnedy
Allow like-typ
e
d d
e
faul
t
parameter express
i
o
n
even
.
.
.
commit
|
commitdiff
|
tree
2022-07-15
Andrew
Kennedy
Account for async when
p
o
iso
n
i
n
g the hierarchy
commit
|
commitdiff
|
tree
2022-07-14
A
n
d
rew Kennedy
Clean up d
i
sabled tests
commit
|
commitdiff
|
tree
2022-07-13
Andrew Kennedy
Allo
w
default
e
xpressio
n
t
y
pe to be a like t
y
pe for
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
An
d
re
w
Ken
n
ed
y
Pessimise non-
e
n
f
orc
e
d inout par
a
meters
commit
|
commitdiff
|
tree
2022-07-07
A
ndrew Ken
n
edy
Trea
t
enf
o
r
c
e
d in
o
ut return as a like type
commit
|
commitdiff
|
tree
2022-07-06
Andrew Kenne
d
y
Generali
z
e
fix for SDT function a
p
plication to
f
unction
s
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Andrew Kennedy
A
djust
argument type for SDT fu
n
ction call when result
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Andrew Kenn
e
dy
Use sup
p
o
r
tdyn on S
D
T lambdas and w
h
e
n applying m
e
th
_
caller
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Andrew
Kennedy
Intersect pushed l
i
k
e
t
ype with u
p
per bou
n
d
commit
|
commitdiff
|
tree
2022-06-22
A
n
drew Ken
n
edy
Re
m
ove a pess_disa
b
le
d
fi
l
e
commit
|
commitdiff
|
tree
2022-06-22
Andrew Kennedy
F
ix
t
arget pessimi
s
ation
test to use
batch files
commit
|
commitdiff
|
tree
2022-06-17
Andrew Ke
n
n
e
dy
Treat e
n
u
m
s as
unenforced
commit
|
commitdiff
|
tree
2022-06-16
Andr
e
w Kenn
e
d
y
Inferred l
a
mb
d
a t
y
pes shoul
d
h
a
ve sup
p
o
rtdyn in SD
T
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
A
n
dre
w
Kennedy
Fix
p
rintf fi
x
for pessim
i
sed
h
hi
commit
|
commitdiff
|
tree
2022-06-14
An
d
r
e
w Ke
n
nedy
Allow re
f
ined dyn
a
mic
t
o be passed to SDT f
u
nc
t
ion
commit
|
commitdiff
|
tree
2022-06-11
And
r
ew Kennedy
D
o
not add like t
y
pe
s
to p
a
rameters
f
or targe
t
e
d pessimisation
commit
|
commitdiff
|
tree
2022-06-08
A
ndrew Kennedy
Targeted pessimisation of pro
p
erti
e
s
commit
|
commitdiff
|
tree
2022-06-08
Andrew
Kennedy
Allow (
d
ynamic
&
t) | u to be pass
e
d to
S
DT function
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Andrew Kennedy
Targeted
pessimisati
o
n for return types
commit
|
commitdiff
|
tree
2022-05-24
An
d
rew K
e
nnedy
Stack overflow with cycli
c
bou
n
ds
commit
|
commitdiff
|
tree
2022-05-06
An
d
rew K
e
n
nedy
Remove return_dynam
i
c
ally_callabl
e
from ret
u
rn info
.
.
.
commit
|
commitdiff
|
tree
2022-05-05
An
d
rew
K
ennedy
Remove r
e
turn_ex
p
l
i
cit from
r
eturn info
commit
|
commitdiff
|
tree
2022-05-05
Andrew Kennedy
Add lik
e
t
o
enfor
c
e
d
return type when checking function
.
.
.
commit
|
commitdiff
|
tree
2022-05-05
A
n
drew Kennedy
M
o
re return t
y
pe
c
lea
n
u
p
commit
|
commitdiff
|
tree
2022-05-03
An
d
re
w
Kennedy
Clean up
ma
k
e_return_t
y
pe
commit
|
commitdiff
|
tree
2022-04-26
Andre
w
Ken
n
edy
n
e
w
t
ype N should
n
ot b
e
a
s
ubtype
o
f XHPChild unl
e
ss
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
Andrew Kennedy
Ignore like when checki
n
g xhp type
commit
|
commitdiff
|
tree
2022-04-22
Andre
w
Kennedy
Use non-
d
y
namic-aware subtyping fo
r
c
onstraints on
.
.
.
commit
|
commitdiff
|
tree
2022-04-22
A
n
drew Kennedy
R
e
mo
v
e
su
p
erfluous use of base_type whe
n
checking w
e
ll
.
.
.
commit
|
commitdiff
|
tree
2022-04-20
Andrew
K
e
nnedy
Push likes with
o
ut using
d
is
j
u
nction
commit
|
commitdiff
|
tree
2022-04-13
An
d
rew Kennedy
Merge i
d
entical disjuncts
commit
|
commitdiff
|
tree
2022-04-13
Andrew Kennedy
S
ubtyping: support
d
yn
o
n
l
e
f
t, nullable on rig
h
t
commit
|
commitdiff
|
tree
2022-04-11
Andrew Kennedy
M
e
rge identical
p
r
opositions in conjun
c
tions and
disjunctions
commit
|
commitdiff
|
tree
2022-04-11
Andrew Kennedy
Merge
pro
p
_to_env and process
_
simplify_su
b
t
ype_result
commit
|
commitdiff
|
tree
2022-04-06
Andrew Kennedy
Avoi
d
using p
r
op_to_
e
nv outside subtyping mo
d
ule
commit
|
commitdiff
|
tree
2022-04-05
A
n
drew Ken
n
edy
Enable tests
commit
|
commitdiff
|
tree
2022-03-31
Andrew Kennedy
Me
r
ge Typi
n
g_logic
.
Coerce and T
y
pi
n
g_logic
.
I
s
S
ubtype
commit
|
commitdiff
|
tree
2022-03-31
An
d
rew Kenn
e
dy
R
e
f
a
ctor Coerce/
I
sSubtype to
b
oth take intern
a
l
types
commit
|
commitdiff
|
tree
2022-03-30
Andrew
K
e
nnedy
Enable test
commit
|
commitdiff
|
tree
2022-03-29
Andr
e
w Kennedy
Remove u
n
necess
a
r
y
er
r
o
r
for lambda
s
commit
|
commitdiff
|
tree
2022-03-29
Andr
e
w
K
enne
d
y
Enable test
s
commit
|
commitdiff
|
tree
2022-03-29
A
ndr
e
w
K
en
n
edy
Do not reject lambdas
p
assed to parameters with generi
c
.
.
.
commit
|
commitdiff
|
tree
2022-03-28
Andrew Kennedy
Push like types
thr
o
u
g
h
r
e
turn type
o
f functio
n
type
commit
|
commitdiff
|
tree
2022-03-28
Andrew K
e
nned
y
Avoid ca
p
ture when insta
n
tiating
generic function ty
p
es
commit
|
commitdiff
|
tree
2022-03-25
Andrew Kenne
d
y
Permit generic methods to ove
r
ride their own
instantia
t
ions
commit
|
commitdiff
|
tree
2022-03-21
Andrew
K
en
n
e
d
y
Add tes
t
f
o
r t
y
pe paramete
r
capture
t
yp
e
ho
l
e
commit
|
commitdiff
|
tree
2022-03-17
Andrew
K
e
nnedy
Allow
_
_toSt
r
ing to
ha
v
e
a
l
ike type
commit
|
commitdiff
|
tree
2022-03-16
Andrew Kenne
d
y
Simplify up
p
er bo
u
nds in disjunctions us
i
ng same ide
a
.
.
.
commit
|
commitdiff
|
tree
2022-03-16
An
d
rew K
e
nned
y
Retu
r
n supportdyn fiel
d
typ
e
f
r
om Shapes::idx
o
n
supportdyn
.
.
.
commit
|
commitdiff
|
tree
2022-03-16
Andrew Ke
n
ne
d
y
Enable
t
est
commit
|
commitdiff
|
tree
2022-03-16
Andre
w
Kennedy
A
l
low type
p
roje
c
tion on t
y
var in dyn
a
mic mode
commit
|
commitdiff
|
tree
2022-03-15
Andrew Kennedy
Ma
k
e
resource
s
upport dynamic
commit
|
commitdiff
|
tree
2022-03-15
Andrew K
e
nnedy
Simplify
s
u
pport
d
yn<t
>
commit
|
commitdiff
|
tree
2022-03-14
And
r
e
w Ken
n
edy
Pe
s
simise AsyncIterato
r
etc
j
ust l
i
ke Awaitab
l
e
commit
|
commitdiff
|
tree
2022-03-14
Andre
w
Kennedy
D
e
al w
i
th supportd
y
n when simplifying unions
commit
|
commitdiff
|
tree
2022-03-11
Andrew K
e
nnedy
Defau
l
t case after like
pus
h
i
ng was not
t
a
ken
commit
|
commitdiff
|
tree
2022-03-10
Andrew Kennedy
Do
not remove like from in
o
ut parameters
commit
|
commitdiff
|
tree
next