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
Don't assert on new Closure
2018-07-04
Sa
s
ha
M
anzyuk
A fe
w
small f
i
xes t
o
subty
p
ing
w
hen
v
oid is
t
r
e
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2018-07-03
Sasha Manzyuk
El
i
de
T
any
w
hen
flattening unre
s
olved types
commit
|
commitdiff
|
tree
2018-07-02
Sasha Manzyuk
Hack arrays are
I
ndexish
commit
|
commitdiff
|
tree
2018-06-29
Sasha Manzy
u
k
R
e
move disa
l
low_unsaf
e
_comparisons
option
commit
|
commitdiff
|
tree
2018-06-29
Sasha Manzy
u
k
Remove disallow_non_
a
rraykey_
k
eys opt
i
o
n
commit
|
commitdiff
|
tree
2018-06-29
Sasha Manzyuk
Start for
m
alizing noreturn as the
bottom
type
commit
|
commitdiff
|
tree
2018-06-26
Sas
h
a
Manz
y
u
k
R
e
mov
e
r
e
dundant
u
n
resolved
commit
|
commitdiff
|
tree
2018-06-26
Sasha Man
z
yuk
Replace
u
nification with subtypi
n
g
when do
w
n
c
asting
.
.
.
commit
|
commitdiff
|
tree
2018-06-26
Sasha Manzyuk
Improve typing of arrays co
n
tai
n
i
n
g unt
y
ped values
commit
|
commitdiff
|
tree
2018-06-26
Sasha Manzyuk
Remov
e
sh
a
pe_field_check
o
pti
o
n
commit
|
commitdiff
|
tree
2018-06-25
Sa
s
ha Manzyu
k
Use union instead of unifica
t
ion when type-checking
.
.
.
commit
|
commitdiff
|
tree
2018-06-22
Sasha Manzy
u
k
Remove p from the l
i
st of
i
n
d
exvars
commit
|
commitdiff
|
tree
2018-06-22
Sa
s
ha
Ma
n
zyu
k
Legacy vec-like arrays
ar
e
covariant
commit
|
commitdiff
|
tree
2018-06-20
Sasha
M
anzyuk
Bring the syntax fo
r
newtypes in
t
o agre
e
ment with Hack
commit
|
commitdiff
|
tree
2018-06-19
Sasha
Manzyuk
N
ullable types
a
re unions
commit
|
commitdiff
|
tree
2018-06-14
Sasha Ma
n
z
y
uk
Repl
a
ce wrapping int
o
unresolved with unbinding
commit
|
commitdiff
|
tree
2018-06-14
S
asha Man
z
yuk
Rem
o
ve anoth
e
r t
h
ree redundant
unr
e
solved's
commit
|
commitdiff
|
tree
2018-06-14
Sas
h
a
M
anzyuk
R
emove
a redundant unresolved
commit
|
commitdiff
|
tree
2018-06-13
S
a
sha Manz
y
uk
F
ix ty
p
ing of Shapes::id
x
()
w
i
t
h a default value
commit
|
commitdiff
|
tree
2018-06-13
Sasha M
a
nzyuk
Enable
l
ooping w
i
th f
o
reach over containe
r
s of unresolved
.
.
.
commit
|
commitdiff
|
tree
2018-06-13
Sa
s
ha
Manzy
u
k
A
d
d cases
f
or pri
m
itives to simplify_s
u
btype
commit
|
commitdiff
|
tree
2018-06-12
Sasha M
a
nzy
u
k
A
m
i
n
or clean-up of Typing_subtype
.
commit
|
commitdiff
|
tree
2018-06-11
Sasha Manzyuk
Add cases
f
or tuples to simpli
f
y_subtype
commit
|
commitdiff
|
tree
2018-06-11
Sasha Manzyuk
Add cases for
s
hap
e
s to simplify_su
b
t
ype
commit
|
commitdiff
|
tree
2018-06-11
S
asha Ma
n
zyuk
Shapes are n
o
t Indexish
commit
|
commitdiff
|
tree
2018-06-07
Sasha
Manzyuk
Extend simplify_subtype with
c
ases for enums
commit
|
commitdiff
|
tree
2018-06-06
Sasha Manzyuk
Allow co
m
par
i
sons b
e
t
ween objec
t
s of type DateTimeImmutable
commit
|
commitdiff
|
tree
2018-06-06
Sasha
Manzyuk
E
x
t
end simplify_
s
ubtype with
c
ases for n
e
wtypes
commit
|
commitdiff
|
tree
2018-06-06
Sasha Man
z
y
u
k
Move some s
u
btyping check
s
involving a
n
optio
n
al supertype
.
.
.
commit
|
commitdiff
|
tree
2018-06-04
Sasha
Ma
n
zyuk
Disallow
acces
s
ing class consts and stat
i
c methods
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Sasha Manzy
u
k
Tas
t
_che
c
k for invalid S
h
apes::i
d
x() calls
commit
|
commitdiff
|
tree
2018-05-30
Sasha Manzyuk
Detec
t
Shape
s
::ke
y
Exists()
checks that statically resolve
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Sasha Ma
n
zyuk
Add a wi
d
e
nin
g
rule
f
or closed sh
a
pes
commit
|
commitdiff
|
tree
2018-05-25
Sash
a
Manzyuk
Elide si
n
glet
o
n unr
e
solved's whe
n
se
t
ting local va
r
iabl
e
s
commit
|
commitdiff
|
tree
2018-05-24
Sash
a
Manzyuk
A
dd a typing rul
e
stating that c
l
osed
s
hapes c
a
n
be
.
.
.
commit
|
commitdiff
|
tree
2018-05-23
Sasha M
a
n
zyuk
Rewrite triv
i
al (non-)equality comparison c
h
ec
k
s as
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sasha Manzyuk
Remove a b
i
t of code
d
uplication rel
a
ted to refinem
e
nt
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
S
a
s
h
a
Manzyuk
Shapes::ke
y
Ex
i
sts()
should refine its firs
t
argument
.
.
.
commit
|
commitdiff
|
tree
2018-05-17
Sas
h
a Manzyuk
Improve typin
g
of s
h
a
p
es wit
h
op
t
ional f
i
elds
commit
|
commitdiff
|
tree
2018-05-16
Sasha Manzyuk
Add a rule
for
s
ubty
p
ing of open shap
e
s acc
o
unting
.
.
.
commit
|
commitdiff
|
tree
2018-05-11
S
a
sha Manzyuk
Disall
o
w non-arr
a
yk
e
y key
s
in Map/Set/d
i
ct/keyset/darray
.
.
.
commit
|
commitdiff
|
tree
2018-05-04
Sasha Manzyuk
Mak
e
void the typ
e
of null
commit
|
commitdiff
|
tree
2018-05-04
Sasha
M
anzyuk
M
a
k
e
type-
c
heckin
g
of comparisons
s
tricte
r
commit
|
commitdiff
|
tree
2018-05-03
Sasha Manzyuk
Fix pro
m
otion
o
f pending lo
c
als
commit
|
commitdiff
|
tree
2018-04-30
Sasha Man
z
yuk
Improve typing of Pa
i
rs
commit
|
commitdiff
|
tree
2018-04-27
S
a
s
ha M
a
nzyu
k
Preserve re
a
so
n
w
hen binding a type to a
f
r
e
sh
v
ariable
commit
|
commitdiff
|
tree
2018-04-25
Sasha Manzyuk
Impro
v
e typing of tuples
commit
|
commitdiff
|
tree
2018-04-25
Sasha
M
anzyuk
I
mprov
e
unification of #n wit
h
?#n
commit
|
commitdiff
|
tree
2018-04-25
Sasha Manzy
u
k
Fix th
e
recent fix of
unification o
f
Tv
a
r
's
commit
|
commitdiff
|
tree
2018-04-19
Sas
h
a
M
anz
y
uk
Avoid mo
r
e unnecessary
Tunresolved's when in
t
ersecting
.
.
.
commit
|
commitdiff
|
tree
2018-04-18
Sasha Manzyuk
Improve typi
n
g of array_map
commit
|
commitdiff
|
tree
2018-04-18
S
a
sha Manzyuk
F
i
x
unification o
f
Tvar's
commit
|
commitdiff
|
tree
2018-04-11
Sasha M
a
n
zyuk
Avo
i
d unnec
e
ssary
Tun
r
eso
l
ved's when inte
g
rating
l
ocal
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
S
a
s
h
a Manzy
u
k
Avoid unn
e
cessar
y
Tunr
e
sol
v
ed's when i
n
tersectin
g
l
oc
a
l
.
.
.
commit
|
commitdiff
|
tree
2018-04-05
Sas
h
a Manzyuk
Add prop
e
r support for
n
onnull in HH
V
M
commit
|
commitdiff
|
tree
2018-03-26
S
as
h
a Manzyuk
F
urther improve detection o
f
ske
t
chy
nu
l
l checks
commit
|
commitdiff
|
tree
2018-03-21
Sasha Manzyuk
Im
p
r
o
ve detection
o
f s
k
etch
y
null c
h
ecks
commit
|
commitdiff
|
tree
2018-03-15
S
asha Manzyuk
Enforce the inv
a
riant
that a varia
b
le is
n
ever
bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2018-03-14
Sasha M
a
nzyuk
Fix a b
u
g i
n
troduced by D7179617
commit
|
commitdiff
|
tree
2018-03-13
Sasha
M
a
nzyuk
S
t
reamline
subtyping for op
t
ions
commit
|
commitdiff
|
tree
2018-03-01
Sasha Manzyuk
Mitigate the eff
e
c
t
of
T
2593691
8
on t
y
ping
o
f
i
dx
commit
|
commitdiff
|
tree
2018-02-21
S
a
sha Manzyuk
Add runtime
aliasing for nonnull
type
commit
|
commitdiff
|
tree
2018-02-14
S
asha Man
z
yuk
Replace m
i
xed with ?
n
onnull dur
i
n
g the
tr
a
ns
f
ormation
.
.
.
commit
|
commitdiff
|
tree
2018-02-13
Sasha Manzyu
k
M
a
k
e
h
p
h
p/hack
/
t
est/review
.
sh
w
ork in E
m
acs shells
commit
|
commitdiff
|
tree
2018-02-07
Sash
a
Manzy
u
k
A
dd non
n
ull type to H
a
ck
commit
|
commitdiff
|
tree