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
Forgotton switch branch in unpack made explicit
2018-11-19
S
a
s
h
a Manzyuk
S
o
lve type variables at the end of func
t
ion or method
.
.
.
commit
|
commitdiff
|
tree
2018-11-16
Sas
h
a Manzyuk
Disable
the m
e
chanism of
T
ODO
lists under the new inference
.
.
.
commit
|
commitdiff
|
tree
2018-11-16
Sasha Manzyuk
Fix p
a
ttern-
m
atch
e
s
on Tvar ca
u
sing the type-checker
.
.
.
commit
|
commitdiff
|
tree
2018-11-14
Sas
h
a Manz
y
uk
Move dis
c
ar
d
ed Awa
i
table ch
e
ck to TAS
T
chec
k
ing phase
commit
|
commitdiff
|
tree
2018-11-14
Sasha
M
anzyuk
Do
n
't generate redundant
T
any cons
t
raints for p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2018-11-13
Sasha Manzyu
k
Clea
n
up
d
estructurin
g
o
f
c
ollection type for foreach
commit
|
commitdiff
|
tree
2018-11-12
Sasha Manzyuk
Temporarily forbid
the use of
the nu
l
l type a
s
a type
.
.
.
commit
|
commitdiff
|
tree
2018-11-12
Sasha Manzyuk
Add suppor
t
for the null type in HHV
M
commit
|
commitdiff
|
tree
2018-11-07
Sasha Manz
y
uk
Elimin
a
te Typing
_
e
nv
.
ge
t
_opti
o
ns in fa
v
or of
Typing
_
env
.
.
.
commit
|
commitdiff
|
tree
2018-11-06
S
asha Manzyuk
P
l
a
ceh
o
lder $_ cannot be used in no
n
-binding
posi
t
ions
commit
|
commitdiff
|
tree
2018-11-05
Sa
s
ha Manzyuk
I
ntro
d
uce n
u
l
l
ty
p
e
commit
|
commitdiff
|
tree
2018-11-05
S
a
s
h
a Ma
n
zyuk
Group the remaining ca
s
es in simplify_subtype
commit
|
commitdiff
|
tree
2018-11-02
Sasha Manzyuk
Make
T
m
i
xed
a
decl-only type
commit
|
commitdiff
|
tree
2018-10-30
Sa
s
h
a Manzyuk
Start groupin
g
the cases in
s
implify_subt
y
p
e
by sup
e
rtype
commit
|
commitdiff
|
tree
2018-10-30
Sasha Manzyuk
Match
on
s
n
d ety_
s
ub, snd e
t
y_
s
uper i
n
sim
p
lify_subtype
.
.
.
commit
|
commitdiff
|
tree
2018-10-30
Sasha
Manzyuk
Add mo
r
e mis
s
ing cases
to
simplify
_
subty
p
e
commit
|
commitdiff
|
tree
2018-10-26
S
ash
a
Ma
n
zyuk
Be
m
ore e
x
plicit
a
bout t
h
e
default
c
ase in si
m
pl
i
fy_subtype
commit
|
commitdiff
|
tree
2018-10-25
Sas
h
a Manzyuk
Flag array assignments
t
o
u
n
d
ef
i
n
e
d
varia
b
les a
s
error
s
commit
|
commitdiff
|
tree
2018-10-18
Sasha Manzyu
k
Improve typing of array assignment
commit
|
commitdiff
|
tree
2018-10-18
Sasha Man
z
yuk
Fix
t
he d
e
f
ini
t
ion of
type equality
commit
|
commitdiff
|
tree
2018-10-16
Sas
h
a Manzyuk
Smarter
u
nification of unresolved types
commit
|
commitdiff
|
tree
2018-10-11
Sasha Ma
n
zyuk
Union of flo
a
t and int is
n
um
commit
|
commitdiff
|
tree
2018-10-11
Sasha Man
z
yu
k
E
x
pa
n
d Tvars when
c
omputing unions
o
f unresol
v
ed types
commit
|
commitdiff
|
tree
2018-10-08
Sas
h
a
Manzyuk
Move the
s
witch exhaust
i
ve
n
es
s
c
heck t
o
T
AS
T
checking
commit
|
commitdiff
|
tree
2018-10-04
Sasha Manzyuk
Move the chec
k
t
ha
t
the body of an XHP n
o
de c
o
nsists
.
.
.
commit
|
commitdiff
|
tree
2018-10-04
S
a
s
ha Ma
n
z
y
uk
Move Callconv
(
inout) checks to TAST
chec
k
i
n
g
commit
|
commitdiff
|
tree
2018-10-03
Sasha
M
anzyuk
Move the rvalue
c
heck into
a
T
A
ST check
commit
|
commitdiff
|
tree
2018-10-03
Sasha Manzyuk
G
ive Shapes::toDic
t
()
a
n ad hoc t
y
ping rule s
i
mi
l
ar
.
.
.
commit
|
commitdiff
|
tree
2018-10-02
Sa
s
ha Manzyuk
Kee
p
tr
a
c
k
of the current
subtype proposition in th
e
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
S
a
sh
a
M
anzyuk
F
i
x type-checking of switc
h
st
a
te
m
ents w
i
th the def
a
ult
.
.
.
commit
|
commitdiff
|
tree
2018-10-01
Sasha Manzyuk
Move printing and
logging
of subt
y
pe propositions out
.
.
.
commit
|
commitdiff
|
tree
2018-09-27
Sasha Manzyuk
R
emove r
e
dund
a
nt case
a
nalysis when
type-chec
k
ing return
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Sas
h
a Manzyuk
Back out "
D
9677742
Impro
v
e t
y
ping of array as
s
ignm
e
n
t
"
commit
|
commitdiff
|
tree
2018-09-21
Sash
a
Manzyu
k
Laxer typi
n
g rules for appe
n
d a
n
d a
s
sig
n
ment to collections
.
.
.
commit
|
commitdiff
|
tree
2018-09-21
Sasha Manzy
u
k
Im
p
rove typ
i
ng of array ass
i
gnment
commit
|
commitdiff
|
tree
2018-09-20
Sasha Manzyuk
Use the new un
i
o
n
algorithm instead
of subtyping and
.
.
.
commit
|
commitdiff
|
tree
2018-09-18
Sasha Manz
y
uk
Ap
p
rox
i
mate
u
nion of
tuples by a tuple
o
f unions
commit
|
commitdiff
|
tree
2018-09-17
Sasha Ma
n
zyuk
Fix namespace resolut
i
on i
n
an
o
nymous classes
commit
|
commitdiff
|
tree
2018-09-10
Sasha
Manzy
u
k
Add
a
n imp
l
icit upper
bound ?non
n
ull to fully opa
q
ue
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Sasha Ma
n
zyuk
Move the c
h
eck
s
perform
e
d when typ
e
-checking
s
witch
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
S
a
s
h
a
M
a
nzyuk
Fix deep_t
y
pe_map
p
er
commit
|
commitdiff
|
tree
2018-09-07
Sasha Manzyu
k
S
pecia
l
case unificatio
n
involving fresh un
r
esol
v
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-04
Sasha Manzyuk
Cl
e
an
u
p
d
ead arra
y
ap
p
end code
commit
|
commitdiff
|
tree
2018-09-04
S
a
sha Manzyuk
Improve typ
i
ng of array appends
commit
|
commitdiff
|
tree
2018-08-10
Sasha Manzyuk
M
a
k
e
`requir
e
extends C` inside interfaces and traits
.
.
.
commit
|
commitdiff
|
tree
2018-08-09
Sasha Manzyuk
Enforce that the enum constraint,
if give
n
, is a sub
t
ype
.
.
.
commit
|
commitdiff
|
tree
2018-08-07
Sasha M
a
nzyuk
Disallow u
s
ing [] for reading
in an lval
u
e c
o
nte
x
t
commit
|
commitdiff
|
tree
2018-08-06
Sasha Manzyuk
A g
e
neric type p
a
rameter
is a subtype of mixe
d
commit
|
commitdiff
|
tree
2018-08-06
Sasha Man
z
yuk
A newtype i
s
a subtype o
f
mix
e
d
commit
|
commitdiff
|
tree
2018-08-02
Sasha Manzyuk
Preve
n
t Shapes::i
d
x from
creati
n
g redundant
option
.
.
.
commit
|
commitdiff
|
tree
2018-08-01
Sasha Manzyu
k
A
g
eneric
t
yp
e
parameter
i
s a subtype of
mi
x
ed
commit
|
commitdiff
|
tree
2018-08-01
S
as
h
a Man
z
y
uk
A ne
w
typ
e
is a
s
ubtype of
m
i
x
ed
commit
|
commitdiff
|
tree
2018-07-27
Sasha Manzyuk
F
ix a bug with extr
a
cting a
t
ype from
a
n awaitable
.
.
.
commit
|
commitdiff
|
tree
2018-07-24
Sasha Manzyuk
C
l
ean up error code 4140 (missing o
p
t
i
ona
l
field)
commit
|
commitdiff
|
tree
2018-07-23
Sasha Manzyuk
Im
p
rove
ty
p
ing of assi
g
nments
t
o properties of unres
o
l
ved
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sasha Manzyuk
Move redu
n
dant
n
u
llsafe pr
o
p
e
rty ac
c
ess c
h
eck out o
f
.
.
.
commit
|
commitdiff
|
tree
2018-07-20
Sasha Manzyuk
A
r
r
ay elemen
t
ass
i
gnment
commit
|
commitdiff
|
tree
2018-07-20
S
asha
M
anzyuk
Pr
o
perty as
s
ignment
commit
|
commitdiff
|
tree
2018-07-20
Sasha Manzy
u
k
S
h
a
pe field assignment
commit
|
commitdiff
|
tree
2018-07-20
S
a
sh
a
Manzyu
k
Array append typi
n
g
commit
|
commitdiff
|
tree
2018-07-19
Sasha Ma
n
zyuk
Requi
r
e functions
with implicit or expr
e
s
s
ionless returns
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
Sasha Manzyuk
(Mor
e
) sound typing of Shape
s
::idx
commit
|
commitdiff
|
tree
2018-07-11
Sasha
Manzyuk
Typing rules f
o
r id
x
commit
|
commitdiff
|
tree
2018-07-11
Sasha Manzyuk
Typing
r
ul
e
s
f
or Sha
p
e
s
::idx
commit
|
commitdiff
|
tree
2018-07-11
Sasha Manzyuk
Static proper
t
y acc
e
ss
commit
|
commitdiff
|
tree
2018-07-11
Sasha M
a
nz
y
uk
Baby ste
p
s towards forma
l
ization of property a
c
cess
commit
|
commitdiff
|
tree
2018-07-09
Sash
a
Manzy
u
k
Stop supporting class co
n
stan
t
s as
s
hape field names
commit
|
commitdiff
|
tree
2018-07-04
Sa
s
ha Man
z
yuk
A few s
m
al
l
fixes to subtyping when vo
i
d i
s
treat
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-07-03
S
ash
a
Manzyu
k
E
li
d
e Tany when
flattening
unr
e
so
l
ved ty
p
es
commit
|
commitdiff
|
tree
2018-07-02
Sasha Manzyuk
Hack array
s
are Indexish
commit
|
commitdiff
|
tree
2018-06-29
Sasha
M
anzyuk
Re
m
ove d
i
s
allow_unsafe_compariso
n
s op
t
i
o
n
commit
|
commitdiff
|
tree
2018-06-29
Sas
h
a
Manzyuk
Remove disallow_non_
a
rraykey_keys option
commit
|
commitdiff
|
tree
2018-06-29
Sasha Manzy
u
k
Start formalizing
n
oreturn as
t
he bo
t
tom type
commit
|
commitdiff
|
tree
2018-06-26
Sasha Manzyuk
Remove redundant unresolv
e
d
commit
|
commitdiff
|
tree
2018-06-26
S
a
sh
a
Manzyuk
Replace unification with s
u
b
typing whe
n
downcasti
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-06-26
Sasha Manzyuk
I
mprove
t
yping of
arrays containing
untype
d
values
commit
|
commitdiff
|
tree
2018-06-26
Sa
s
ha Man
z
yuk
R
e
move shape_fiel
d
_check o
p
tion
commit
|
commitdiff
|
tree
2018-06-25
Sasha M
a
nzyuk
Use union inst
e
ad
o
f un
i
fication when typ
e
-
c
hec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2018-06-22
Sasha Ma
n
zyuk
Remove p
f
r
o
m the list of in
d
exvars
commit
|
commitdiff
|
tree
2018-06-22
Sasha Man
z
yuk
Legac
y
v
e
c-like ar
r
ays are c
o
v
a
ri
a
nt
commit
|
commitdiff
|
tree
2018-06-20
S
a
s
ha Manzyuk
Bring
the syntax f
o
r newtypes into agree
m
ent with
Hack
commit
|
commitdiff
|
tree
2018-06-19
Sasha
M
anzyuk
N
ullab
l
e ty
p
es are unions
commit
|
commitdiff
|
tree
2018-06-14
Sa
s
ha Manz
y
uk
Replace wrapping into unresol
v
ed with unbin
d
i
ng
commit
|
commitdiff
|
tree
2018-06-14
Sasha Manzyuk
Remove a
n
oth
e
r
t
hree redundant unresolved's
commit
|
commitdiff
|
tree
2018-06-14
Sa
s
ha Manzyuk
Remove a red
u
ndant
u
nresolved
commit
|
commitdiff
|
tree
2018-06-13
Sasha Ma
n
zyuk
Fix ty
p
ing of
Shapes::idx() wit
h
a default
value
commit
|
commitdiff
|
tree
2018-06-13
Sash
a
Manzyuk
Enable
looping
w
ith foreach ov
e
r
c
o
n
tai
n
ers of u
n
resolved
.
.
.
commit
|
commitdiff
|
tree
2018-06-13
Sasha Manzyuk
Add cas
e
s
for
primitives to s
i
mplify_su
b
type
commit
|
commitdiff
|
tree
2018-06-12
Sash
a
Manzy
u
k
A mi
n
or clean-up
of
T
yping_
s
ubtype
.
commit
|
commitdiff
|
tree
2018-06-11
Sa
s
ha Manzyuk
Add ca
s
es for tuples
to simplify_subtype
commit
|
commitdiff
|
tree
2018-06-11
Sas
h
a Manzyuk
Add cases
f
or sh
a
p
es to simplify_sub
t
ype
commit
|
commitdiff
|
tree
2018-06-11
Sasha Manzyuk
Sh
a
pes are not Indexis
h
commit
|
commitdiff
|
tree
2018-06-07
Sasha
Manzy
u
k
E
x
tend simplify_sub
t
ype with cases for enums
commit
|
commitdiff
|
tree
2018-06-06
Sasha Manzyuk
Allow
c
o
mparisons between objects o
f
type
D
ateTime
I
mmuta
b
le
commit
|
commitdiff
|
tree
2018-06-06
S
a
s
ha Manzyuk
Extend
s
implify_subtype with cases
for
n
ewtypes
commit
|
commitdiff
|
tree
2018-06-06
Sasha
M
anzyuk
Move
some subtyping check
s
involvi
n
g
an optional s
u
pertype
.
.
.
commit
|
commitdiff
|
tree
2018-06-04
Sasha Manzyuk
Disallow
accessing class c
o
nsts
and static methods
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Sasha Manzyuk
Tast_
c
heck for invalid Shapes::id
x
() calls
commit
|
commitdiff
|
tree
2018-05-30
Sasha Manzyuk
Detec
t
Sha
p
es::keyExi
s
ts() checks that stati
c
ally
resolve
.
.
.
commit
|
commitdiff
|
tree
2018-05-29
Sasha M
a
nzyuk
Add a widenin
g
rule
for closed shap
e
s
commit
|
commitdiff
|
tree
next