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
Move type arity checks to type_params_arity_check (1/2)
2019-02-03
Sasha Manz
y
uk
Eagerly so
l
ve the t
y
pe of the fu
n
ction whe
n
type
-
checking
.
.
.
commit
|
commitdiff
|
tree
2019-02-03
Sasha Manzyuk
Eagerly solve t
h
e
t
ypes of t
h
e arguments of
a
w
ai
t
ex
p
re
s
s
ions
commit
|
commitdiff
|
tree
2019-02-01
S
a
sha Manzyuk
Y
e
t another class o
f
fal
s
e positi
v
e
s that can
be fixed
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Sas
h
a Ma
n
zyu
k
E
a
g
e
rly so
l
ve
t
he t
y
p
e
of an unpacked
f
u
nction
argument
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
Sa
s
ha Manzyuk
Co
r
rectly
t
hrea
d
the enviro
n
me
n
t when type-che
c
ki
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-01-28
S
a
sh
a
M
a
nzyuk
U
s
e Typing_
s
ubtype
.
expand_typ
e
_and_solve in Typing_shape
s
.
.
.
commit
|
commitdiff
|
tree
2019-01-28
Sasha Manzyuk
Mo
r
e
c
o
nstraint-
f
riendly way
o
f type-checking the
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
S
as
h
a Manzyuk
E
xpand
t
he bound
s
when solving typ
e
variables
commit
|
commitdiff
|
tree
2019-01-24
Sasha Man
z
yuk
E
l
iminate redundant subtyping ch
e
cks
a
gainst mixed
commit
|
commitdiff
|
tree
2019-01-22
Sasha Manzyuk
Mak
e
typ
e
ref
i
nement by Shapes::keyExists test
s
w
ork
.
.
.
commit
|
commitdiff
|
tree
2019-01-22
S
asha Manzy
u
k
Support legacy behavior of HH\BuiltinEnum in
the new
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
Sasha Manzyuk
Add short-circuitin
g
in try_union and try_intersec
t
commit
|
commitdiff
|
tree
2019-01-09
Sasha M
a
nzyuk
Eager
l
y
solve the type of the RHS of a list-destructuri
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-01-07
Sash
a
M
a
nzyuk
Solv
e
type v
a
riable
s
w
i
th identical upper and lower
.
.
.
commit
|
commitdiff
|
tree
2019-01-07
Sasha Manzyuk
Correctly se
t
the
v
ari
a
nce of ty
p
e var
i
ables
commit
|
commitdiff
|
tree
2019-01-07
Sasha Manzy
u
k
Tobject shou
l
d not
b
e a subtype of Tclass in strict
.
.
.
commit
|
commitdiff
|
tree
2018-12-12
Sasha Manzyu
k
R
emove bad test
commit
|
commitdiff
|
tree
2018-12-12
S
a
sha Manzyuk
Fix type-checking of
n
es
t
ed
l
i
s
t destructuring under
.
.
.
commit
|
commitdiff
|
tree
2018-12-11
Sasha
Manz
y
uk
Kill of
f
t
uple-like arrays
commit
|
commitdiff
|
tree
2018-12-10
Sas
h
a
Ma
n
zyu
k
Formalizatio
n
of the null type
commit
|
commitdiff
|
tree
2018-12-10
S
a
sha M
a
nzyuk
Record a
f
resh type va
r
ia
b
l
e introduced by Typing_return
.
.
.
commit
|
commitdiff
|
tree
2018-12-10
Sasha Man
z
yuk
Add an example
of safe but
u
ntypeable code
commit
|
commitdiff
|
tree
2018-12-06
Sasha Manzyuk
Solve
f
r
e
sh type variables intr
o
d
u
ced du
r
ing
the type
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
Sasha Manz
y
uk
Fix the
typing of Shapes::removeK
e
y in
t
he
c
o
nstr
a
int
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
S
a
sha
Manzyuk
T
yping rules for Sha
p
es::removeKey
commit
|
commitdiff
|
tree
2018-12-06
Sa
s
ha Manzyuk
Keep track
o
f
unset fields
in a
n
ope
n
shape type
commit
|
commitdiff
|
tree
2018-12-05
S
asha
M
a
n
z
yuk
F
i
x type-checking of suspen
d
with const
r
a
i
nt-base
d
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Sas
h
a Manzyuk
Add
another t
e
st case under
ty
p
echeck/n
e
w_infe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Sasha
M
anzyu
k
Add a test c
a
se under t
y
pech
e
ck/n
e
w_in
f
erence/falsepos
commit
|
commitdiff
|
tree
2018-12-04
Sasha M
a
nzyuk
Pr
o
perly apply transitivity
when
moving a s
u
bty
p
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Sasha Manzy
u
k
Collapse equivalent type varia
b
les in t
v
env
commit
|
commitdiff
|
tree
2018-12-04
Sas
h
a Manz
y
uk
Do
n
'
t a
d
d
a
g
a
in an already existing
upper
/
lower
b
o
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Sasha M
a
nzyuk
Creat
e
a subtyping const
r
aint between the expanded
.
.
.
commit
|
commitdiff
|
tree
2018-12-03
Sasha
M
anzyuk
Don't c
r
eat
e
e
m
p
ty unresolved types for
wildcar
d
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2018-11-22
Sasha Manzyuk
Handle the case when the su
b
type is a un
i
on in simplify
_
subt
.
.
.
commit
|
commitdiff
|
tree
2018-11-19
Sash
a
M
anzyuk
Solve typ
e
variabl
e
s at th
e
end
o
f function or m
e
t
h
od
.
.
.
commit
|
commitdiff
|
tree
2018-11-16
S
a
sha
M
anzy
u
k
Disa
b
le
the mech
a
nism of TODO
l
ists
u
n
der
t
he new i
n
feren
c
e
.
.
.
commit
|
commitdiff
|
tree
2018-11-16
Sasha Manzy
u
k
F
ix p
a
ttern-mat
c
hes on Tvar
causing the typ
e
-checker
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Sasha
Manzyuk
M
ov
e
discarded Awaitabl
e
c
heck to TA
S
T
c
hecki
n
g phase
commit
|
commitdiff
|
tree
2018-11-14
Sasha Manzyuk
Don't ge
n
erate redundant Tan
y
const
r
aints fo
r
parameter
.
.
.
commit
|
commitdiff
|
tree
2018-11-13
Sasha
Manzyuk
Clean up destruc
t
uring of collec
t
i
o
n type fo
r
foreach
commit
|
commitdiff
|
tree
2018-11-12
Sasha Manzyuk
Tem
p
orarily forbid the use of the null type as a
t
ype
.
.
.
commit
|
commitdiff
|
tree
2018-11-12
Sasha Manzyuk
Add s
u
ppo
r
t
for the null type in HH
V
M
commit
|
commitdiff
|
tree
2018-11-07
Sasha Man
z
yu
k
Eliminate Typing_env
.
g
et_options
i
n
f
a
v
o
r of Typ
i
ng_env
.
.
.
commit
|
commitdiff
|
tree
2018-11-06
Sasha Manzyuk
Placeholder $_ cannot be
u
sed in non-binding positions
commit
|
commitdiff
|
tree
2018-11-05
Sas
h
a
M
anzyuk
I
n
troduce
null type
commit
|
commitdiff
|
tree
2018-11-05
Sasha Manzyuk
G
r
oup the remai
n
ing cases in simplify
_
subtyp
e
commit
|
commitdiff
|
tree
2018-11-02
Sasha Ma
n
zyuk
Make Tmixe
d
a decl-only type
commit
|
commitdiff
|
tree
2018-10-30
Sasha Manzy
u
k
Start g
r
ouping the ca
s
es in s
i
mplify_
s
ubtype
b
y sup
e
rtype
commit
|
commitdiff
|
tree
2018-10-30
Sasha M
a
n
zyuk
M
a
tch
o
n snd ety_sub, s
n
d ety
_
super in
s
implify
_
subtype
.
.
.
commit
|
commitdiff
|
tree
2018-10-30
Sasha M
a
nzyuk
A
dd more miss
i
ng cases t
o
simplify
_
s
u
b
type
commit
|
commitdiff
|
tree
2018-10-26
Sa
s
ha M
a
nz
y
uk
Be more explicit about the
d
e
fault case
in s
i
m
p
lify_subty
p
e
commit
|
commitdiff
|
tree
2018-10-25
Sasha Manzyuk
F
l
ag array as
s
ignments to u
n
defi
n
ed variables as
e
rro
r
s
commit
|
commitdiff
|
tree
2018-10-18
Sasha Manzyuk
Improv
e
typ
i
ng of arra
y
assignment
commit
|
commitdiff
|
tree
2018-10-18
Sasha
Manzyuk
Fix th
e
definition of type equality
commit
|
commitdiff
|
tree
2018-10-16
Sasha Manzyuk
Smart
e
r unific
a
tion o
f
u
nresolved type
s
commit
|
commitdiff
|
tree
2018-10-11
Sa
s
ha Manzy
u
k
U
nio
n
of f
l
oat and int
is num
commit
|
commitdiff
|
tree
2018-10-11
Sasha
M
an
z
yuk
E
xpand
Tvars
w
hen computin
g
unions of unresolved types
commit
|
commitdiff
|
tree
2018-10-08
Sasha Manzyuk
Move the
s
wi
t
c
h
ex
h
au
s
t
i
v
ene
s
s
c
hec
k
to
T
A
S
T c
h
ecking
commit
|
commitdiff
|
tree
2018-10-04
Sasha
M
a
nzyuk
M
ove
the chec
k
that the body of an XHP node
c
onsists
.
.
.
commit
|
commitdiff
|
tree
2018-10-04
Sasha M
a
nzyuk
Move Callconv
(i
n
out) checks to TAST
che
c
k
i
ng
commit
|
commitdiff
|
tree
2018-10-03
S
a
sh
a
Manzyuk
Move the rv
a
lue chec
k
i
nto
a
TAST
check
commit
|
commitdiff
|
tree
2018-10-03
Sasha Manzyuk
G
i
ve Shapes::toDict() an ad h
o
c typing
ru
l
e simil
a
r
.
.
.
commit
|
commitdiff
|
tree
2018-10-02
Sa
s
ha M
a
nzy
u
k
Ke
e
p
t
r
ack of the c
u
rrent subtype prop
o
sition in the
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sasha Manzyuk
Fix type-c
h
ecking
o
f
swit
c
h stat
e
ments wi
t
h the
default
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sasha Manzyuk
M
o
ve printing
and logging of sub
t
ype proposit
i
ons out
.
.
.
commit
|
commitdiff
|
tree
2018-09-27
Sa
s
ha Manzyuk
R
e
move redundant cas
e
a
n
alysis when ty
p
e
-
checking return
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Sasha Manzyuk
Back ou
t
"D9677742 Imp
r
ov
e
typing of array assignment"
commit
|
commitdiff
|
tree
2018-09-21
Sasha Man
z
y
u
k
L
axer t
y
ping rules for
append and
assignment to collections
.
.
.
commit
|
commitdiff
|
tree
2018-09-21
Sasha
Manzyuk
Improve typing of array assignment
commit
|
commitdiff
|
tree
2018-09-20
S
a
s
ha Ma
n
zyuk
Use t
h
e new union a
l
gor
i
thm in
s
t
e
ad
of su
b
typing and
.
.
.
commit
|
commitdiff
|
tree
2018-09-18
Sasha Manzyuk
App
r
oximate union of tupl
e
s by a tuple
o
f
u
n
ion
s
commit
|
commitdiff
|
tree
2018-09-17
Sasha
Manzyuk
F
i
x namesp
a
ce resolution in anonymous class
e
s
commit
|
commitdiff
|
tree
2018-09-10
Sasha Man
z
yuk
A
dd
a
n
implic
i
t upp
e
r
bound ?n
o
nnull
t
o fully opa
q
ue
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Sasha Manzyuk
Move th
e
checks performed
w
h
en ty
p
e
-checkin
g
switch
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Sasha Manzy
u
k
Fix
d
eep_typ
e
_mapper
commit
|
commitdiff
|
tree
2018-09-07
Sasha Man
z
yuk
Special case unificati
o
n
i
n
v
o
lving fresh unresol
v
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-04
Sasha
M
a
n
z
y
u
k
Cle
a
n up dead
a
r
ray
append code
commit
|
commitdiff
|
tree
2018-09-04
Sasha Man
z
y
uk
Improve typing of a
r
ray appen
d
s
commit
|
commitdiff
|
tree
2018-08-10
Sasha Ma
n
zyuk
Make `requir
e
exte
n
ds C` i
n
side interfaces and trai
t
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-09
Sasha Man
z
yuk
E
n
fo
r
ce that t
h
e
e
num con
s
traint, if giv
e
n, is a s
u
btype
.
.
.
commit
|
commitdiff
|
tree
2018-08-07
S
asha Manz
y
u
k
Disallow using [] for
r
eading in an lval
u
e contex
t
commit
|
commitdiff
|
tree
2018-08-06
Sasha M
a
n
zyuk
A gene
r
ic t
y
p
e parameter is
a
subtype of mixed
commit
|
commitdiff
|
tree
2018-08-06
Sasha
Manzyuk
A new
t
yp
e
is a s
u
btype of mixed
commit
|
commitdiff
|
tree
2018-08-02
S
as
h
a Manzyuk
Prev
e
nt Shapes::idx from cre
a
tin
g
r
e
dundant
o
p
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-01
Sasha Manzyuk
A generic
t
ype parameter i
s
a subty
p
e of mix
e
d
commit
|
commitdiff
|
tree
2018-08-01
Sasha Manzy
u
k
A newtype is a s
u
btype
of mixed
commit
|
commitdiff
|
tree
2018-07-27
Sasha Manzyuk
F
i
x a bug
with extr
a
cting a t
y
pe from
a
n
awaitable
.
.
.
commit
|
commitdiff
|
tree
2018-07-24
Sasha Manzyuk
Clean
u
p
e
rro
r
code
4140
(missin
g
optional field)
commit
|
commitdiff
|
tree
2018-07-23
Sasha
M
anzyuk
I
m
pr
o
ve
t
yping of
a
ssignme
n
t
s
to pr
o
pertie
s
of u
n
resolved
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sasha Manzyuk
M
o
v
e redu
n
dant nu
l
lsafe prope
r
ty access check
o
ut
of
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sasha
M
anzyuk
Arra
y
element assignment
commit
|
commitdiff
|
tree
2018-07-20
Sasha
M
anzyuk
Prope
r
ty ass
i
g
nment
commit
|
commitdiff
|
tree
2018-07-20
S
a
sha
M
anzyuk
Shape field assi
g
nment
commit
|
commitdiff
|
tree
2018-07-20
Sasha Man
z
yuk
Arra
y
append
t
yping
commit
|
commitdiff
|
tree
2018-07-19
Sasha Manzyuk
R
e
quire
fun
c
tions
with impli
c
it or expres
s
ion
l
ess returns
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
Sasha Manzyuk
(M
o
r
e
) sound typing of S
h
apes:
:
idx
commit
|
commitdiff
|
tree
2018-07-11
S
asha Manzyuk
Typing rule
s
for idx
commit
|
commitdiff
|
tree
2018-07-11
Sasha
Manzyuk
T
y
ping rules f
o
r
S
hapes::idx
commit
|
commitdiff
|
tree
2018-07-11
Sa
s
ha Manzyuk
Stati
c
property acces
s
commit
|
commitdiff
|
tree
next