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
Handle condition types for intersections
2019-08-16
Vladim
i
r
Matveev
Hand
l
e condition typ
e
s for i
n
ters
e
ctions
commit
|
commitdiff
|
tree
2019-08-09
Vl
a
dimir M
a
tveev
Han
d
le
d
e
f
ault values
f
o
r parameters annotated with
.
.
.
commit
|
commitdiff
|
tree
2019-05-10
Vladimir
M
atvee
v
make
T
yping_re
a
c
t
i
vity
.
check_f
o
re
a
ch_
c
o
l
lect
i
on a TAS
T
.
.
.
commit
|
commitdiff
|
tree
2019-05-04
Vladimi
r
Matveev
Lift condit
i
on
a
l type
to nu
l
lable i
f
parame
t
er type
.
.
.
commit
|
commitdiff
|
tree
2019-05-03
Vlad
i
m
i
r Ma
t
veev
Unw
r
ap
nu
l
la
b
le typ
e
s
w
hen d
e
termining if type is
b
y
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
V
ladimir Matveev
Allow `clone`
to be argument to `Rx\muta
b
le`
commit
|
commitdiff
|
tree
2019-01-25
Vlad
i
m
i
r
Matv
e
ev
Rela
x
condit
i
o
n
i
n function that creates unique name
.
.
.
commit
|
commitdiff
|
tree
2018-12-20
Vladimi
r
Matveev
Error
i
f
non-rx l
a
mbda c
a
p
tur
e
s
mutabl
e
loca
l
s
commit
|
commitdiff
|
tree
2018-12-18
Vla
d
i
mir Matveev
Fix rel
a
tion
c
heck
f
or
c
o
n
ditional reac
t
iv
i
t
ie
s
commit
|
commitdiff
|
tree
2018-12-18
Vladimir
Matv
e
ev
Do no
t
a
l
l
ow t
o
alias mutable valu
e
s by putting them
.
.
.
commit
|
commitdiff
|
tree
2018-12-15
Vladim
i
r
Matvee
v
Drop synthetic typ
e
hi
n
ts that are used
to encod
e
r
eactivity
.
.
.
commit
|
commitdiff
|
tree
2018-12-12
Vladimir Matveev
A
lwa
y
s
r
equir
e
f
u
l
l
par
s
e
t
ree from the pa
r
s
e
r heap
commit
|
commitdiff
|
tree
2018-12-11
V
l
adimir Matveev
Di
v
e into subexpressions
w
hen doi
n
g case a
n
alysis
commit
|
commitdiff
|
tree
2018-12-08
Vladim
i
r
M
atveev
Disallow __Mutable,
_
_OwnedMutable, __MaybeM
u
t
able
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
Vladimir Matveev
Use Mutable<
.
.
.
>
to set mutability o
f
para
m
eters of
.
.
.
commit
|
commitdiff
|
tree
2018-12-01
Vladi
m
ir M
a
t
v
eev
Repo
r
t error in
c
ase
if
c
ondition type on m
e
thod
is
.
.
.
commit
|
commitdiff
|
tree
2018-11-30
Vladimir Matve
e
v
IsLocallab
l
e API
commit
|
commitdiff
|
tree
2018-11-30
V
l
adimir Matveev
Move
m
ost of reactiv
i
ty checks to pass over T
A
ST
commit
|
commitdiff
|
tree
2018-11-29
Vladimir Matv
e
ev
Disallow __Mutabl
e
a
n
d __MaybeMuta
b
le o
n
stat
i
c
method
s
commit
|
commitdiff
|
tree
2018-11-29
V
ladimir Matveev
Ad
j
ust error mes
s
age w
h
en
c
a
l
ling mutable met
h
od on
.
.
.
commit
|
commitdiff
|
tree
2018-11-29
V
ladimi
r
Matvee
v
Allow strings as lval
u
e
s
commit
|
commitdiff
|
tree
2018-11-29
Vla
d
imi
r
Matveev
D
i
s
allow Mu
t
able + Memoi
z
e
commit
|
commitdiff
|
tree
2018-11-28
Vladimi
r
Matveev
Disallow mutabil
i
ty anno
t
ati
o
ns on inout parameters
commit
|
commitdiff
|
tree
2018-11-28
Vladimi
r
M
atvee
v
P
a
s
s
co
r
rect annotatio
n
to pa
r
ent:c
a
ll TAST node w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2018-11-22
Vladimi
r
Matveev
P
r
operly h
a
ndle `|> Rx\mut
a
ble` as the
r
i
g
ht h
a
nd side
.
.
.
commit
|
commitdiff
|
tree
2018-11-20
Vladimir Matve
e
v
No Rx a
n
n
otations on classes
commit
|
commitdiff
|
tree
2018-11-15
Vladimir
M
a
tveev
Properl
y
pas
s
i
s_expr_statement
commit
|
commitdiff
|
tree
2018-11-13
Vlad
i
mir
M
atvee
v
Hand
l
e calls to
t
yped la
m
bdas
commit
|
commitdiff
|
tree
2018-11-08
Vladimi
r
Matveev
Remove fl
o
w
sensitive tracking of mutability
commit
|
commitdiff
|
tree
2018-11-03
Vladimir Matveev
D
o not v
e
r
ify that function call ar
g
u
ment to
Rx\mutab
l
e
.
.
.
commit
|
commitdiff
|
tree
2018-11-01
Vlad
i
m
i
r
Matveev
Pre
s
erve single
mu
t
abilit
y
flavor for
l
ocals
commit
|
commitdiff
|
tree
2018-10-31
Vl
a
d
im
i
r Matveev
GetF
u
n
c
tionDepende
n
cies API
commit
|
commitdiff
|
tree
2018-10-31
Vladimir Matveev
W
ire up __N
o
nRx
commit
|
commitdiff
|
tree
2018-10-21
V
l
adim
i
r
M
at
v
eev
__Own
e
dMutable
commit
|
commitdiff
|
tree
2018-09-28
Vladi
m
ir
Matveev
D
i
sallow capturing mutable
l
ocal
s
\$this in reac
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Vl
a
dimi
r
Ma
t
v
eev
Tr
a
ck r
e
assignment of
l
o
cals
i
n for
e
ach sta
t
e
ments
commit
|
commitdiff
|
tree
2018-09-15
Vladimir Ma
t
veev
All
o
w return
i
ng
n
ull
f
r
o
m funct
i
ons annotated
w
ith
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Vladimir Matveev
C
heck mutability in constr
u
c
to
r
calls
commit
|
commitdiff
|
tree
2018-09-07
V
l
a
d
imir Matv
e
ev
Disallow <<__Mutable
>
> on
s
tati
c
me
t
hods
commit
|
commitdiff
|
tree
2018-08-14
V
l
adi
m
ir
M
a
tveev
Prop
a
ga
t
e condi
t
ion type
i
nfor
m
a
t
i
on when expanding
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
V
ladi
m
ir Matveev
A
llow
r
ea
c
t
i
vity of the function
t
o be determine
d
from
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vladimir Matveev
Add __AtM
o
stRxAsRxFunc and __AtMost
R
xAsA
r
gs
commit
|
commitdiff
|
tree
2018-08-07
Vladimir Matveev
P
a
ss lexer settings t
o
fac
t
s
extraction librar
y
commit
|
commitdiff
|
tree
2018-08-03
Vladimir
M
a
tvee
v
S
e
t condition type
for pa
r
a
m
eters annot
a
ted with this
.
.
.
commit
|
commitdiff
|
tree
2018-08-03
V
l
adim
i
r Mat
v
eev
Pass $this/
s
tatic t
y
pe a
s
receiver when checkin
g
r
e
a
ctivity
.
.
.
commit
|
commitdiff
|
tree
2018-07-18
Vladimir Mat
v
eev
Inject __R
x
Of
S
cope int
o
list of attri
b
utes for asy
n
c
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Vladimir
M
atv
e
ev
Int
r
o
duce _
_
RxOfScop
e
commit
|
commitdiff
|
tree
2018-07-16
Vladimi
r
Matveev
C
h
eck
a
rgument to
'u
n
set' in re
a
c
tiv
e
mode
commit
|
commitdiff
|
tree
2018-07-13
Vladim
i
r
Matveev
Compil
e
regexes onc
e
commit
|
commitdiff
|
tree
2018-07-13
Vl
a
dimi
r
Matveev
Move
'&' as
u
na
r
y operator check to typing phas
e
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Ma
t
veev
Gat
e
ref
e
ren
c
e rela
t
ed c
h
ecks
u
n
d
er unsa
f
e_r
x
f
l
a
g
commit
|
commitdiff
|
tree
2018-07-13
V
l
adimir
M
at
v
ee
v
Filt
e
r
c
om
m
ents during collection
commit
|
commitdiff
|
tree
2018-07-13
Vladimir
M
atveev
Allow mutable arguments
i
n
a
s
y
nc fu
n
ctions
commit
|
commitdiff
|
tree
2018-07-13
Vladimir
M
atveev
Replace s
t
ruc
t
ur
a
l com
p
arison of
l
exers with comparing
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
V
l
adim
i
r Matveev
Di
s
allow
refefences
i
n
reactive c
o
d
e
commit
|
commitdiff
|
tree
2018-07-11
V
ladi
m
ir Matveev
Treat ino
u
t
(
mutable value) as mut
a
b
l
e
value
commit
|
commitdiff
|
tree
2018-07-11
Vladi
m
i
r
M
a
t
veev
Add
types
to repres
e
nt RxShallow
/
RxLocal funct
i
ons
commit
|
commitdiff
|
tree
2018-07-11
Vladimir Ma
t
veev
Only al
l
ow foreach over Rx\Traversable in reactive
.
.
.
commit
|
commitdiff
|
tree
2018-07-09
Vla
d
imir
Matveev
Allow awaitables
to be retur
n
ed from
consequence/alternative
.
.
.
commit
|
commitdiff
|
tree
2018-07-07
Vladi
m
i
r Matvee
v
Ensure that `parse_list_until`
m
akes prog
r
ess
commit
|
commitdiff
|
tree
2018-07-06
Vla
d
imir Matvee
v
Conditionally r
e
a
ctive
return
types
commit
|
commitdiff
|
tree
2018-07-03
Vladimir Matveev
Add missi
n
g gat
e
fo
r
rea
c
tivity checks
commit
|
commitdiff
|
tree
2018-06-30
Vladimir Matveev
__MaybeMutable and
f
r
i
e
nds
commit
|
commitdiff
|
tree
2018-06-29
Vladimir Matvee
v
Allow only f
i
x
ed s
e
t of colle
c
tion types
t
o be used
.
.
.
commit
|
commitdiff
|
tree
2018-06-25
V
ladimir Matveev
Condi
t
ional r
e
activity
commit
|
commitdiff
|
tree
2018-06-19
Vladimir Matveev
M
a
ke arrays HH\Rx\T
r
aversab
l
e an
d
HH\Rx\KeyedTra
v
ersable
commit
|
commitdiff
|
tree
2018-06-18
V
la
d
i
m
ir
Matveev
Delete
p
cntl_wait test
commit
|
commitdiff
|
tree
2018-06-14
Vladi
m
ir
M
a
tveev
Allow co
l
l
e
ction literals are a
r
gu
m
ents to HH\Rx\m
u
table
commit
|
commitdiff
|
tree
2018-05-31
V
ladimir M
a
t
v
eev
D
isall
o
w <<__M
e
m
oize>> attribute
on lambd
a
s
commit
|
commitdiff
|
tree
2018-05-23
Vladimir Matveev
Disallow non-awai
t
e
d Awai
t
able valu
e
s in reactive
c
onte
x
t
commit
|
commitdiff
|
tree
2018-05-22
Vladimir Matve
e
v
Support
a
ttributes
o
n lambdas in t
h
e old parser
commit
|
commitdiff
|
tree
2018-05-21
Vladimir Matvee
v
Allow a
s
signment wh
e
n
i
n
dex
i
ng into property of type
.
.
.
commit
|
commitdiff
|
tree
2018-05-20
V
l
ad
i
mir Ma
t
veev
I
n
stan
t
i
a
te gener
i
c condition ty
p
e w
i
t
h
Tany when checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2018-05-19
Vl
a
dimir Matveev
Introduce __R
e
turnsV
o
idTo
R
x
commit
|
commitdiff
|
tree
2018-05-08
Vl
a
dimir M
a
tveev
Add HH\Rx\
m
utable fun
c
tion
commit
|
commitdiff
|
tree
2018-05-08
Vladimir M
a
tv
e
ev
M
o
ve
fre
e
z
e to HH\Rx namespace
commit
|
commitdiff
|
tree
2018-05-08
V
ladimir M
a
tveev
Do
not error on empty files
commit
|
commitdiff
|
tree
2018-05-07
Vl
a
dimir
M
at
v
e
ev
Su
p
po
r
t Only
R
xIfIm
p
l on func
t
ion
arguments
commit
|
commitdiff
|
tree
2018-04-20
Vladimir Matve
e
v
Ge
n
er
i
c way to ch
e
c
k
requir
e
d reactivity for arguments
.
.
.
commit
|
commitdiff
|
tree
2018-04-20
Vladimir Matveev
Do
n
ot initial
i
ze/use shared m
e
mory
commit
|
commitdiff
|
tree
2018-04-19
V
ladimir Matveev
Allow type
a
liases
to
be us
e
d in
<<__M
a
ybeRx>> arguments
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Matveev
Implici
t
ly t
r
eat
`__construct`
method as `<<__Mutabl
e
>>`
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Matve
e
v
R
e
name __Ma
y
beRx to __OnlyR
x
IfRxFunc
commit
|
commitdiff
|
tree
2018-04-15
Vladimir Matveev
T
reat arr
a
ys-used-as-maps,
t
uples and shapes as by
.
.
.
commit
|
commitdiff
|
tree
2018-04-13
Vladimir
M
at
v
eev
Ac
q
uire c
o
mpiler instance per wo
r
ker
thread u
p
front
commit
|
commitdiff
|
tree
2018-04-13
V
l
adimir
Matveev
Use HackC
companion pro
c
es
s
es to po
w
er facts extraction
.
.
.
commit
|
commitdiff
|
tree
2018-04-12
Vladimir Matveev
Enable reactivity de
p
e
n
dent on
a
rguments f
o
r funct
i
ons
commit
|
commitdiff
|
tree
2018-04-12
Vl
a
dimir Mat
v
e
ev
Con
s
olidate
reactivity
c
hecks
commit
|
commitdiff
|
tree
2018-04-11
Vl
a
dimir
M
a
t
v
eev
Allow functi
o
n subtypes to return
m
utab
l
y o
w
ned values
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
V
l
a
d
imir Matveev
Disallow retur
n
ing
m
u
tably borrowed
values as immutabl
e
commit
|
commitdiff
|
tree
2018-04-06
Vladimir Matveev
A
l
low gen
e
ric type
specifiers with
q
ualified names
.
.
.
commit
|
commitdiff
|
tree
2018-04-02
Vladim
i
r Matveev
Allow pr
o
te
c
ted
m
od
i
fier in interfaces
commit
|
commitdiff
|
tree
2018-03-28
Vla
d
imir Matveev
Pa
s
s in
con
t
aining types to properly determi
n
e
effec
t
ive
.
.
.
commit
|
commitdiff
|
tree
2018-03-27
Vla
d
imir Ma
t
veev
B
r
ing order of properties i
n
r
esults closer to
H
HVM
commit
|
commitdiff
|
tree
2018-03-26
Vladimir
M
atveev
Set 'ext
e
n
d
s' dependenc
y
for be
t
ween r
e
activity condition
.
.
.
commit
|
commitdiff
|
tree
2018-03-26
Vladi
m
ir Matveev
Onl
y
al
l
ow Rx\IS_ENABLED as a single
condition in onl
y
.
.
.
commit
|
commitdiff
|
tree
2018-03-24
Vladimir Matveev
Properly ha
n
dle byva
l
c
ollection
t
y
p
es w
r
apped i
n
unre
s
olved
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vladimir Matve
e
v
Allow att
r
ibute spec
s
on lam
b
das, anonymous functions
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vladimir Mat
v
eev
Disa
l
l
o
w await in
fi
n
ally
commit
|
commitdiff
|
tree
2018-03-22
V
ladimi
r
Matve
e
v
Flip the order of callee and ca
l
ler
c
ond
i
t
i
onal types
commit
|
commitdiff
|
tree
next