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
Raise notice when class-ref converts string to class implicitly
2019-02-03
Sas
h
a Manzyuk
Eagerly solve the type of
t
h
e fun
c
t
i
on whe
n
type-che
c
ki
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-02-03
S
a
sha Manzyu
k
E
agerly solve t
h
e typ
e
s
of the arguments of
a
wait
exp
r
essions
commit
|
commitdiff
|
tree
2019-02-01
Sasha M
a
n
z
yuk
Yet anot
h
er class o
f
false positives that
c
an be f
i
xed
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Sasha Manzyuk
Eagerly
solve the t
y
pe of an unpac
k
ed fun
c
tio
n
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
Sa
s
ha Manzy
u
k
Correctly t
h
re
a
d the environ
m
e
nt when type-checking
.
.
.
commit
|
commitdiff
|
tree
2019-01-28
Sasha Man
z
yuk
Use Typ
i
n
g
_subty
p
e
.
ex
p
and_
t
ype_and_solv
e
in Typi
n
g_
s
hapes
.
.
.
commit
|
commitdiff
|
tree
2019-01-28
Sasha
Man
z
yuk
More co
n
straint-friendly way of type
-
checkin
g
the
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
S
as
h
a Manzyuk
Expand
t
h
e
b
o
u
n
d
s when solving type variables
commit
|
commitdiff
|
tree
2019-01-24
S
a
sha Manzyuk
Eliminat
e
redundant sub
t
ypin
g
che
c
ks against mixed
commit
|
commitdiff
|
tree
2019-01-22
Sasha Manz
y
uk
Mak
e
t
y
pe refinement
by Shapes::keyExists tests work
.
.
.
commit
|
commitdiff
|
tree
2019-01-22
S
asha Manzyuk
S
u
pport l
e
gacy b
e
havio
r
of HH\Bui
l
tinEnum in the new
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
Sas
h
a
Manzyuk
Add short-circuiting in try_union
and try_
i
nter
s
ect
commit
|
commitdiff
|
tree
2019-01-09
Sasha Ma
n
zyuk
Eagerly solve the
t
ype of t
h
e
RHS of a list-destru
c
turing
.
.
.
commit
|
commitdiff
|
tree
2019-01-07
Sasha Manzyuk
Solve ty
p
e
variables with identical upper
and lower
.
.
.
commit
|
commitdiff
|
tree
2019-01-07
S
a
sha Manzyuk
Co
r
rectly
s
et the variance of typ
e
variables
commit
|
commitdiff
|
tree
2019-01-07
Sa
s
ha Ma
n
z
y
uk
Tobject should not be a subtype of Tclass i
n
s
trict
.
.
.
commit
|
commitdiff
|
tree
2018-12-12
S
a
s
ha M
a
n
z
yuk
Remove b
a
d tes
t
commit
|
commitdiff
|
tree
2018-12-12
S
a
sha Manzyuk
Fix type-c
h
ecking of nes
t
ed list destructuring under
.
.
.
commit
|
commitdiff
|
tree
2018-12-11
S
a
sha Manz
y
u
k
Kill of
f
tuple-l
i
k
e arrays
commit
|
commitdiff
|
tree
2018-12-10
Sa
s
ha Ma
n
zyuk
Formalization of
t
he null ty
p
e
commit
|
commitdiff
|
tree
2018-12-10
S
asha Manzyu
k
Record a
f
resh type variable
i
ntroduced by Typ
i
n
g
_return
.
.
.
commit
|
commitdiff
|
tree
2018-12-10
S
a
sha Manzyu
k
Add a
n
exampl
e
o
f
safe but un
t
y
pe
a
ble
c
ode
commit
|
commitdiff
|
tree
2018-12-06
Sasha Manz
y
uk
S
olv
e
fresh type va
r
iables introduced duri
n
g the type
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
Sas
h
a
M
anzyuk
F
ix
t
h
e
typ
i
ng o
f
Shap
e
s::
r
e
m
ov
e
Key in the cons
t
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
Sasha Manzyuk
Typ
i
n
g rules for Shapes::r
e
moveKey
commit
|
commitdiff
|
tree
2018-12-06
Sasha Manzyuk
Keep track of unset fi
e
lds
i
n a
n
o
p
en
shape
t
ype
commit
|
commitdiff
|
tree
2018-12-05
Sasha Manz
y
uk
Fix typ
e
-
c
hecking of suspend with co
n
stra
i
nt-based
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Sas
h
a M
a
nzy
u
k
Ad
d
another
t
est
case under
t
ypec
h
e
ck/new_inference
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Sasha Manzyuk
Add a test case under typec
h
e
ck/new_inference/falsepos
commit
|
commitdiff
|
tree
2018-12-04
Sa
s
ha M
a
nzyuk
Properly
a
pply transitivity when moving
a
s
ubtypi
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Sa
s
h
a
Manzyuk
Collapse equivalent type variabl
e
s
in tvenv
commit
|
commitdiff
|
tree
2018-12-04
Sasha Manzyuk
Don't add again an already
e
xist
i
ng upper/lower bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Sasha Manzyuk
Creat
e
a subtypi
n
g constraint between the ex
p
anded
.
.
.
commit
|
commitdiff
|
tree
2018-12-03
Sasha Manzyuk
Don't create
empty u
n
r
e
solved types for
wildcard type
.
.
.
commit
|
commitdiff
|
tree
2018-11-22
Sasha M
a
nzyuk
Hand
l
e
the ca
s
e wh
e
n
the subtype
i
s a union in simpli
f
y
_
subt
.
.
.
commit
|
commitdiff
|
tree
2018-11-19
Sas
h
a M
a
n
zyuk
Solve t
y
p
e vari
a
bles
at the e
n
d of function or
method
.
.
.
commit
|
commitdiff
|
tree
2018-11-16
Sasha
Manzyuk
Disable the
me
c
hanism of
TODO
l
ists under the new infere
n
ce
.
.
.
commit
|
commitdiff
|
tree
2018-11-16
Sasha Manzyuk
Fix
p
attern-match
e
s
on Tvar causing th
e
type-checke
r
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Sasha
Manzyu
k
Mov
e
discarded Awaitable check to TAST c
h
eckin
g
phase
commit
|
commitdiff
|
tree
2018-11-14
Sasha Manzyu
k
Don't genera
t
e redundant Tany constrai
n
ts for parameter
.
.
.
commit
|
commitdiff
|
tree
2018-11-13
Sash
a
Manzy
u
k
Clean
up des
t
ructuring of collectio
n
type for foreach
commit
|
commitdiff
|
tree
2018-11-12
S
a
sha Manzyuk
Tem
p
o
r
a
rily forbid the
use of the null type as a type
.
.
.
commit
|
commitdiff
|
tree
2018-11-12
Sash
a
M
an
z
yuk
A
d
d support for
th
e
nu
l
l typ
e
in HH
V
M
commit
|
commitdiff
|
tree
2018-11-07
Sash
a
Manzyuk
Eliminat
e
Typing_
e
n
v
.
g
et_
o
ptio
n
s in
f
avor of Typing_env
.
.
.
commit
|
commitdiff
|
tree
2018-11-06
S
asha
M
anzyuk
Placehold
e
r $_
cannot
b
e used in non-bi
n
ding pos
i
tion
s
commit
|
commitdiff
|
tree
2018-11-05
Sash
a
Manzyuk
Introdu
c
e null type
commit
|
commitdiff
|
tree
2018-11-05
S
a
s
h
a
M
anzy
u
k
Group the re
m
aining
cases in simplify_subtype
commit
|
commitdiff
|
tree
2018-11-02
Sasha Manzyu
k
Make
T
mixed
a
d
ecl-only t
y
pe
commit
|
commitdiff
|
tree
2018-10-30
Sasha Manzyuk
Star
t
g
r
ouping the cases
in
s
implif
y
_s
u
btype b
y
supertype
commit
|
commitdiff
|
tree
2018-10-30
S
a
sha Ma
n
zyuk
M
atch on
snd
ety
_
sub
,
snd ety_super in simplif
y
_su
b
type
.
.
.
commit
|
commitdiff
|
tree
2018-10-30
Sasha
Manz
y
uk
Add
more missing cases to simplify_subtype
commit
|
commitdiff
|
tree
2018-10-26
Sasha
Ma
n
zyuk
B
e more explici
t
ab
o
ut
t
h
e
defau
l
t case in simplify_
s
ubty
p
e
commit
|
commitdiff
|
tree
2018-10-25
Sasha Ma
n
z
yuk
Flag
a
rray assignments to
u
nd
e
fined variables as
errors
commit
|
commitdiff
|
tree
2018-10-18
Sa
s
h
a Manzyuk
Im
p
r
o
ve t
y
pi
n
g of a
r
ray as
s
ignment
commit
|
commitdiff
|
tree
2018-10-18
Sasha Manzyuk
Fix the definitio
n
of type equality
commit
|
commitdiff
|
tree
2018-10-16
Sasha
M
anz
y
u
k
Sma
r
ter
unifica
t
ion
o
f
u
n
r
esolved types
commit
|
commitdiff
|
tree
2018-10-11
Sasha Manzyuk
Union of float and int is num
commit
|
commitdiff
|
tree
2018-10-11
Sa
s
h
a
Manzyuk
Expand Tvars when
c
o
m
puting unions of unresolved types
commit
|
commitdiff
|
tree
2018-10-08
Sasha Manzyuk
Move
the
sw
i
t
ch exhaustiveness c
h
eck to TAST c
h
ecki
n
g
commit
|
commitdiff
|
tree
2018-10-04
Sasha Manzyuk
Move the check that
the
bod
y
of an XHP node consists
.
.
.
commit
|
commitdiff
|
tree
2018-10-04
Sasha Ma
n
zyuk
Move Callconv (inout) c
h
ecks
to TA
S
T checking
commit
|
commitdiff
|
tree
2018-10-03
Sasha Manz
y
uk
Move th
e
rv
a
l
u
e ch
e
ck in
t
o a TAST check
commit
|
commitdiff
|
tree
2018-10-03
Sasha Manzyuk
Give Shapes::toDict() an ad
h
o
c
ty
p
ing
rule s
i
m
ilar
.
.
.
commit
|
commitdiff
|
tree
2018-10-02
Sasha Manzyuk
Keep track
of t
h
e current subtype pro
p
osition in the
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sas
h
a
M
anzyuk
Fix type-checking
of s
w
itch
stateme
n
ts with the def
a
ult
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sasha Manzyuk
M
o
ve printing and log
g
ing of subtyp
e
propo
s
i
tions out
.
.
.
commit
|
commitdiff
|
tree
2018-09-27
Sasha Manzyu
k
Remov
e
r
ed
u
nda
n
t case analysis
w
h
en ty
p
e-checkin
g
return
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Sash
a
Manz
y
u
k
Back out "D9677742 Impr
o
ve typing
of
array ass
i
gnment
"
commit
|
commitdiff
|
tree
2018-09-21
Sasha Manz
y
uk
L
a
xer t
y
ping r
u
l
es for appe
n
d and assignment
to collec
t
ions
.
.
.
commit
|
commitdiff
|
tree
2018-09-21
Sasha Manzyuk
Improve ty
p
i
ng of a
r
r
a
y assignment
commit
|
commitdiff
|
tree
2018-09-20
Sash
a
Man
z
y
u
k
Use th
e
ne
w
union algo
r
ithm instead of subt
y
ping and
.
.
.
commit
|
commitdiff
|
tree
2018-09-18
Sasha M
a
nzyuk
Appro
x
imate union of
tuples
b
y a tuple of unio
n
s
commit
|
commitdiff
|
tree
2018-09-17
Sasha Manzyuk
Fix na
m
e
spac
e
resolu
t
i
o
n
i
n anonymous clas
s
e
s
commit
|
commitdiff
|
tree
2018-09-10
Sa
s
ha
Manzyuk
Add
an implicit
u
pper bound ?nonnull to fully op
a
que
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Sa
s
ha Man
z
yuk
Move
the
checks
p
e
rforme
d
whe
n
type-checking s
w
itch
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
S
a
sha
Manzyuk
Fi
x
deep_ty
p
e_mapper
commit
|
commitdiff
|
tree
2018-09-07
Sasha M
a
nzyuk
Spe
c
ial case
u
nif
i
catio
n
in
v
olving f
r
esh un
r
eso
l
v
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-04
S
a
sha Manzyu
k
Clean up dead array append cod
e
commit
|
commitdiff
|
tree
2018-09-04
Sasha Manzy
u
k
Impro
v
e t
y
p
ing
o
f
array appends
commit
|
commitdiff
|
tree
2018-08-10
Sasha Manzyuk
Make `
r
equi
r
e extends C` inside
i
nterfaces and traits
.
.
.
commit
|
commitdiff
|
tree
2018-08-09
Sasha M
a
nzyuk
Enfor
c
e tha
t
the enum c
o
nstraint, if given, is a subtype
.
.
.
commit
|
commitdiff
|
tree
2018-08-07
Sa
s
h
a
Ma
n
zyuk
Disallow
using [] for readin
g
in an lva
l
ue cont
e
xt
commit
|
commitdiff
|
tree
2018-08-06
Sasha
M
a
nzyuk
A generic type parameter is a subtype
o
f m
i
xed
commit
|
commitdiff
|
tree
2018-08-06
Sasha Man
z
y
u
k
A
n
ewtype is a subtyp
e
of mixed
commit
|
commitdiff
|
tree
2018-08-02
Sas
h
a Manzyuk
Preve
n
t Shap
e
s::idx fro
m
creating
redun
d
ant optio
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-01
Sasha
M
anzyuk
A gen
e
r
ic type p
a
rameter is a subtype
o
f
mixe
d
commit
|
commitdiff
|
tree
2018-08-01
Sa
s
ha Manzyuk
A newtype
is a
s
ubtype of mixed
commit
|
commitdiff
|
tree
2018-07-27
S
asha Manzyuk
Fi
x
a bug with ex
t
ract
i
n
g
a typ
e
from
a
n awaitabl
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-24
S
ash
a
M
a
nzyuk
Clean up er
r
or code 414
0
(missing
o
ptional fie
l
d
)
commit
|
commitdiff
|
tree
2018-07-23
Sasha
Manzyuk
Imp
r
o
v
e
t
y
p
ing of
assi
g
nments to
pro
p
ert
i
es of unresolved
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
S
a
sha Manz
y
u
k
Move
r
e
dundan
t
nullsafe prop
e
rty access ch
e
ck out of
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sash
a
Ma
n
zyuk
Array element a
s
s
i
gnment
commit
|
commitdiff
|
tree
2018-07-20
Sasha
Manzy
u
k
Prop
e
r
t
y assig
n
men
t
commit
|
commitdiff
|
tree
2018-07-20
Sasha Ma
n
z
yuk
Shape fi
e
ld assignment
commit
|
commitdiff
|
tree
2018-07-20
Sasha
Manzyuk
Array a
p
pend typing
commit
|
commitdiff
|
tree
2018-07-19
Sasha Manzy
u
k
Requir
e
functions
with implicit
o
r ex
p
ressionless returns
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
S
a
s
h
a
Manz
y
uk
(More)
s
ound ty
p
i
n
g of
Shapes::idx
commit
|
commitdiff
|
tree
2018-07-11
Sa
s
h
a
M
anzyuk
Typing rul
e
s
f
or i
d
x
commit
|
commitdiff
|
tree
2018-07-11
Sasha Manzy
u
k
Typing r
u
les for Shapes::
i
dx
commit
|
commitdiff
|
tree
2018-07-11
Sasha Manz
y
uk
S
tatic propert
y
access
commit
|
commitdiff
|
tree
next