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
Pass $this/static type as receiver when checking reactivity of parent calls
2018-08-02
Sash
a
Manzyuk
Preve
n
t S
h
ap
e
s::idx
f
rom creating redundant o
p
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-08-01
Sasha Manzyuk
A generic type param
e
ter
i
s a subt
y
p
e
of mixed
commit
|
commitdiff
|
tree
2018-08-01
Sash
a
Manzyuk
A newty
p
e is
a
s
u
btype of m
i
xed
commit
|
commitdiff
|
tree
2018-07-27
Sasha
Man
z
yuk
F
i
x a bug with
e
xtracting a type from an awaitable
.
.
.
commit
|
commitdiff
|
tree
2018-07-24
Sa
s
ha Manzyu
k
Clean up error co
d
e 4140 (missing optional
f
ie
l
d)
commit
|
commitdiff
|
tree
2018-07-23
S
a
sha Manzyuk
Improve
typi
n
g of assignments to pr
o
p
erties of unresol
v
ed
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sa
s
h
a
M
a
nzyu
k
Move redundant nullsafe
p
roperty
access check out of
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sasha Manzyu
k
Array e
l
ement assignment
commit
|
commitdiff
|
tree
2018-07-20
Sash
a
Manzyuk
Property as
s
ignment
commit
|
commitdiff
|
tree
2018-07-20
Sasha Manzyu
k
Shape fi
e
l
d a
s
signment
commit
|
commitdiff
|
tree
2018-07-20
Sasha Man
z
y
u
k
A
rr
a
y append typing
commit
|
commitdiff
|
tree
2018-07-19
Sasha Manzy
u
k
Requi
r
e
f
unctions with implicit or expressionless returns
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
Sasha Manzyu
k
(More)
s
ound
t
y
p
ing of Shapes::idx
commit
|
commitdiff
|
tree
2018-07-11
Sash
a
Ma
n
zyuk
Typing rules for
i
dx
commit
|
commitdiff
|
tree
2018-07-11
Sasha Manz
y
uk
T
yping rules for Shapes::idx
commit
|
commitdiff
|
tree
2018-07-11
Sasha Manzyuk
Sta
t
ic pro
p
e
r
t
y access
commit
|
commitdiff
|
tree
2018-07-11
Sasha
Manz
y
u
k
B
ab
y
steps towards formalization of
p
roperty acce
s
s
commit
|
commitdiff
|
tree
2018-07-09
Sa
s
ha Ma
n
zyuk
Stop
s
upp
o
rting c
l
ass con
s
tants
a
s shape field names
commit
|
commitdiff
|
tree
2018-07-04
Sasha Manzyuk
A few smal
l
fixes to subt
y
p
ing
w
h
e
n
v
oid is tr
e
a
ted
.
.
.
commit
|
commitdiff
|
tree
2018-07-03
Sasha M
a
n
z
y
uk
Elide Tany when flat
t
e
n
i
n
g unresolved ty
p
e
s
commit
|
commitdiff
|
tree
2018-07-02
Sasha Ma
n
zyuk
Hack
a
rrays are Indexish
commit
|
commitdiff
|
tree
2018-06-29
Sasha Manzyuk
R
emove di
s
a
l
lo
w
_
un
s
afe_c
o
mparisons o
p
t
ion
commit
|
commitdiff
|
tree
2018-06-29
Sasha Manzyuk
R
emov
e
disallow_non_arraykey
_
keys opti
o
n
commit
|
commitdiff
|
tree
2018-06-29
S
a
s
h
a
M
anzyuk
Sta
r
t
formalizing noretur
n
as the bottom type
commit
|
commitdiff
|
tree
2018-06-26
Sasha Manzy
u
k
Rem
o
v
e
red
u
n
da
n
t unresolved
commit
|
commitdiff
|
tree
2018-06-26
Sash
a
Manzyuk
Replac
e
unifica
t
i
o
n wit
h
s
ubtyping
w
hen downcasting
.
.
.
commit
|
commitdiff
|
tree
2018-06-26
Sasha Manzyuk
I
mprove ty
p
ing of arrays containing u
n
typed va
l
ues
commit
|
commitdiff
|
tree
2018-06-26
Sa
s
ha Manzyuk
Remove shap
e
_field_check option
commit
|
commitdiff
|
tree
2018-06-25
Sash
a
Manzyuk
Use un
i
o
n inste
a
d o
f
unification
w
h
e
n
t
ype-
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2018-06-22
Sasha
M
anzyuk
Remove
p f
r
om
t
he
list
of ind
e
x
v
ars
commit
|
commitdiff
|
tree
2018-06-22
Sas
h
a Manzyuk
L
e
gac
y
vec-l
i
ke arrays are c
o
vari
a
nt
commit
|
commitdiff
|
tree
2018-06-20
Sasha Man
z
y
u
k
Bring t
h
e syn
t
a
x for n
e
wtypes
i
nto agreement w
i
th Hack
commit
|
commitdiff
|
tree
2018-06-19
S
asha Manzyuk
Nullable t
y
pes are unions
commit
|
commitdiff
|
tree
2018-06-14
Sasha Ma
n
z
y
uk
Replace wr
a
pping into
unresolved with unbind
i
ng
commit
|
commitdiff
|
tree
2018-06-14
Sas
h
a
M
anzyuk
Re
m
ove another three
r
edundant unresolved's
commit
|
commitdiff
|
tree
2018-06-14
Sash
a
Manzy
u
k
Remove a redundant
u
n
resolved
commit
|
commitdiff
|
tree
2018-06-13
Sasha Manzyuk
Fix typing of
S
hapes::idx() with a defau
l
t v
a
lu
e
commit
|
commitdiff
|
tree
2018-06-13
Sasha Man
z
yuk
Enable looping with foreach over contain
e
rs o
f
unresolved
.
.
.
commit
|
commitdiff
|
tree
2018-06-13
Sasha Manzyuk
Ad
d
cases for pr
i
mitives to simp
l
i
f
y_subty
p
e
commit
|
commitdiff
|
tree
2018-06-12
S
a
sha Manzyuk
A minor c
l
ean-up of Typ
i
ng_subtype
.
commit
|
commitdiff
|
tree
2018-06-11
S
a
sh
a
Manzyuk
Add cases
for tuples
t
o
s
i
m
p
lify_subtype
commit
|
commitdiff
|
tree
2018-06-11
Sasha
Manzyuk
Add ca
s
es for shapes to simp
l
i
f
y
_su
b
type
commit
|
commitdiff
|
tree
2018-06-11
Sasha Manzyuk
S
hapes
a
r
e
not Indexish
commit
|
commitdiff
|
tree
2018-06-07
Sasha
M
anzyuk
E
x
tend sim
p
l
i
fy_subty
p
e with c
a
ses for
e
n
um
s
commit
|
commitdiff
|
tree
2018-06-06
Sasha
M
anzyu
k
Allow compa
r
isons between obj
e
ct
s
of typ
e
DateTim
e
Imm
u
tab
l
e
commit
|
commitdiff
|
tree
2018-06-06
Sasha Manzyuk
Extend s
i
mpl
i
fy_subtype with c
a
ses for new
t
ypes
commit
|
commitdiff
|
tree
2018-06-06
Sasha Manzyuk
Move so
m
e sub
t
y
p
i
ng checks involving
a
n
op
t
ional supertype
.
.
.
commit
|
commitdiff
|
tree
2018-06-04
S
a
sha Ma
n
zyuk
Di
s
allo
w
accessing
c
l
a
ss
con
s
ts
a
nd static method
s
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Sas
h
a
Ma
n
zyuk
T
a
st_
c
heck for
inv
a
lid Shapes:
:
i
d
x(
)
calls
commit
|
commitdiff
|
tree
2018-05-30
Sasha
M
a
n
z
yuk
De
t
ect S
h
apes:
:
k
e
yExists() checks that
s
ta
t
ically
r
es
o
lve
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Sasha
M
an
z
yuk
A
dd a wide
n
i
ng rul
e
for close
d
shapes
commit
|
commitdiff
|
tree
2018-05-25
Sa
s
ha
Manzyuk
E
l
ide sin
g
leton un
r
e
solved's
w
he
n
setting loc
a
l variables
commit
|
commitdiff
|
tree
2018-05-24
Sasha Manzy
u
k
Add a ty
p
ing rule s
t
ating that closed shapes
can be
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
S
asha
Ma
n
zyuk
Rewrite trivial
(non-)equality c
o
m
pa
r
ison c
h
ecks as
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sa
s
ha M
a
n
zyuk
Remove a bi
t
o
f
code
d
uplica
t
ion rela
t
ed to
r
efinement
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sasha Manzyuk
Shap
e
s:
:
keyExists()
s
hou
l
d
r
efine
i
ts first argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sasha
Manzyuk
Improve typing of shape
s
with opt
i
onal fields
commit
|
commitdiff
|
tree
2018-05-16
Sasha Manzyuk
A
dd a
r
ule
for subt
y
ping
of open
shape
s
accounting
.
.
.
commit
|
commitdiff
|
tree
2018-05-11
Sasha Manzyuk
Disallow non-array
k
ey keys in Map/Set/dict/keyset
/
darra
y
.
.
.
commit
|
commitdiff
|
tree
2018-05-04
Sash
a
Manzyu
k
M
a
k
e
v
o
id t
h
e
type
of null
commit
|
commitdiff
|
tree
2018-05-04
Sasha Manzyuk
Make type-checking of comparisons
s
tricter
commit
|
commitdiff
|
tree
2018-05-03
Sasha Manzyuk
Fix p
r
omotion of
p
ending locals
commit
|
commitdiff
|
tree
2018-04-30
Sas
h
a Ma
n
zyu
k
Improv
e
t
ypin
g
of Pair
s
commit
|
commitdiff
|
tree
2018-04-27
Sasha Ma
n
z
y
uk
Pres
e
rve reason when binding a type
to a fr
e
sh variable
commit
|
commitdiff
|
tree
2018-04-25
Sasha Manzy
u
k
Improve
typ
i
ng of tuples
commit
|
commitdiff
|
tree
2018-04-25
Sasha Ma
n
zy
u
k
Improve
unific
a
tion
o
f #n w
i
th
?
#n
commit
|
commitdiff
|
tree
2018-04-25
S
a
sha Manzyuk
Fi
x
the recent
f
ix of unif
i
cation of Tv
a
r's
commit
|
commitdiff
|
tree
2018-04-19
Sasha Manzyuk
Avoid more
u
nnec
e
ssar
y
Tunre
s
olved'
s
whe
n
inte
r
sect
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-04-18
Sasha M
a
nzyuk
Imp
r
o
ve ty
p
ing of
a
rray_map
commit
|
commitdiff
|
tree
2018-04-18
Sasha Manzy
u
k
F
ix
u
nification
o
f Tvar'
s
commit
|
commitdiff
|
tree
2018-04-11
Sa
s
ha Manzyuk
Avoi
d
unnecessary Tunresolved's wh
e
n integrat
i
ng local
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
Sasha Manzy
u
k
Avoid unn
e
c
essary Tunr
e
s
o
lved's whe
n
int
e
rsecting loca
l
.
.
.
commit
|
commitdiff
|
tree
2018-04-05
Sasha Manzyuk
Add
p
roper support for
nonnull in HHVM
commit
|
commitdiff
|
tree
2018-03-26
Sasha Ma
n
zyuk
Further improve
d
e
tection of sketchy
n
ull checks
commit
|
commitdiff
|
tree
2018-03-21
Sasha Manzyuk
Imp
r
ove
d
ete
c
tion of sketchy nul
l
chec
k
s
commit
|
commitdiff
|
tree
2018-03-15
S
asha Ma
n
zyuk
Enfor
c
e t
h
e invariant
that a
v
ariab
l
e
is never bound
.
.
.
commit
|
commitdiff
|
tree
2018-03-14
Sasha Man
z
yuk
Fix
a bug intro
d
uced by D7179
6
17
commit
|
commitdiff
|
tree
2018-03-13
Sash
a
Manzyuk
Streamline s
u
bt
y
p
ing for options
commit
|
commitdiff
|
tree
2018-03-01
Sasha M
a
n
z
yuk
Mitigate
the effec
t
o
f T
2
5936918 on typing
of
i
dx
commit
|
commitdiff
|
tree
2018-02-21
Sasha Ma
n
zyuk
A
d
d run
t
i
me aliasing
f
or nonnull type
commit
|
commitdiff
|
tree
2018-02-14
S
a
sha Manzyuk
Rep
l
ace mixed with ?nonnul
l
during the transformation
.
.
.
commit
|
commitdiff
|
tree
2018-02-13
Sas
h
a Ma
n
z
y
uk
Mak
e
hphp/hack/t
e
s
t
/review
.
s
h
work in Emacs shells
commit
|
commitdiff
|
tree
2018-02-07
Sash
a
Manzyuk
Add non
n
ull type to Ha
c
k
commit
|
commitdiff
|
tree