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
update version header
2019-07-11
Sasha Manzyuk
Typing
.
set_valid_rvalu
e
doesn'
t
need to return the
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Sash
a
Manzyuk
M
ake it an error to acce
s
s a shape field known to not
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
S
a
sha M
a
n
z
yuk
Improve error
m
essa
g
es generated by subtypi
n
g checks
.
.
.
commit
|
commitdiff
|
tree
2019-07-08
Sa
s
ha Manzyuk
Remove
u
nused parameter of Typing
_
shapes
.
s
hrink_shape
commit
|
commitdiff
|
tree
2019-07-08
Sasha Manzyuk
I
mp
l
emen
t
refineme
n
t by Sha
p
es::keyExist
s
checks using
.
.
.
commit
|
commitdiff
|
tree
2019-07-04
Sasha Manzyuk
Get rid of
t
r
acking un
s
et f
i
e
lds
i
n the sha
p
e type
commit
|
commitdiff
|
tree
2019-07-03
Sasha
Manzy
u
k
Us
e
optio
n
al
s
ha
p
e
f
i
e
lds of type no
t
hing
to r
e
present
.
.
.
commit
|
commitdiff
|
tree
2019-07-03
S
a
sha M
a
nzyuk
Sim
p
lify
s
u
btypi
n
g of shapes
commit
|
commitdiff
|
tree
2019-07-02
Sasha Man
z
y
u
k
I
mprove
t
h
e
e
r
ro
r
mess
a
ge
o
f "primar
y
e
rror posi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2019-07-01
Sas
h
a M
a
nz
y
uk
Fix pos
i
tio
n
s of Awaitall node
s
p
roduc
e
d by parsing
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
Sasha Manzyuk
Remove unuse
d
func
t
ions from the Errors module
commit
|
commitdiff
|
tree
2019-06-24
Sa
s
ha Ma
n
z
y
u
k
Fix creat
i
on of expres
s
ion dependent types from nu
l
l
able
.
.
.
commit
|
commitdiff
|
tree
2019-06-24
S
asha M
a
nzyuk
Replace Unsat f with Disj (f, [])
commit
|
commitdiff
|
tree
2019-06-21
Sash
a
M
anzyuk
Bett
e
r error
m
essage
s
for disjunctions: prop
a
gate the
.
.
.
commit
|
commitdiff
|
tree
2019-06-18
Sasha
Manzyuk
Display full types whe
n
printing generic type mismatch
.
.
.
commit
|
commitdiff
|
tree
2019-06-18
Sasha
M
anzy
u
k
F
ix
the primary positi
o
n
of error
m
essage
s
for invalid
.
.
.
commit
|
commitdiff
|
tree
2019-06-17
S
asha M
a
nzyu
k
Functions in Typing
_
subtype don't n
e
ed to pass around
.
.
.
commit
|
commitdiff
|
tree
2019-06-17
Sasha Ma
n
zyuk
Bette
r
error m
e
ssage from
T
yping
_
s
u
btype
.
su
b
_st
r
ing
commit
|
commitdiff
|
tree
2019-06-17
Sasha M
a
nzyuk
Typi
n
g_subtype
.
s
u
b_st
r
ing doesn't need
to
pa
t
t
ern-match
.
.
.
commit
|
commitdiff
|
tree
2019-06-17
S
a
s
h
a
Manzyuk
Simplify Tast_utils
.
sketchy_type_kind
commit
|
commitdiff
|
tree
2019-06-13
Sasha Manzyuk
Remov
e
a
redu
n
dant ca
s
e
fro
m
Typi
n
g
_
subtype
.
simplify_
s
ubtype
commit
|
commitdiff
|
tree
2019-06-11
Sasha
Manzyuk
Rename is_sub_type int
o
i
s
_s
u
b_type_LEG
A
CY_DEPREC
A
TED
commit
|
commitdiff
|
tree
2019-06-10
Sasha Manz
y
uk
i
s
_sub_type
_
alt doesn't need t
o
take no_to
_
b
o
ttom argu
m
ent
commit
|
commitdiff
|
tree
2019-06-10
Sasha Manzyuk
pr
o
cess_simplify_subtype_result d
o
e
s
n't need
to thread
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
S
a
sha Manzyuk
Obj_get
_
check
s
h
ould not r
e
por
t
an error
w
hen the rece
i
ver
.
.
.
commit
|
commitdiff
|
tree
2019-06-05
Sasha
Man
z
y
uk
R
emove
the special cas
e
of typing nul
l
che
c
ks
commit
|
commitdiff
|
tree
2019-06-03
Sasha Ma
n
zy
u
k
Clean up u
n
used functions in
Typing_utils
commit
|
commitdiff
|
tree
2019-06-03
Sasha Manzy
u
k
Replac
e
"Is d
y
namic?
"
check based on case analy
s
is
.
.
.
commit
|
commitdiff
|
tree
2019-06-03
Sash
a
Manz
y
uk
Replace a
few "Is option
?
"
c
heck
s
b
a
sed on
cases a
n
alysis
.
.
.
commit
|
commitdiff
|
tree
2019-05-31
Sasha Manzyuk
D
on't discard the
e
nvironm
e
nt
when type checking a
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Sash
a
Manzyuk
So
l
ve unso
l
ve
d
typ
e
variables when done
t
ype chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Sas
h
a Manzyuk
S
olve unsolv
e
d type variables when
d
o
ne type checking
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Sasha Manzyuk
Solve all
u
nsolved
t
y
p
e v
a
riables when done ty
p
e
c
h
e
cking
.
.
.
commit
|
commitdiff
|
tree
2019-05-23
Sasha Manzyuk
Thread only this_
t
y instea
d
of
t
h
e whole ety_e
n
v
commit
|
commitdiff
|
tree
2019-05-23
S
a
sha Manz
y
uk
Remov
e
unused
func
t
ion p
a
rameter
commit
|
commitdiff
|
tree
2019-05-23
S
a
s
ha Ma
n
zyu
k
F
i
x static class
p
roperty/method lookup
i
n unions
commit
|
commitdiff
|
tree
2019-05-21
Sash
a
Manzy
u
k
Close type
v
ariabl
e
s when done type chec
k
i
ng
a
class
.
.
.
commit
|
commitdiff
|
tree
2019-05-17
S
a
sha Ma
n
z
y
uk
D
o
n't l
o
se constraints when
s
o
lving fo
r
typ
e
v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2019-05-15
Sasha M
a
nzyuk
Don
'
t prod
u
ce additional error
s
w
h
en
t
ype checkin
g
.
.
.
commit
|
commitdiff
|
tree
2019-05-15
Sasha Manzyuk
Improve error messag
e
s
p
ro
d
uced fo
r
shape i
n
dexing
.
.
.
commit
|
commitdiff
|
tree
2019-05-10
Sasha Manz
y
uk
Gate the
cha
n
ge from D15279318 by the new_inferen
c
e
.
.
.
commit
|
commitdiff
|
tree
2019-05-10
Sash
a
Manz
y
uk
Make ty <: ?
t
y hold if ty i
s
a
n
expression depe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
Sasha
M
anzyuk
Convert em
p
ty unions to JS
O
N
i
n the same wa
y
as th
e
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Sasha Manzy
u
k
M
a
ke the --config
flag of hh_ser
v
er
actually
w
ork
commit
|
commitdiff
|
tree
2019-05-01
Sasha Manzyuk
Allow
format string
s
to be append
e
d as regular strings
commit
|
commitdiff
|
tree
2019-05-01
Sasha Manzyuk
Use Typing_print
.
debug ins
t
ead o
f
Typing_print
.
full
.
.
.
commit
|
commitdiff
|
tree
2019-04-29
Sasha Manzyuk
Improve positions f
o
r
e
r
ro
r
s due to n
o
n-Aw
a
i
t
able
e
xp
e
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-04-26
Sa
s
ha Ma
n
z
y
uk
Fix
t
ype-c
h
e
cking of ca
l
ls to parent::__construct
i
n
.
.
.
commit
|
commitdiff
|
tree
2019-04-25
Sas
h
a Manzyuk
I
n
valid memoized param erro
r
shoul
d
poin
t
to the pa
r
am
.
.
.
commit
|
commitdiff
|
tree
2019-04-25
Sasha Man
z
yuk
Bre
a
k the d
e
pendency
o
f Typing_ops
o
n T
y
ping_
c
o
e
rcion
commit
|
commitdiff
|
tree
2019-04-25
Sa
s
ha Manzyuk
Break
t
he depe
n
dency of Ty
p
i
ng_ops on Typing_phase
commit
|
commitdiff
|
tree
2019-04-25
Sash
a
Manzyuk
Br
e
ak
t
he
de
p
endency of
T
y
p
i
ng_ops
o
n Typing
_
subtype
commit
|
commitdiff
|
tree
2019-04-25
Sasha
Manzyuk
Remove unu
s
ed mod
u
le
a
liases
commit
|
commitdiff
|
tree
2019-04-05
Sasha Manzyuk
Rename no
r
eturn to nothing in
t
he spec
commit
|
commitdiff
|
tree
2019-04-05
S
a
s
h
a Manzyu
k
HHVM and Hac
k
C
supp
o
rt for the nothing type
commit
|
commitdiff
|
tree
2019-04-05
Sash
a
Manzyu
k
Fix
the spe
c
commit
|
commitdiff
|
tree
2019-04-05
Sasha Manzy
u
k
Extend
h
h_server
w
ith a r
e
factoring allowing t
o
rewrite
.
.
.
commit
|
commitdiff
|
tree
2019-04-02
S
a
sha
M
a
nzyuk
Fall b
a
ck t
o
eager solving when narrowing fails
commit
|
commitdiff
|
tree
2019-03-28
Sas
h
a Manzyuk
Add Ty
p
eStructureKind::
O
F_NULL to HHI
commit
|
commitdiff
|
tree
2019-03-04
Sas
h
a
Manzyuk
Improve err
o
r messages produced b
y
the
n
ew infer
e
n
ce
.
.
.
commit
|
commitdiff
|
tree
2019-02-28
S
a
sha M
a
n
zyuk
Impro
v
e
error messages produced by the
n
e
w
infe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2019-02-28
Sasha Manzyuk
Add TypeStruc
t
ureKind::OF_NULL t
o
HHVM
commit
|
commitdiff
|
tree
2019-02-26
Sasha Manzyuk
Introduce the e
m
p
t
y (bot
t
om) t
y
pe
commit
|
commitdiff
|
tree
2019-02-26
Sash
a
Manzy
u
k
Localize where c
o
nstra
i
nts when performing NAST checks
.
.
.
commit
|
commitdiff
|
tree
2019-02-25
S
a
sha
Manzyuk
Add a flag cont
r
oll
i
ng whic
h
HH
_
FIXMEs are to be ignored
.
.
.
commit
|
commitdiff
|
tree
2019-02-21
Sasha Manz
y
uk
Make nonnull a reserve
d
named
commit
|
commitdiff
|
tree
2019-02-19
Sasha Ma
n
zyuk
Suppo
r
t
calling val
u
es of
generic type
s
constra
i
ned
.
.
.
commit
|
commitdiff
|
tree
2019-02-08
Sasha
Manzyuk
Co
m
bine closing typ
e
variab
l
es
with solving
commit
|
commitdiff
|
tree
2019-02-07
Sash
a
M
anzyuk
Enable
safe instanceof in partial mod
e
commit
|
commitdiff
|
tree
2019-02-03
S
a
sha Ma
n
zyuk
Eagerly solve
t
he ty
p
e
of th
e
f
uncti
o
n when typ
e
-c
h
eck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2019-02-03
Sas
h
a Manzyuk
Eage
r
ly solve the types of the arguments of await expressions
commit
|
commitdiff
|
tree
2019-02-01
Sasha Man
z
y
u
k
Yet another class
of
f
alse positives t
h
at can be f
i
xed
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Sasha M
a
nzyuk
Eagerly s
o
lve the type
o
f an unpacked function argument
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
Sasha M
a
nzyuk
Correctly thread th
e
env
i
r
o
nment when type-checking
.
.
.
commit
|
commitdiff
|
tree
2019-01-28
Sash
a
Ma
n
zy
u
k
Us
e
Typ
i
n
g
_subtype
.
e
x
pan
d
_type
_
an
d
_solve in
Ty
p
ing
_
shapes
.
.
.
commit
|
commitdiff
|
tree
2019-01-28
Sa
s
ha Manzyu
k
More c
o
nstr
a
int-friendly
way o
f
type-chec
k
in
g
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Sa
s
h
a Manzyuk
E
xpand the boun
d
s when s
o
lving type variables
commit
|
commitdiff
|
tree
2019-01-24
Sasha Ma
n
zyuk
El
i
minate
redundant
s
ubtypi
n
g check
s
agai
n
s
t mixe
d
commit
|
commitdiff
|
tree
2019-01-22
Sasha Manz
y
uk
Make type refi
n
ement by Shapes::keyExists
t
es
t
s w
o
rk
.
.
.
commit
|
commitdiff
|
tree
2019-01-22
Sasha Manzyuk
Supp
o
rt leg
a
cy behavior of HH\BuiltinEnum in
t
he new
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
Sas
h
a Manzyuk
Add short-c
i
r
cuiting in
t
ry_un
i
on a
n
d try_intersect
commit
|
commitdiff
|
tree
2019-01-09
Sash
a
Man
z
yuk
Eager
l
y solve t
h
e type of the RHS of a list-des
t
ru
c
tu
r
ing
.
.
.
commit
|
commitdiff
|
tree
2019-01-07
Sasha
Manz
y
uk
Solve type
v
ariab
l
es with identical upper and low
e
r
.
.
.
commit
|
commitdiff
|
tree
2019-01-07
S
a
s
ha Manzy
u
k
Correc
t
ly set the varian
c
e
of ty
p
e variab
l
e
s
commit
|
commitdiff
|
tree
2019-01-07
Sasha
M
an
z
yuk
To
b
jec
t
sh
o
uld not be a su
b
type of
Tclass in
s
trict
.
.
.
commit
|
commitdiff
|
tree
2018-12-12
Sasha Manzyuk
Remove bad
t
e
st
commit
|
commitdiff
|
tree
2018-12-12
S
a
s
h
a
Manzyuk
F
i
x t
y
p
e-chec
k
ing of nested lis
t
des
t
r
ucturing under
.
.
.
commit
|
commitdiff
|
tree
2018-12-11
Sasha Manzyu
k
Kill off tuple-lik
e
arrays
commit
|
commitdiff
|
tree
2018-12-10
Sasha
M
an
z
y
uk
Formalization of th
e
n
u
ll type
commit
|
commitdiff
|
tree
2018-12-10
S
as
h
a Manzyuk
Record a f
r
e
s
h typ
e
variable in
t
roduced by Typ
i
ng_return
.
.
.
commit
|
commitdiff
|
tree
2018-12-10
Sas
h
a Manzy
u
k
Add an
e
xample of saf
e
but u
n
t
y
peable code
commit
|
commitdiff
|
tree
2018-12-06
Sasha Ma
n
zyuk
Solve fr
e
sh type v
a
ri
a
bles in
t
roduced duri
n
g
the type
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
Sas
h
a
Manzyuk
Fix the typing of Shapes::removeKey
in the constraint
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
S
ash
a
Manzyuk
Typing rules
f
or Shapes:
:
re
m
ov
e
K
e
y
commit
|
commitdiff
|
tree
2018-12-06
Sasha Manz
y
uk
Keep track
o
f unset fields in an op
e
n sha
p
e
t
y
p
e
commit
|
commitdiff
|
tree
2018-12-05
S
asha Man
z
yuk
Fix typ
e
-checking of suspend with c
o
nst
r
a
int-based
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Sasha
M
anz
y
uk
Add another tes
t
case
under type
c
heck/n
e
w_inferenc
e
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Sasha Manzyuk
A
d
d a test case un
d
er
typecheck
/
new_inference/falsepos
commit
|
commitdiff
|
tree
2018-12-04
Sasha
Manzyuk
P
r
o
perly apply
t
ransitivity when
mo
v
ing
a
subty
p
ing
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Sasha Manzyuk
C
o
l
lapse equivalent type variables in t
v
e
nv
commit
|
commitdiff
|
tree
next