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
New inference: improved error message for unresolved type
2019-05-10
Vladimir Matve
e
v
mak
e
Typing
_
r
eactivity
.
check_foreach_collection a TAST
.
.
.
commit
|
commitdiff
|
tree
2019-05-04
Vladimir Matveev
Lift
condition
a
l type to nu
l
lable if
p
arameter type
.
.
.
commit
|
commitdiff
|
tree
2019-05-03
V
l
adimir Matveev
Unwrap
nullable types wh
e
n determ
i
ning
i
f type i
s
by
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
Vladimir Matveev
Allow `clone` to be argume
n
t to `Rx\mutable`
commit
|
commitdiff
|
tree
2019-01-25
Vladimir M
a
tveev
Relax
c
ondition in
f
unctio
n
that creates unique
name
.
.
.
commit
|
commitdiff
|
tree
2018-12-20
V
l
adi
m
ir Ma
t
v
e
ev
Error
if non-
r
x
lambda captures mutable locals
commit
|
commitdiff
|
tree
2018-12-18
Vladimir Matveev
F
i
x
r
elat
i
o
n check for
c
onditional
r
eac
t
ivities
commit
|
commitdiff
|
tree
2018-12-18
Vl
a
d
imir M
a
t
veev
Do n
o
t allow
t
o alias mutabl
e
values by putting
t
h
em
.
.
.
commit
|
commitdiff
|
tree
2018-12-15
V
ladimir Matv
e
ev
D
r
o
p sy
n
thetic type hints
that are
used t
o
enc
o
de reactivity
.
.
.
commit
|
commitdiff
|
tree
2018-12-12
Vladimir
M
atv
e
ev
Always
require full p
a
rse tree f
r
om the
p
arser hea
p
commit
|
commitdiff
|
tree
2018-12-11
Vladimir Matveev
Dive int
o
sube
x
p
r
e
ssions
w
hen doing
case a
n
alysis
commit
|
commitdiff
|
tree
2018-12-08
Vla
d
imir Matveev
Disallow __Mutable
,
__OwnedMuta
b
le, __MaybeM
u
t
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
Vl
a
dimir Matv
e
ev
Us
e
Mu
t
ab
l
e<
.
.
.
>
to set mutability of parameters of
.
.
.
commit
|
commitdiff
|
tree
2018-12-01
V
l
ad
i
m
i
r M
a
tveev
Rep
o
rt err
o
r in case
i
f co
n
dition t
y
pe
o
n method is
.
.
.
commit
|
commitdiff
|
tree
2018-11-30
Vladimi
r
Matvee
v
IsL
o
callable API
commit
|
commitdiff
|
tree
2018-11-30
Vladimir Matveev
Mov
e
mo
s
t of r
e
ac
t
i
vit
y
chec
k
s
t
o pass
o
ve
r
TAST
commit
|
commitdiff
|
tree
2018-11-29
Vladi
m
ir Matveev
Disallow __Mutable and __
M
aybeMutable on static m
e
thods
commit
|
commitdiff
|
tree
2018-11-29
Vladimir Matvee
v
Adjust
e
r
r
or message when calli
n
g
muta
b
le met
h
od on
.
.
.
commit
|
commitdiff
|
tree
2018-11-29
Vl
a
dim
i
r
Matveev
Allow st
r
ings
a
s lvalues
commit
|
commitdiff
|
tree
2018-11-29
Vladimir
M
a
t
v
e
e
v
Di
s
allow Mutab
l
e
+ Memoize
commit
|
commitdiff
|
tree
2018-11-28
Vlad
i
m
i
r
M
atveev
Disallow mutability
a
nnot
a
t
i
ons on
i
n
o
u
t p
a
r
amet
e
rs
commit
|
commitdiff
|
tree
2018-11-28
Vladimir
M
atveev
Pass
correct annot
a
tion
to p
a
rent:call T
A
ST
n
ode when
.
.
.
commit
|
commitdiff
|
tree
2018-11-22
Vladi
m
ir
M
at
v
eev
Properly handle `
|
>
R
x\mut
a
ble
`
as t
h
e right hand side
.
.
.
commit
|
commitdiff
|
tree
2018-11-20
Vla
d
i
mi
r
Matv
e
ev
No R
x
annotati
o
ns on classes
commit
|
commitdiff
|
tree
2018-11-15
Vladimir Ma
t
veev
Properly pass is_expr_s
t
atement
commit
|
commitdiff
|
tree
2018-11-13
V
ladimir
M
atvee
v
Handle calls to typ
e
d lam
b
das
commit
|
commitdiff
|
tree
2018-11-08
Vladimir Matveev
R
emove
f
low sensitive tracking of muta
b
il
i
ty
commit
|
commitdiff
|
tree
2018-11-03
V
l
ad
i
mir Matveev
Do
n
o
t verify t
h
a
t function call argu
m
ent
to Rx\m
u
table
.
.
.
commit
|
commitdiff
|
tree
2018-11-01
Vlad
i
mir M
a
t
veev
Preserve
s
i
n
gle
mutability
f
lavor for
locals
commit
|
commitdiff
|
tree
2018-10-31
Vladimir
Matveev
Ge
t
F
u
nctionDep
e
nden
c
ies AP
I
commit
|
commitdiff
|
tree
2018-10-31
Vladimir Matveev
Wire up
__NonRx
commit
|
commitdiff
|
tree
2018-10-21
Vl
a
d
i
mir Matvee
v
__OwnedMutabl
e
commit
|
commitdiff
|
tree
2018-09-28
Vladimir Matve
e
v
D
i
sallow capturing mut
a
ble
l
ocals\$this in
r
eactive
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Vladimir Matveev
Tr
a
ck
reassign
m
ent of locals
i
n fo
r
eac
h
s
tatements
commit
|
commitdiff
|
tree
2018-09-15
Vladimir Matveev
Allow
r
eturning nu
l
l from funct
i
o
ns annotated wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Vladimir Matve
e
v
Chec
k
mutability in
c
onstructor calls
commit
|
commitdiff
|
tree
2018-09-07
Vladimir
Matveev
Disal
l
ow <<_
_
M
u
tab
l
e
>
> on stati
c
me
t
hods
commit
|
commitdiff
|
tree
2018-08-14
Vlad
i
mir
M
at
v
e
ev
Propagate condition type i
n
formation
when e
x
pandin
g
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vladimi
r
Matveev
Allow
r
eact
i
vity
o
f th
e
f
un
c
tio
n
to be determi
n
ed
fro
m
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vladimir Matveev
Add __AtMostRxAsRxFunc and
_
_
A
tMostR
x
A
s
Args
commit
|
commitdiff
|
tree
2018-08-07
Vladimir Matve
e
v
Pass lexer settings to facts e
x
t
r
action library
commit
|
commitdiff
|
tree
2018-08-03
V
l
adimir
M
a
tve
e
v
S
et con
d
iti
o
n
type for parameters
a
nnotated with this
.
.
.
commit
|
commitdiff
|
tree
2018-08-03
V
ladimir Matveev
Pass $this/static type as re
c
e
ive
r
wh
e
n c
h
ecki
n
g reactivity
.
.
.
commit
|
commitdiff
|
tree
2018-07-18
Vladimir Matveev
Inject __RxOfSco
p
e into list o
f
attribut
e
s f
o
r async
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
V
l
adimir Matveev
Intro
d
uce __RxOfSco
p
e
commit
|
commitdiff
|
tree
2018-07-16
Vladimir Matveev
C
h
e
ck argument to 'u
n
set' in r
e
activ
e
m
o
de
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matveev
Compile reg
e
xes once
commit
|
commitdiff
|
tree
2018-07-13
V
l
adimir Matveev
Move '&'
as unary operator ch
e
ck
t
o t
y
ping phas
e
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matve
e
v
G
ate reference related ch
e
cks under unsafe_rx flag
commit
|
commitdiff
|
tree
2018-07-13
Vladimir
Matveev
Filter
c
omme
n
ts durin
g
collection
commit
|
commitdiff
|
tree
2018-07-13
Vladimir
Mat
v
eev
Allow mutable
ar
g
uments i
n
async functions
commit
|
commitdiff
|
tree
2018-07-13
Vladi
m
ir Matv
e
e
v
Replace
structural c
o
mp
a
r
ison of
lexers with c
o
m
p
ar
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
Vladimir M
a
tveev
D
i
sallow
r
efefences in re
a
c
t
ive
c
ode
commit
|
commitdiff
|
tree
2018-07-11
Vladimir Matveev
Treat inou
t
(
mutable val
u
e) a
s
mutable val
u
e
commit
|
commitdiff
|
tree
2018-07-11
Vla
d
imir
Matv
e
e
v
Add types to
r
epresent
R
x
Shallow/RxLocal functi
o
ns
commit
|
commitdiff
|
tree
2018-07-11
V
l
adimir Ma
t
vee
v
Only a
l
low foreach over Rx
\
Traversable in reactive
.
.
.
commit
|
commitdiff
|
tree
2018-07-09
Vl
a
dimir Matveev
Allow awaitables
t
o be
returned from consequ
e
nce/a
l
ternative
.
.
.
commit
|
commitdiff
|
tree
2018-07-07
Vladimir Matveev
Ensure that `parse
_
list_until` makes progres
s
commit
|
commitdiff
|
tree
2018-07-06
Vladimir Ma
t
veev
C
o
ndit
i
o
n
ally
r
eactive re
t
urn types
commit
|
commitdiff
|
tree
2018-07-03
Vladi
m
ir Matveev
A
d
d missing gate for reacti
v
it
y
checks
commit
|
commitdiff
|
tree
2018-06-30
V
l
adimir Matv
e
ev
_
_
MaybeMuta
b
l
e and friends
commit
|
commitdiff
|
tree
2018-06-29
V
l
adim
i
r Matveev
Allow only fixed set
o
f
collection types to be used
.
.
.
commit
|
commitdiff
|
tree
2018-06-25
Vladimir
M
atveev
Condition
a
l react
i
vity
commit
|
commitdiff
|
tree
2018-06-19
Vladimir Mat
v
eev
Make arrays H
H
\Rx
\
Traversable an
d
H
H
\Rx\KeyedTra
v
er
s
ab
l
e
commit
|
commitdiff
|
tree
2018-06-18
Vladi
m
ir Matveev
D
elete pcntl_wait t
e
st
commit
|
commitdiff
|
tree
2018-06-14
V
lad
i
mir Matv
e
ev
Allow
collection literals ar
e
argum
e
nts to HH
\
Rx\mutable
commit
|
commitdiff
|
tree
2018-05-31
Vladimir Matv
e
e
v
Disal
l
o
w
<<__Memoi
z
e>>
a
ttri
b
ute on lambdas
commit
|
commitdiff
|
tree
2018-05-23
Vladimir Ma
t
v
e
ev
D
i
s
a
l
l
o
w
non-awaited Awa
i
table
v
alue
s
in reactive context
commit
|
commitdiff
|
tree
2018-05-22
Vladimir Matveev
Support attr
i
bute
s
on lambdas in
the old pa
r
ser
commit
|
commitdiff
|
tree
2018-05-21
V
l
adi
m
ir Matveev
Allow assignment wh
e
n
in
d
e
xing into proper
t
y
of type
.
.
.
commit
|
commitdiff
|
tree
2018-05-20
V
ladimir Matv
e
ev
Instantiate generic condition type
wit
h
Tany
when check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-05-19
Vl
a
dimir Matveev
Intro
d
uce __R
e
t
u
rnsVoidT
o
Rx
commit
|
commitdiff
|
tree
2018-05-08
Vladi
m
ir Ma
t
veev
Add H
H
\Rx\mutable function
commit
|
commitdiff
|
tree
2018-05-08
V
ladim
i
r
M
atveev
Move freeze to HH\Rx
namespace
commit
|
commitdiff
|
tree
2018-05-08
Vl
a
dimir Matveev
Do n
o
t error o
n
emp
t
y f
i
les
commit
|
commitdiff
|
tree
2018-05-07
Vla
d
imi
r
M
a
tveev
S
u
ppo
r
t OnlyRxIfImp
l
on funct
i
on ar
g
uments
commit
|
commitdiff
|
tree
2018-04-20
Vladimir
M
a
tve
e
v
Generic way to
c
heck required reacti
v
ity for argu
m
ents
.
.
.
commit
|
commitdiff
|
tree
2018-04-20
Vla
d
imir Matve
e
v
Do
not initia
l
ize/use shared memo
r
y
commit
|
commitdiff
|
tree
2018-04-19
V
l
ad
i
mir
Matvee
v
Allow type
alias
e
s t
o
be use
d
in <<__Ma
y
beRx>> argu
m
e
n
ts
commit
|
commitdiff
|
tree
2018-04-19
Vladi
m
ir Matve
e
v
Implicitly t
r
eat `_
_
constru
c
t` method as
`<<__Mutable>>`
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Matveev
Rename __MaybeRx to
__OnlyRxIfRxFunc
commit
|
commitdiff
|
tree
2018-04-15
Vladi
m
ir Matveev
Treat array
s
-used-
a
s
-maps, tuples and shapes as by
.
.
.
commit
|
commitdiff
|
tree
2018-04-13
Vladimir Matveev
Ac
q
u
ire comp
i
ler ins
t
ance pe
r
worker thread up
f
r
o
nt
commit
|
commitdiff
|
tree
2018-04-13
Vladimir Matveev
U
se Ha
c
k
C
compan
i
o
n
p
rocesses
to power facts extra
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-04-12
V
l
adimir M
a
tveev
Enable
reac
t
ivity dependen
t
o
n
a
rguments for functions
commit
|
commitdiff
|
tree
2018-04-12
Vladim
i
r
Matveev
Consolidate reactivity check
s
commit
|
commitdiff
|
tree
2018-04-11
Vla
d
imir Matveev
Al
l
ow function su
b
t
y
pes to return mutabl
y
owned v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
Vladimi
r
Matveev
D
isallow re
t
urning mutabl
y
bor
r
owed v
a
lues as
immutable
commit
|
commitdiff
|
tree
2018-04-06
Vlad
i
mir Matveev
A
l
low ge
n
eric ty
p
e
specifiers with q
u
a
l
i
fi
e
d names
.
.
.
commit
|
commitdiff
|
tree
2018-04-02
V
ladimir Matvee
v
Allow prote
c
ted modifier
in int
e
rfaces
commit
|
commitdiff
|
tree
2018-03-28
Vla
d
imir
M
at
v
eev
Pass in
c
o
ntaining types to properly determi
n
e e
f
fec
t
ive
.
.
.
commit
|
commitdiff
|
tree
2018-03-27
Vladim
i
r Matv
e
ev
B
ring orde
r
o
f
properti
e
s in re
s
ults
clo
s
er
to HHVM
commit
|
commitdiff
|
tree
2018-03-26
Vladimir Matv
e
ev
Set 'exte
n
ds' d
e
pendency for be
t
we
e
n reactiv
i
ty condition
.
.
.
commit
|
commitdiff
|
tree
2018-03-26
Vladimir Matveev
Only allow R
x
\IS_E
N
A
B
L
ED
as a single cond
i
tion in only
.
.
.
commit
|
commitdiff
|
tree
2018-03-24
Vladimir Matveev
P
r
operl
y
handle byval collection types wrapped in
u
nresolved
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vladimir M
a
tve
e
v
Allo
w
attribute
specs on lambdas, anonymou
s
functions
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vlad
i
m
i
r Ma
t
veev
Dis
a
llow
await in fina
l
ly
commit
|
commitdiff
|
tree
2018-03-22
V
ladimir
M
atve
e
v
F
lip the order
o
f
callee an
d
call
e
r
conditional types
commit
|
commitdiff
|
tree
2018-03-22
Vladimir
Matveev
Allow mutation of
collection
s
th
a
t has by-value semantics
commit
|
commitdiff
|
tree
2018-03-21
V
ladimir Mat
v
eev
Rewrite
f
a
c
ts parser
to use smart constru
c
tors
commit
|
commitdiff
|
tree
next