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
Simplify IncStat IROP
2018-06-22
Sa
s
ha Man
z
yuk
Remove p fro
m
the
l
ist o
f
i
ndexv
a
rs
commit
|
commitdiff
|
tree
2018-06-22
Sasha Manzy
u
k
Legacy v
e
c-like array
s
are
covariant
commit
|
commitdiff
|
tree
2018-06-20
S
a
sha Manzyuk
Br
i
ng
the syntax for
n
e
wtypes into agreement wi
t
h Hack
commit
|
commitdiff
|
tree
2018-06-19
Sasha
M
anzyuk
Nu
l
l
a
b
le ty
p
es are unions
commit
|
commitdiff
|
tree
2018-06-14
S
asha Ma
n
zyuk
Replace wrapping into
unresolved with unbin
d
ing
commit
|
commitdiff
|
tree
2018-06-14
Sas
h
a Manzyuk
Remove another t
h
r
e
e
re
d
un
d
ant un
r
esolved's
commit
|
commitdiff
|
tree
2018-06-14
S
asha Ma
n
zy
u
k
Re
m
ove a red
u
ndant un
r
esolved
commit
|
commitdiff
|
tree
2018-06-13
Sasha
Ma
n
zyuk
Fix typing of Shape
s
::idx
(
) with a def
a
ult value
commit
|
commitdiff
|
tree
2018-06-13
S
a
sha Ma
n
zyuk
Enable
l
oo
p
ing wi
t
h foreach
o
ve
r
containers of
unresolved
.
.
.
commit
|
commitdiff
|
tree
2018-06-13
S
ash
a
Manzy
u
k
Add cases for
primit
i
ves to sim
p
lify
_
su
b
t
y
pe
commit
|
commitdiff
|
tree
2018-06-12
Sasha Manzyuk
A minor clea
n
-up of Ty
p
ing_subt
y
pe
.
commit
|
commitdiff
|
tree
2018-06-11
Sasha Manzyuk
Add cases f
o
r tuples
to s
i
mplify_sub
t
ype
commit
|
commitdiff
|
tree
2018-06-11
Sasha Manzyuk
Add
ca
s
e
s f
o
r shapes
t
o simplify_subtype
commit
|
commitdiff
|
tree
2018-06-11
Sa
s
ha Manz
y
uk
Shapes are not Indexish
commit
|
commitdiff
|
tree
2018-06-07
S
a
sha Manzyu
k
Extend
sim
p
lify
_
subtype with cases for
enums
commit
|
commitdiff
|
tree
2018-06-06
Sasha M
a
nzy
u
k
Allow
comparisons
betw
e
en objects
of
type
D
a
t
eT
i
meImmuta
b
le
commit
|
commitdiff
|
tree
2018-06-06
Sasha
M
anzy
u
k
E
x
tend sim
p
lify_subtype with cases for
newt
y
pes
commit
|
commitdiff
|
tree
2018-06-06
Sasha Manzyuk
Move some subtyp
i
n
g
chec
k
s involving an option
a
l super
t
ype
.
.
.
commit
|
commitdiff
|
tree
2018-06-04
Sasha Manzyuk
Disallow acc
e
ssing class
consts and s
t
atic
methods
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Sasha Manzyuk
Tas
t
_check f
o
r i
n
valid
S
hapes:
:
id
x
()
c
alls
commit
|
commitdiff
|
tree
2018-05-30
Sasha Manzyuk
Detect
S
hapes:
:
keyExists() checks that
s
tat
i
ca
l
l
y
resolve
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Sasha Manzyuk
Add a wid
e
ning rule f
o
r c
l
o
s
ed shapes
commit
|
commitdiff
|
tree
2018-05-25
Sasha
M
anzy
u
k
Elide singleton unresolved's w
h
en setting local variables
commit
|
commitdiff
|
tree
2018-05-24
Sasha
M
a
nzyuk
Ad
d
a typ
i
ng rule stating that
closed shapes can be
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Sas
h
a Man
z
yuk
Rewrite
t
rivial (non-)eq
u
ality comparison
c
hecks as
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sasha Manzyuk
Remove a bi
t
o
f
code duplic
a
ti
o
n relat
e
d to refin
e
ment
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sas
h
a
Manzyuk
Shapes::key
E
xists() should refine its first argument
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sasha Manzyuk
I
mprov
e
typing of shapes
with opt
i
onal
fie
l
ds
commit
|
commitdiff
|
tree
2018-05-16
Sas
h
a
M
a
nzyuk
Add a ru
l
e
f
or
s
ubtyping of open sh
a
pes
a
ccount
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-05-11
Sasha Manzyuk
Disal
l
ow non-arr
a
ykey keys in
M
ap/Set/dict
/
keys
e
t/darray
.
.
.
commit
|
commitdiff
|
tree
2018-05-04
Sasha Ma
n
zyuk
Make void the type of
n
ul
l
commit
|
commitdiff
|
tree
2018-05-04
Sa
s
h
a Manzy
u
k
Make type-check
i
n
g of comp
a
risons str
i
c
t
e
r
commit
|
commitdiff
|
tree
2018-05-03
S
a
sha Manzyuk
Fix promot
i
on of pending local
s
commit
|
commitdiff
|
tree
2018-04-30
Sasha
Manz
y
uk
Improve
typing o
f
Pairs
commit
|
commitdiff
|
tree
2018-04-27
Sas
h
a Manzyuk
Preserv
e
reason
wh
e
n binding a
t
ype
to a fresh variable
commit
|
commitdiff
|
tree
2018-04-25
S
a
sha Manzyuk
Improv
e
typing of tuples
commit
|
commitdiff
|
tree
2018-04-25
Sasha Manzyu
k
Improve un
i
ficat
i
on of #n with ?
#
n
commit
|
commitdiff
|
tree
2018-04-25
Sasha
M
anzyuk
F
i
x the
r
ecent fix o
f
uni
f
ication o
f
Tva
r
's
commit
|
commitdiff
|
tree
2018-04-19
Sasha Manzyuk
A
v
oid
m
or
e
unnecessary Tunresolv
e
d's when intersecting
.
.
.
commit
|
commitdiff
|
tree
2018-04-18
Sasha Ma
n
z
y
u
k
Improve typing
o
f array_map
commit
|
commitdiff
|
tree
2018-04-18
Sasha Manzyuk
F
i
x uni
f
i
c
a
t
ion of Tvar
'
s
commit
|
commitdiff
|
tree
2018-04-11
Sa
s
ha M
a
nzy
u
k
Avoid un
n
ecessa
r
y Tunresolved's wh
e
n i
n
tegratin
g
loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
Sa
s
ha M
a
nz
y
uk
Avo
i
d
u
n
n
ec
e
ss
a
ry Tunresolved's when
intersecting local
.
.
.
commit
|
commitdiff
|
tree
2018-04-05
Sas
h
a
M
a
n
zyuk
Add
proper support for
n
o
nnull
i
n
H
H
VM
commit
|
commitdiff
|
tree
2018-03-26
Sasha Manzyuk
Furth
e
r improve d
e
tect
i
on of sketchy n
u
l
l
c
he
c
ks
commit
|
commitdiff
|
tree
2018-03-21
Sash
a
Manzyuk
Improv
e
de
t
ection of sketchy
null c
h
ecks
commit
|
commitdiff
|
tree
2018-03-15
Sash
a
M
a
nzyuk
Enforce the invariant t
h
at a variab
l
e
i
s
n
e
ver bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2018-03-14
Sasha Manzyuk
Fix a bug introdu
c
ed by D7179617
commit
|
commitdiff
|
tree
2018-03-13
S
a
sha Manz
y
uk
Streamline sub
t
y
p
i
n
g for opti
o
ns
commit
|
commitdiff
|
tree
2018-03-01
Sas
h
a
M
a
nzyuk
Mitiga
t
e t
h
e effect of
T25936918 on typing
of idx
commit
|
commitdiff
|
tree
2018-02-21
S
a
s
h
a
Manzyu
k
Ad
d
ru
n
tim
e
a
l
ia
s
ing
for nonnull type
commit
|
commitdiff
|
tree
2018-02-14
Sasha Manzyuk
Replac
e
mixed with ?n
o
n
n
ull du
r
ing
t
he tr
a
nsformati
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-02-13
Sasha
Manzyuk
Make hphp/hack/test
/
review
.
sh work in Emacs s
h
ells
commit
|
commitdiff
|
tree
2018-02-07
Sasha Ma
n
zyu
k
Add
n
o
nnull
type
to Hack
commit
|
commitdiff
|
tree