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
Back out "Adding tests for the TC in EC gating"
2022-11-11
Andrew Kennedy
Copy down
interse
c
ted return types to subcl
a
sses
commit
|
commitdiff
|
tree
2022-11-08
A
ndrew Kennedy
Add expect
e
d tgt fi
l
e
commit
|
commitdiff
|
tree
2022-11-07
Andrew Ke
n
nedy
Make array operation
s
in dyn
a
mic
m
ode oblivious to
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Andrew Kennedy
Interpret in
t
er
s
ec
t
i
ons as
e
n
f
orced
commit
|
commitdiff
|
tree
2022-11-07
Andr
e
w Kennedy
Re
f
actori
n
g of
d
e
cl subtyp
i
ng
commit
|
commitdiff
|
tree
2022-11-04
A
ndrew Kenne
d
y
Fix
s
oundnes
s
issue with int
e
rsections
commit
|
commitdiff
|
tree
2022-11-04
An
d
rew Kenne
d
y
Do not fl
a
g a call thro
u
gh a st
r
ing as a
n
error i
n
.
.
.
commit
|
commitdiff
|
tree
2022-10-28
A
n
d
r
ew Kennedy
Deal with dynamic in XHP re
q
uired attribute check
commit
|
commitdiff
|
tree
2022-10-28
Andrew Kennedy
Di
s
allow
overri
d
e of async
b
y non-async
commit
|
commitdiff
|
tree
2022-10-27
A
nd
r
ew Kenn
e
dy
Fix type soundness issue
w
i
t
h
private
a
nd generic inherit
a
nce
commit
|
commitdiff
|
tree
2022-10-17
A
n
drew Kennedy
s
u
p
p
ortdyn and shap
e
s fixes
commit
|
commitdiff
|
tree
2022-10-17
Andre
w
K
e
n
n
e
dy
Fix bug in checkin
g
of
retur
n
-disp
o
sable
commit
|
commitdiff
|
tree
2022-10-14
Andrew
K
ennedy
Default unknown types to d
y
namic in dynamic-chec
k
mode
commit
|
commitdiff
|
tree
2022-10-14
Andrew Ken
n
edy
Retain supp
o
rt
d
yn<_> in typ
e
structure
commit
|
commitdiff
|
tree
2022-10-14
A
n
drew
K
ennedy
Pretty
p
rint XHP types
in intersec
t
ions
p
roperly
commit
|
commitdiff
|
tree
2022-10-13
Andrew Kennedy
Push supportd
y
n
i
n
t
o
shapes duri
n
g
s
ubtyping
commit
|
commitdiff
|
tree
2022-10-12
Andrew Kenne
d
y
Index ty
p
e TAST check
s
ho
u
l
d
a
l
low l
i
ke types
commit
|
commitdiff
|
tree
2022-10-06
Andrew Kennedy
Intersect
i
o
n <: Like
commit
|
commitdiff
|
tree
2022-10-05
Andrew Ken
n
edy
Process
l
ike types w
h
en tr
a
nsformi
n
g
XHP enum
a
t
t
r
ibutes
commit
|
commitdiff
|
tree
2022-09-30
A
n
drew Kenn
e
dy
XHP check s
h
ould
be mor
e
liberal in pre
s
e
n
ce
o
f
dyn
a
mic
commit
|
commitdiff
|
tree
2022-09-30
Andrew
Kenned
y
Support impli
c
i
t upcast for SDT fu
n
ction application
commit
|
commitdiff
|
tree
2022-09-28
Andrew K
e
nnedy
Us
e
i
n
te
r
sec
t
i
on typ
e
s for partial enforcement
commit
|
commitdiff
|
tree
2022-09-27
A
n
dr
e
w
Kennedy
Fix ReturnDisposable issue
with dynamic ch
e
ck
commit
|
commitdiff
|
tree
2022-09-27
An
d
rew Kennedy
Back of
f
to dyn
a
m
i
c method invocat
i
on in dynamic mode
commit
|
commitdiff
|
tree
2022-09-20
Andr
e
w Ken
n
edy
Implicit upc
a
s
t to dyna
m
ic
commit
|
commitdiff
|
tree
2022-08-31
Andrew Kenned
y
Default
t
o ~int
i
n arithme
t
i
c
op
s
commit
|
commitdiff
|
tree
2022-08-31
Andrew
K
e
nnedy
Failed t
o
observe expec
t
ed nullable funct
i
o
n
type whe
n
.
.
.
commit
|
commitdiff
|
tree
2022-08-31
A
ndrew Kennedy
Rem
o
ve redund
a
nt parameter
t
ype checks duri
n
g closure
.
.
.
commit
|
commitdiff
|
tree
2022-08-29
A
n
dr
e
w Kennedy
Strip sup
p
ortdyn off expected shape type
commit
|
commitdiff
|
tree
2022-08-26
Andrew Kennedy
Remo
v
e
tgt_pess fil
e
s
commit
|
commitdiff
|
tree
2022-08-24
Andre
w
Kenn
e
dy
Add supportdyn constrain
t
when constructin
g
Await
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2022-08-24
A
ndrew Kennedy
Add expected files for f
a
i
ling targeted pe
s
simisat
i
on
commit
|
commitdiff
|
tree
2022-08-19
Andrew Kenn
e
dy
Fix checking of format
f
unctions
unde
r
dyn
a
m
ic mod
e
commit
|
commitdiff
|
tree
2022-08-19
And
r
e
w Kennedy
Remove disabled test
commit
|
commitdiff
|
tree
2022-08-18
An
d
rew Kennedy
Do not change code or
p
o
s
i
t
i
o
n for er
r
or when checking
.
.
.
commit
|
commitdiff
|
tree
2022-08-12
And
r
e
w
Kenne
d
y
Remove disabl
e
d test
commit
|
commitdiff
|
tree
2022-08-08
And
r
ew Kennedy
Enable more like p
u
shing with more gene
r
ous test for
.
.
.
commit
|
commitdiff
|
tree
2022-08-01
Andrew Kennedy
Permit upcasts
i
n
initi
a
lizer expression
s
commit
|
commitdiff
|
tree
2022-07-20
Andrew Kennedy
Lambda parameter should default to dyna
m
ic under
dyn
a
mic
.
.
.
commit
|
commitdiff
|
tree
2022-07-20
A
nd
r
ew Kennedy
Remove mistaken SDT f
r
om hhi metho
d
commit
|
commitdiff
|
tree
2022-07-20
Andre
w
K
en
n
edy
Ad
d
SD
T
annotation
t
o so
m
e hh
i
functions
commit
|
commitdiff
|
tree
2022-07-20
And
r
ew Kennedy
Do not honour SDT unless
f
eature
is enabled
commit
|
commitdiff
|
tree
2022-07-19
Andrew Ken
n
edy
I
g
n
or
e
u
n
bound
name e
r
rors on dynamic p
a
ss
commit
|
commitdiff
|
tree
2022-07-15
An
d
r
e
w
Kennedy
Allow like-
t
yp
e
d de
f
ault
p
aram
e
ter expres
s
ion even
.
.
.
commit
|
commitdiff
|
tree
2022-07-15
Andrew Kenned
y
Account for async when poisoning the hierarchy
commit
|
commitdiff
|
tree
2022-07-14
A
n
dre
w
K
e
nnedy
Clean up disab
l
ed
tests
commit
|
commitdiff
|
tree
2022-07-13
A
ndrew
K
ennedy
Allow
d
e
fault expression
t
ype to be a lik
e
type for
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Andrew Kennedy
P
essimi
s
e
non
-
e
nforced inout paramet
e
rs
commit
|
commitdiff
|
tree
2022-07-07
Andrew
Kennedy
Treat e
n
force
d
inout re
t
urn as
a
l
ike t
y
pe
commit
|
commitdiff
|
tree
2022-07-06
Andrew Kenn
e
dy
Generalize fix
fo
r
SDT function
a
p
p
lication to f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
An
d
rew Kennedy
Adjust argument type for SDT function call when result
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
A
n
drew Kennedy
U
s
e supportdyn on SDT lambdas and when applying meth_caller
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
An
d
r
e
w Kennedy
Inte
r
sect pushed lik
e
ty
p
e
with
upper bound
commit
|
commitdiff
|
tree
2022-06-22
Andrew Kenn
e
dy
R
e
move a p
e
ss
_
disabled
file
commit
|
commitdiff
|
tree
2022-06-22
Andrew Kennedy
Fix targ
e
t pessimisation test
t
o use batch
files
commit
|
commitdiff
|
tree
2022-06-17
Andrew Ken
n
edy
Treat enums as un
e
nfor
c
ed
commit
|
commitdiff
|
tree
2022-06-16
Andrew Kennedy
Inferred lambda types should h
a
ve supportdyn in SDT
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
Andr
e
w Kennedy
Fix
pri
n
t
f
fix for
p
e
ssimised
hhi
commit
|
commitdiff
|
tree
2022-06-14
A
n
d
r
ew
Kennedy
Allow
refined dyn
a
mic to be
p
a
s
sed to SD
T
func
t
ion
commit
|
commitdiff
|
tree
2022-06-11
Andrew Kenn
e
dy
D
o
not a
d
d like typ
e
s to
p
arameters for targeted pess
i
misation
commit
|
commitdiff
|
tree
2022-06-08
A
n
drew Kennedy
Targeted pess
i
misa
t
ion o
f
prope
r
ties
commit
|
commitdiff
|
tree
2022-06-08
Andrew Kenned
y
All
o
w (dy
n
amic
&
t) | u to
b
e passed
to SDT function
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
A
ndr
e
w Ken
n
edy
Tar
g
eted
pessimisation
for return types
commit
|
commitdiff
|
tree
2022-05-24
Andrew Kennedy
Stack overflow with cyclic bounds
commit
|
commitdiff
|
tree
2022-05-06
Andrew
K
e
nnedy
Remo
v
e return_dynamically_call
a
ble from
r
eturn
i
nfo
.
.
.
commit
|
commitdiff
|
tree
2022-05-05
Andr
e
w Kennedy
Re
m
ove
return_
e
xplicit f
r
om return info
commit
|
commitdiff
|
tree
2022-05-05
Andrew Kennedy
A
dd li
k
e
to enf
o
rced return
type when checkin
g
f
uncti
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-05
An
d
r
ew Kennedy
More r
e
tu
r
n typ
e
cleanup
commit
|
commitdiff
|
tree
2022-05-03
A
n
drew Kenn
e
dy
Clean up mak
e
_r
e
t
u
rn
_
t
y
pe
commit
|
commitdiff
|
tree
2022-04-26
Andrew
K
ennedy
newtype N shou
l
d
not
be a s
u
btype of XHPChil
d
unless
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
A
ndrew K
e
nnedy
Ignore like when c
h
eck
i
ng
x
hp type
commit
|
commitdiff
|
tree
2022-04-22
Andrew Kennedy
Use non-dynam
i
c
-
aware subtyping for con
s
traints
on
.
.
.
commit
|
commitdiff
|
tree
2022-04-22
And
r
ew Ke
n
nedy
R
emove superfl
u
ous use of base
_
typ
e
when c
h
e
c
king well
.
.
.
commit
|
commitdiff
|
tree
2022-04-20
Andr
e
w Kennedy
Pu
s
h
likes wit
h
o
ut using disjun
c
tion
commit
|
commitdiff
|
tree
2022-04-13
And
r
ew Kennedy
Mer
g
e
identical d
i
sjunct
s
commit
|
commitdiff
|
tree
2022-04-13
Andrew Ke
n
ne
d
y
Subtypi
n
g: supportdyn on
left, n
u
llable on right
commit
|
commitdiff
|
tree
2022-04-11
Andrew K
e
nnedy
Me
r
ge
i
dentical propositions in conjunctions and disjunctions
commit
|
commitdiff
|
tree
2022-04-11
Andrew Kennedy
Merge pro
p
_t
o
_env a
n
d pro
c
ess_simplify_su
b
t
yp
e
_res
u
l
t
commit
|
commitdiff
|
tree
2022-04-06
An
d
rew
Kennedy
A
void using pr
o
p_to_env
outside subty
p
ing module
commit
|
commitdiff
|
tree
2022-04-05
Andrew Kenn
e
dy
En
a
ble tests
commit
|
commitdiff
|
tree
2022-03-31
And
r
ew Kennedy
M
e
r
ge T
y
pi
n
g_log
i
c
.
Coerce
a
nd Typing_logic
.
IsSubtype
commit
|
commitdiff
|
tree
2022-03-31
Andrew
K
e
nnedy
Re
f
a
ctor Coer
c
e
/
I
s
Subty
p
e t
o
both take inter
n
al types
commit
|
commitdiff
|
tree
2022-03-30
An
d
rew Kennedy
En
a
b
le test
commit
|
commitdiff
|
tree
2022-03-29
A
ndrew Kennedy
Remove unnecess
a
ry error
f
or
l
am
b
d
a
s
commit
|
commitdiff
|
tree
2022-03-29
Andr
e
w Kenne
d
y
Enable tests
commit
|
commitdiff
|
tree
2022-03-29
Andrew Ke
n
nedy
Do n
o
t rejec
t
lambdas passed to paramet
e
rs with
gene
r
ic
.
.
.
commit
|
commitdiff
|
tree
2022-03-28
Andrew Ke
n
ned
y
Push lik
e
t
y
p
e
s
t
h
r
ough re
t
urn typ
e
o
f
f
u
nction type
commit
|
commitdiff
|
tree
2022-03-28
And
r
ew Kennedy
A
void captur
e
when instantiat
i
ng
g
eneric
function ty
p
e
s
commit
|
commitdiff
|
tree
2022-03-25
An
d
re
w
Ken
n
edy
Permit
g
e
neric me
t
hods to over
r
i
de the
i
r o
w
n i
n
stantiations
commit
|
commitdiff
|
tree
2022-03-21
A
n
drew K
e
nnedy
A
dd tes
t
for type parameter capture type hole
commit
|
commitdiff
|
tree
2022-03-17
Andrew K
e
n
n
edy
Al
l
ow __
t
oStrin
g
t
o have a like type
commit
|
commitdiff
|
tree
2022-03-16
A
n
drew
Kennedy
S
implify u
p
per
bounds in disjun
c
ti
o
ns us
i
ng same idea
.
.
.
commit
|
commitdiff
|
tree
2022-03-16
An
d
rew Kennedy
R
e
turn s
u
p
portdyn fiel
d
type from Shap
e
s::idx
on
s
upportdyn
.
.
.
commit
|
commitdiff
|
tree
2022-03-16
Andrew Kenn
e
dy
Enable
t
e
s
t
commit
|
commitdiff
|
tree
2022-03-16
A
ndrew K
e
n
n
edy
Allow type projection
o
n ty
v
a
r
in dynamic mo
d
e
commit
|
commitdiff
|
tree
2022-03-15
Andrew
Kennedy
Make resource
suppo
r
t dy
n
amic
commit
|
commitdiff
|
tree
2022-03-15
A
n
d
r
e
w Kennedy
Simplify support
d
yn<t>
commit
|
commitdiff
|
tree
2022-03-14
An
d
rew Kennedy
Pe
s
simise AsyncIterator etc just like
A
waitab
l
e
commit
|
commitdiff
|
tree
2022-03-14
Andrew
K
ennedy
Dea
l
with
s
u
p
portdyn whe
n
simplifying
u
n
ions
commit
|
commitdiff
|
tree
2022-03-11
Andrew
Kennedy
D
e
f
ault case after like push
i
ng was
not t
a
ke
n
commit
|
commitdiff
|
tree
next