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
Add compatibility test for adding custom default for terse field
2022-09-20
Andrew Kennedy
Impl
i
cit upcast
t
o dynamic
commit
|
commitdiff
|
tree
2022-08-31
An
d
rew Kennedy
Def
a
ult to
~
int in arit
h
metic o
p
s
commit
|
commitdiff
|
tree
2022-08-31
An
d
rew Kennedy
Failed to observe exp
e
ct
e
d nullable function type w
h
en
.
.
.
commit
|
commitdiff
|
tree
2022-08-31
Andrew Ke
n
nedy
Remove
redun
d
ant
pa
r
ameter type checks
during closure
.
.
.
commit
|
commitdiff
|
tree
2022-08-29
Andrew K
e
nnedy
Strip
s
uppor
t
d
y
n o
f
f exp
e
cted sh
a
pe
t
ype
commit
|
commitdiff
|
tree
2022-08-26
Andrew K
e
nnedy
R
e
m
o
v
e tgt_pess
file
s
commit
|
commitdiff
|
tree
2022-08-24
A
ndre
w
Kennedy
A
d
d supportdyn
constraint when cons
t
ruct
i
ng Awaitable
.
.
.
commit
|
commitdiff
|
tree
2022-08-24
An
d
rew K
e
nnedy
Add expected files for failing
targeted pessi
m
isation
commit
|
commitdiff
|
tree
2022-08-19
Andrew Ken
n
edy
Fix checking o
f
fo
r
mat
functi
o
ns under d
y
namic m
o
de
commit
|
commitdiff
|
tree
2022-08-19
Andrew
K
ennedy
R
e
move
dis
a
bled test
commit
|
commitdiff
|
tree
2022-08-18
Andrew Kennedy
D
o not
c
hange code o
r
position fo
r
err
o
r when checking
.
.
.
commit
|
commitdiff
|
tree
2022-08-12
Andrew Kennedy
Remove disabled test
commit
|
commitdiff
|
tree
2022-08-08
An
d
rew Kennedy
Enable mor
e
l
i
k
e
pushing with more gen
e
rous test
f
or
.
.
.
commit
|
commitdiff
|
tree
2022-08-01
An
d
re
w
Kennedy
Per
m
it upcasts in initializer expressi
o
ns
commit
|
commitdiff
|
tree
2022-07-20
Andrew
Kenn
e
d
y
Lambda parame
t
er should default to
d
y
n
amic under
dyna
m
i
c
.
.
.
commit
|
commitdiff
|
tree
2022-07-20
Andrew Kenned
y
R
e
mo
v
e mis
t
ake
n
S
D
T from hhi m
e
thod
commit
|
commitdiff
|
tree
2022-07-20
Andrew
K
ennedy
Add SDT anno
t
a
tion to so
m
e
hh
i
functi
o
ns
commit
|
commitdiff
|
tree
2022-07-20
Andrew Kennedy
D
o
not
h
o
nour SDT
unless feature is enab
l
ed
commit
|
commitdiff
|
tree
2022-07-19
Andrew
K
e
nne
d
y
Ig
n
ore
u
nbound name errors on
d
yna
m
ic pas
s
commit
|
commitdiff
|
tree
2022-07-15
Andr
e
w Kennedy
A
l
lo
w
l
i
ke-typed default paramete
r
expression even
.
.
.
commit
|
commitdiff
|
tree
2022-07-15
And
r
e
w Kennedy
A
c
count for a
s
y
n
c
whe
n
poisoning th
e
h
i
erarc
h
y
commit
|
commitdiff
|
tree
2022-07-14
A
ndr
e
w Kennedy
Cle
a
n up disabled tests
commit
|
commitdiff
|
tree
2022-07-13
Andrew Kennedy
Allow d
e
f
ault express
i
on typ
e
to be a li
k
e type for
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Andrew Kennedy
Pessimise no
n
-enfor
c
ed inout parameters
commit
|
commitdiff
|
tree
2022-07-07
Andrew Kennedy
T
r
eat enforc
e
d ino
u
t return a
s
a like type
commit
|
commitdiff
|
tree
2022-07-06
Andre
w
Ke
n
nedy
Genera
l
ize fix for SDT fu
n
c
t
ion appli
c
ati
o
n to f
u
n
c
tions
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Andrew
Kennedy
A
d
j
ust argument type fo
r
S
D
T fu
n
ct
i
on call when result
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Andrew Kennedy
Use s
u
pportdyn on SDT lam
b
das and when app
l
ying meth_cal
l
er
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Andrew Kenne
d
y
I
n
t
e
rsect pushed l
i
ke ty
p
e with upper bound
commit
|
commitdiff
|
tree
2022-06-22
An
d
rew K
e
n
n
edy
Remo
v
e a pess_di
s
abled file
commit
|
commitdiff
|
tree
2022-06-22
Andr
e
w Kennedy
F
ix targe
t
pessim
i
sation test to use batch files
commit
|
commitdiff
|
tree
2022-06-17
An
d
re
w
Kennedy
Treat enums as unenforced
commit
|
commitdiff
|
tree
2022-06-16
Andrew Kennedy
Inferr
e
d l
a
mbda types should have
support
d
yn in SDT
.
.
.
commit
|
commitdiff
|
tree
2022-06-15
Andre
w
Ken
n
edy
Fix printf fix for pessimised hhi
commit
|
commitdiff
|
tree
2022-06-14
A
n
d
r
ew Kennedy
Allow refine
d
dynamic to be passed to S
D
T
f
u
n
ction
commit
|
commitdiff
|
tree
2022-06-11
Andrew Kennedy
Do not
add lik
e
types to
p
a
r
ameters for
t
argeted p
e
ssimisatio
n
commit
|
commitdiff
|
tree
2022-06-08
Andrew Kenned
y
T
a
rget
e
d pessimisat
i
on
of properties
commit
|
commitdiff
|
tree
2022-06-08
Andrew Kennedy
Allow (dynamic & t) |
u
to be
p
assed to SD
T
functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Andre
w
Kennedy
T
a
rgeted pe
s
simisa
t
ion for return types
commit
|
commitdiff
|
tree
2022-05-24
A
n
dre
w
Kennedy
Stack
o
verflow with
c
y
cli
c
bounds
commit
|
commitdiff
|
tree
2022-05-06
Andrew Kennedy
Remove return_d
y
namical
l
y_c
a
llable from return inf
o
.
.
.
commit
|
commitdiff
|
tree
2022-05-05
An
d
rew Kennedy
Remove return_expli
c
it from retu
r
n info
commit
|
commitdiff
|
tree
2022-05-05
Andrew K
e
nnedy
Ad
d
like to enforced re
t
urn t
y
pe
whe
n
checki
n
g f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2022-05-05
A
ndrew
K
enn
e
dy
More return type cleanup
commit
|
commitdiff
|
tree
2022-05-03
A
n
d
r
ew Kennedy
Clea
n
up make_return_typ
e
commit
|
commitdiff
|
tree
2022-04-26
And
r
ew Kenn
e
dy
newt
y
p
e
N shoul
d
not be a subtype of XHPChil
d
unless
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
Andrew Kenn
e
dy
Ignore
l
ike whe
n
che
c
king xhp type
commit
|
commitdiff
|
tree
2022-04-22
Andrew Kennedy
Use no
n
-dynamic-aware subtyping f
o
r const
r
aints on
.
.
.
commit
|
commitdiff
|
tree
2022-04-22
Andrew
K
ennedy
Rem
o
ve supe
r
fluous use of base_t
y
pe when
checking well
.
.
.
commit
|
commitdiff
|
tree
2022-04-20
Andrew Ke
n
nedy
P
ush likes
w
ithout u
s
ing disjunction
commit
|
commitdiff
|
tree
2022-04-13
Andrew Kennedy
Merg
e
i
d
entica
l
di
s
juncts
commit
|
commitdiff
|
tree
2022-04-13
A
n
drew Kennedy
Subtypin
g
: supp
o
rtdyn on
l
ef
t
, nullabl
e
on
r
ight
commit
|
commitdiff
|
tree
2022-04-11
Andrew Kenned
y
M
erge ident
i
cal propositions in
c
o
n
j
uncti
o
n
s
and disjunctions
commit
|
commitdiff
|
tree
2022-04-11
A
ndrew
K
e
nnedy
Merge prop_to_env and process_sim
p
lify_subtype_r
e
sult
commit
|
commitdiff
|
tree
2022-04-06
Andrew
Kenn
e
dy
Av
o
id using prop_to_en
v
outside subtyping
module
commit
|
commitdiff
|
tree
2022-04-05
Andr
e
w Kenned
y
Enable t
e
sts
commit
|
commitdiff
|
tree
2022-03-31
Andrew Kennedy
Me
r
ge T
y
ping_l
o
gic
.
Coerce and
Typing_log
i
c
.
IsSu
b
type
commit
|
commitdiff
|
tree
2022-03-31
An
d
rew Kennedy
Refactor
C
oerce/IsSu
b
type to b
o
th take inter
n
al types
commit
|
commitdiff
|
tree
2022-03-30
Andrew Kennedy
Enab
l
e test
commit
|
commitdiff
|
tree
2022-03-29
And
r
ew Kennedy
Rem
o
ve unnecessa
r
y er
r
or for
la
m
b
d
as
commit
|
commitdiff
|
tree
2022-03-29
Andr
e
w Kennedy
Enabl
e
t
e
sts
commit
|
commitdiff
|
tree
2022-03-29
Andrew Kenned
y
D
o
not reject lambdas p
a
ssed to parameter
s
wit
h
generic
.
.
.
commit
|
commitdiff
|
tree
2022-03-28
Andre
w
Ken
n
ed
y
Push like types through return type of func
t
ion type
commit
|
commitdiff
|
tree
2022-03-28
Andrew Kennedy
Avoid capture w
h
en inst
a
ntiat
i
ng generi
c
function types
commit
|
commitdiff
|
tree
2022-03-25
Andrew Kenn
e
d
y
Permi
t
gen
e
ri
c
methods to override their
o
wn
i
nstantiat
i
o
n
s
commit
|
commitdiff
|
tree
2022-03-21
And
r
ew Kennedy
Add test for type
paramet
e
r captu
r
e type hole
commit
|
commitdiff
|
tree
2022-03-17
Andrew Ke
n
nedy
Allow __toStri
n
g to hav
e
a
li
k
e type
commit
|
commitdiff
|
tree
2022-03-16
Andr
e
w Kennedy
Si
m
plify upp
e
r bounds in disjuncti
o
n
s using same idea
.
.
.
commit
|
commitdiff
|
tree
2022-03-16
An
d
rew
K
e
nnedy
R
e
tur
n
sup
p
ortdyn fiel
d
type from Shapes::
i
dx
o
n
supportdyn
.
.
.
commit
|
commitdiff
|
tree
2022-03-16
A
n
drew Kennedy
Enable test
commit
|
commitdiff
|
tree
2022-03-16
And
r
ew Ke
n
ne
d
y
Allow
t
ype
p
roject
i
on
on tyva
r
in dyna
m
i
c
mode
commit
|
commitdiff
|
tree
2022-03-15
A
ndrew Kenned
y
Mak
e
res
o
urce
support dynamic
commit
|
commitdiff
|
tree
2022-03-15
Andrew
K
enn
e
dy
Simplify supportdyn<t>
commit
|
commitdiff
|
tree
2022-03-14
A
n
d
re
w
Kennedy
Pessimise AsyncIt
e
rator e
t
c just like Awaitable
commit
|
commitdiff
|
tree
2022-03-14
Andrew K
e
nnedy
D
e
al with supportdyn when s
i
mplifying unions
commit
|
commitdiff
|
tree
2022-03-11
Andre
w
Kenn
e
dy
Defa
u
lt case after like pushing
w
a
s
not taken
commit
|
commitdiff
|
tree
2022-03-10
Andrew Kennedy
Do not remove like from inout
par
a
me
t
ers
commit
|
commitdiff
|
tree
2022-03-10
A
ndrew Kenn
e
d
y
Use exp
a
n
ded type when subtypin
g
un
i
ons on
r
ight
commit
|
commitdiff
|
tree
2022-03-09
Andrew
Kennedy
Fix
s
u
btyping of supp
o
rt
d
yn and nulla
b
les
commit
|
commitdiff
|
tree
2022-03-03
A
n
drew Ken
n
edy
Lambda whose
e
xpected type is suppo
r
tdyn of non-fu
n
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
And
r
ew Kennedy
Only check f
o
r deprecation in non-dynam
i
c mo
d
e
commit
|
commitdiff
|
tree
2022-02-28
Andrew Kenne
d
y
Do no
t
wrap
sup
p
ortdyn with anoth
e
r supportdyn
commit
|
commitdiff
|
tree
2022-02-25
A
ndrew Ken
n
edy
Refine shape
und
e
rneath s
u
pportdyn
commit
|
commitdiff
|
tree
2022-02-24
Andrew Kenned
y
Preserv
e
supportdy
n
acro
s
s shape
updates
commit
|
commitdiff
|
tree
2022-02-24
A
ndrew Kennedy
De
a
l wi
t
h i
n
tersections with n
o
nnull
ex
p
licitly in
.
.
.
commit
|
commitdiff
|
tree
2022-02-22
Andrew K
e
nn
e
dy
Ig
n
ore sup
p
ortdyn in is
/
a
s
constructs
commit
|
commitdiff
|
tree
2022-02-22
Andrew Ke
n
nedy
Permit enum class label
to
b
e
p
assed wh
e
re dyna
m
ic
.
.
.
commit
|
commitdiff
|
tree
2022-02-22
Andrew Ke
n
nedy
Mo
v
e enum class
t
yping tests
to t
y
p
echeck directory
commit
|
commitdiff
|
tree
2022-02-21
A
n
drew
K
e
nnedy
M
o
re cl
e
an
u
p
of
p
arameter checking
commit
|
commitdiff
|
tree
2022-02-21
Andrew Ken
n
ed
y
Small cl
e
anup of para
m
type checki
n
g
commit
|
commitdiff
|
tree
2022-02-18
Andrew Ke
n
nedy
Do
not push like through cont
r
av
a
riant arguments
commit
|
commitdiff
|
tree
2022-02-18
Andrew Kennedy
Acc
o
unt for impl
i
cit p
a
r
a
ms in tyvar
var
i
ance
commit
|
commitdiff
|
tree
2022-02-15
Andre
w
Kennedy
Remove ft_ari
t
y an
d
fun_arity type
commit
|
commitdiff
|
tree
2022-02-09
An
d
rew K
e
nnedy
Remove fun_va
r
i
a
dicit
y
fro
m
A
A
ST
commit
|
commitdiff
|
tree
2022-02-02
Andrew K
e
nn
e
dy
C
l
e
an up variadic
s
part 1: add variadic flag
t
o fun_type
commit
|
commitdiff
|
tree
2022-01-31
Andrew Ke
n
nedy
Avoid un
n
ecessary
d
i
sju
n
ction in subtyping
commit
|
commitdiff
|
tree
2022-01-31
An
d
rew Kennedy
Si
m
plify intersecti
o
ns
w
ith Tany in subtypi
n
g
commit
|
commitdiff
|
tree
2022-01-27
Andrew Kenne
d
y
Option t
o
log non-sin
g
leton
d
isjunction
s
in subtyp
i
ng
commit
|
commitdiff
|
tree
2022-01-25
Andrew Kennedy
Fix empty p
o
si
t
i
o
ns
commit
|
commitdiff
|
tree
2022-01-19
An
d
rew Kennedy
Implement like
pushing
for
n
ewtype
commit
|
commitdiff
|
tree
next