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-15
Vladim
i
r Matveev
Properly pass is_expr_statement
commit
|
commitdiff
|
tree
2018-11-13
Vlad
i
mir
M
a
tveev
Han
d
le
call
s
to typ
e
d lambdas
commit
|
commitdiff
|
tree
2018-11-08
V
l
a
dimir Matveev
Remov
e
f
low sensitive tracking of mutab
i
l
i
ty
commit
|
commitdiff
|
tree
2018-11-03
Vladimir Mat
v
eev
Do not verify that func
t
ion call argument
t
o Rx\mut
a
ble
.
.
.
commit
|
commitdiff
|
tree
2018-11-01
Vladimir Matveev
P
r
ese
r
ve single mutability fl
a
vor for
l
ocals
commit
|
commitdiff
|
tree
2018-10-31
Vladimir
Matveev
GetFunctionDependencies
A
PI
commit
|
commitdiff
|
tree
2018-10-31
Vladimir Matveev
Wire up __NonRx
commit
|
commitdiff
|
tree
2018-10-21
Vladimir
M
atveev
__OwnedMutable
commit
|
commitdiff
|
tree
2018-09-28
Vladimir Matveev
Disallow capturin
g
mutable locals\$this in reactive
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Vladimir Matv
e
e
v
Track reassi
g
nme
n
t of
l
oc
a
ls in forea
c
h statements
commit
|
commitdiff
|
tree
2018-09-15
Vl
a
dimir Matv
e
e
v
All
o
w retu
r
n
ing
n
ul
l
f
rom function
s
an
n
otated wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Vl
a
dimir
M
atveev
C
h
eck mutabili
t
y in const
r
uc
t
or calls
commit
|
commitdiff
|
tree
2018-09-07
Vlad
i
mir
M
atvee
v
Disallow <<_
_
Mut
a
ble>>
on stati
c
methods
commit
|
commitdiff
|
tree
2018-08-14
Vladimir Ma
t
veev
P
ropa
g
a
t
e
condit
i
on type inform
a
tion wh
e
n ex
p
anding
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vladimir Matveev
Allo
w
reactivit
y
of the function to be determined from
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vl
a
dimir Mat
v
e
e
v
Add _
_
A
t
MostRxA
s
RxFunc and __AtMost
R
xAsArgs
commit
|
commitdiff
|
tree
2018-08-07
Vladimir Matveev
Pass lexer settings to fac
t
s extract
i
o
n
library
commit
|
commitdiff
|
tree
2018-08-03
Vladimir Mat
v
eev
Se
t
condition type for parameters annotated with this
.
.
.
commit
|
commitdiff
|
tree
2018-08-03
Vladimir M
a
t
v
e
e
v
Pass
$th
i
s/static
t
yp
e
as receiver when checkin
g
r
eactivity
.
.
.
commit
|
commitdiff
|
tree
2018-07-18
Vladimir Ma
t
ve
e
v
Inject __RxOfSc
o
pe into lis
t
of attribute
s
f
o
r async
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Vladi
m
ir
M
atveev
Introduce __RxOfSc
o
pe
commit
|
commitdiff
|
tree
2018-07-16
V
ladimir
M
atveev
Check argumen
t
to 'unset' i
n
reactive mode
commit
|
commitdiff
|
tree
2018-07-13
Vladim
i
r Matveev
Compi
l
e regexe
s
once
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matveev
Move '&' as
unary
o
perator check to typin
g
phase
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matveev
Gate reference
r
elated checks under un
s
afe_rx
f
l
ag
commit
|
commitdiff
|
tree
2018-07-13
Vla
d
imi
r
Matveev
Filter commen
t
s duri
n
g col
l
ection
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matve
e
v
Allow mutable
arguments i
n
async
f
uncti
o
n
s
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matveev
Replace
structural
c
omparison of l
e
xers wit
h
c
o
mparin
g
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
V
l
a
dimir
M
a
tveev
Disall
o
w refe
f
en
c
es i
n
reactive cod
e
commit
|
commitdiff
|
tree
2018-07-11
Vl
a
di
m
i
r
Ma
t
veev
Treat inout (mutable value) as mutable
v
alue
commit
|
commitdiff
|
tree
2018-07-11
Vladimir
M
atveev
Add
t
ypes
t
o repre
s
ent RxShal
l
ow/RxLoc
a
l
functions
commit
|
commitdiff
|
tree
2018-07-11
Vl
a
dimir Matveev
Only
a
llow f
o
reach ove
r
Rx\Traversable
in reactiv
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-09
Vladimir Matveev
Allow
a
waitables to be return
e
d from consequence/
a
lternative
.
.
.
commit
|
commitdiff
|
tree
2018-07-07
Vla
d
i
m
ir Matve
e
v
Ensure t
h
a
t
`parse_list_u
n
ti
l
`
m
ake
s
progress
commit
|
commitdiff
|
tree
2018-07-06
Vla
d
i
m
ir
M
at
v
eev
Condition
a
lly re
a
ctive re
t
urn types
commit
|
commitdiff
|
tree
2018-07-03
V
ladimir Matveev
Add missing gate for
r
eactivity checks
commit
|
commitdiff
|
tree
2018-06-30
V
l
adimir Matve
e
v
__M
a
ybeM
u
ta
b
le an
d
friend
s
commit
|
commitdiff
|
tree
2018-06-29
Vla
d
imir
Matveev
Allow o
n
ly fixed set of
c
ollection types to
be used
.
.
.
commit
|
commitdiff
|
tree
2018-06-25
Vladimir Ma
t
veev
Conditional reactivi
t
y
commit
|
commitdiff
|
tree
2018-06-19
Vl
a
di
m
ir
Ma
t
v
ee
v
Make arrays HH\Rx
\
Tr
a
versable and HH\Rx\Keye
d
Tr
a
versable
commit
|
commitdiff
|
tree
2018-06-18
Vladimir Ma
t
v
e
ev
Delete pcntl_wa
i
t test
commit
|
commitdiff
|
tree
2018-06-14
Vl
a
dimi
r
Matveev
Allow col
l
ect
i
o
n
literals are arguments to HH\Rx\mut
a
ble
commit
|
commitdiff
|
tree
2018-05-31
V
l
adimir Matveev
Disallow <<__Memoi
z
e
>
>
a
ttr
i
bute on
l
ambdas
commit
|
commitdiff
|
tree
2018-05-23
V
ladimi
r
Ma
t
veev
D
isallow non-awaited A
w
aitable
values in reactive
cont
e
xt
commit
|
commitdiff
|
tree
2018-05-22
Vladimi
r
M
a
t
v
eev
Support attributes on
lambdas
i
n the old parser
commit
|
commitdiff
|
tree
2018-05-21
V
ladimir M
a
t
veev
A
l
low assignme
n
t
when indexin
g
into pr
o
perty of type
.
.
.
commit
|
commitdiff
|
tree
2018-05-20
Vladim
i
r Matveev
Inst
a
nti
a
te generic condition
type
w
it
h
Tan
y
when checking
.
.
.
commit
|
commitdiff
|
tree
2018-05-19
Vladimir Matve
e
v
I
ntroduce __Re
t
u
r
nsVoidToRx
commit
|
commitdiff
|
tree
2018-05-08
Vl
a
dimir Matveev
Add HH\Rx\mutable function
commit
|
commitdiff
|
tree
2018-05-08
Vladimir Matveev
Mo
v
e
f
reeze to HH\Rx namespace
commit
|
commitdiff
|
tree
2018-05-08
Vladimir Matveev
Do n
o
t e
r
ror on
e
mpty files
commit
|
commitdiff
|
tree
2018-05-07
Vlad
i
mir Matve
e
v
Support On
l
yRxIfImpl on functio
n
argum
e
n
ts
commit
|
commitdiff
|
tree
2018-04-20
Vla
d
im
i
r Ma
t
veev
Generic way to check require
d
reactivity fo
r
argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2018-04-20
V
ladi
m
ir
M
atveev
Do
not initialize/use share
d
mem
o
ry
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Matv
e
ev
Allow type
a
l
ia
s
es to be used in <<__MaybeRx
>
> arguments
commit
|
commitdiff
|
tree
2018-04-19
V
l
a
dimir Matveev
Impl
i
citly treat `
_
_cons
t
ruct` method as `<<_
_
Muta
b
le>>`
commit
|
commitdiff
|
tree
2018-04-19
Vl
a
dimir Matveev
Rename __Mayb
e
Rx to _
_
O
n
lyRxIfRx
F
unc
commit
|
commitdiff
|
tree
2018-04-15
V
l
adimir Ma
t
v
eev
T
reat ar
r
a
y
s-used-as
-
maps
,
t
u
ples and sh
a
pes as
by
.
.
.
commit
|
commitdiff
|
tree
2018-04-13
Vl
a
d
i
mir
Matveev
Acquire comp
i
ler instance per wo
r
ke
r
thread upfront
commit
|
commitdiff
|
tree
2018-04-13
Vladi
m
ir M
a
tveev
Use
H
ackC companion p
r
ocesses
t
o power facts extrac
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-04-12
Vladim
i
r Matveev
En
a
ble
r
eactivity depen
d
ent on
arguments for functions
commit
|
commitdiff
|
tree
2018-04-12
Vladimir Matveev
Consol
i
dat
e
reactivity checks
commit
|
commitdiff
|
tree
2018-04-11
Vladi
m
ir Matveev
Allow function subtypes
t
o
return
m
utably owned values
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
Vlad
i
mir Matveev
Disallow returni
n
g mutabl
y
bo
r
r
owed v
a
lues as immutable
commit
|
commitdiff
|
tree
2018-04-06
Vl
a
dimir Matveev
Allow generic
type specifiers
w
ith
qualified names
.
.
.
commit
|
commitdiff
|
tree
2018-04-02
V
l
adimir
M
a
tve
e
v
Allow protected
modifier i
n
inter
f
aces
commit
|
commitdiff
|
tree
2018-03-28
V
ladimir Matveev
Pass
in
containing types to pr
o
perly determine effective
.
.
.
commit
|
commitdiff
|
tree
2018-03-27
Vladimir Ma
t
v
e
ev
Bring order o
f
proper
t
ies
i
n results closer to H
H
VM
commit
|
commitdiff
|
tree
2018-03-26
Vlad
i
mir
Matvee
v
S
et 'extends' dep
e
ndency fo
r
between r
e
activity condition
.
.
.
commit
|
commitdiff
|
tree
2018-03-26
Vladim
i
r M
a
tveev
Only al
l
ow Rx\IS_ENABLED as a s
i
ng
l
e condition in onl
y
.
.
.
commit
|
commitdiff
|
tree
2018-03-24
Vladimir
Matvee
v
P
ro
p
erl
y
handle byval colle
c
tion types wrapped
i
n unresolved
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vladimi
r
M
a
tveev
Allo
w
attribute specs
o
n lam
b
das,
anonymous funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vla
d
imir
M
a
tveev
Disall
o
w
await in finally
commit
|
commitdiff
|
tree
2018-03-22
Vladimir
Matv
e
ev
Flip th
e
order of
c
allee and caller con
d
itional types
commit
|
commitdiff
|
tree
2018-03-22
Vladi
m
i
r Matveev
Allow mutation of collections
that
h
as by-value semantics
commit
|
commitdiff
|
tree
2018-03-21
Vlad
i
mir Matveev
Rewrite
f
ac
t
s
p
ar
s
e
r
to
u
se smart constructors
commit
|
commitdiff
|
tree
2018-03-20
Vladim
i
r
M
atveev
Adjust
t
he precedence o
f
refere
n
ce-oper
a
tor
commit
|
commitdiff
|
tree
2018-03-20
Vladimir Matveev
Disallow
a
s
signments via index
e
r
i
n re
a
ctiv
e
c
o
ntext
commit
|
commitdiff
|
tree
2018-03-20
Vladim
i
r Ma
t
veev
Se
t
Vari
a
dicByRef flag on
f
unc
t
ion/method i
f
variadic
.
.
.
commit
|
commitdiff
|
tree
2018-03-20
Vladimir Matveev
A
l
low
protected meth
o
ds in inter
f
aces
commit
|
commitdiff
|
tree
2018-03-20
V
l
a
dimir Ma
t
veev
Acco
u
nt st
a
tic me
t
hods
as source of expressions
that
.
.
.
commit
|
commitdiff
|
tree
2018-03-20
Vla
d
imir
M
atveev
Allow
c
ond
i
tion type on funct
i
on bei
n
g called be as
.
.
.
commit
|
commitdiff
|
tree
2018-03-20
V
l
ad
i
m
i
r
M
atveev
Allow overriddin
g
RxIfImpl method
s
with Rx
S
hallow\RxLocal
commit
|
commitdiff
|
tree
2018-03-20
Vladi
m
ir
Matveev
Move stat
i
c/global
/
superg
l
obal ch
e
c
k
s to a typ
i
ng phase
commit
|
commitdiff
|
tree
2018-03-15
Vladimir M
a
tveev
Hand
l
e missing
u
se-cases in facts extra
c
t
i
o
n
commit
|
commitdiff
|
tree
2018-03-14
Vladimir Matveev
Co
n
sol
i
date _
_
Rx
*
I
fImplements
a
tt
r
ibut
e
s
commit
|
commitdiff
|
tree
2018-03-13
Vladimir M
a
tveev
Disallow supergl
o
b
als
i
n reactive functions
commit
|
commitdiff
|
tree
2018-03-13
Vladimir Matveev
Al
l
ow co
n
ditionall
y
reactive m
e
t
h
ods
to be overridd
e
n
.
.
.
commit
|
commitdiff
|
tree
2018-03-13
Vl
a
dim
i
r
Ma
t
veev
C
omp
a
re
d
efault values of paramete
r
s by re
-
pa
r
sing
.
.
.
commit
|
commitdiff
|
tree
2018-03-13
Vladimi
r
Matveev
Pass receiver
typ
e
fo
r
s
t
atic metho
d
calls when check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
Vladi
m
ir Ma
t
veev
Rep
l
a
ce __MET
H
OD__ constant
i
n lamb
d
as
i
nside
trait
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
Vladimir
M
atveev
Use
c
a
l
ls o
f
spe
c
ial functions
a
s indi
c
ator of dynamic
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
V
l
a
dimir Matv
e
ev
U
se
correct pass-by-
r
ef
kind
f
or Import { Require }
commit
|
commitdiff
|
tree
2018-03-11
V
ladimir Mat
v
eev
Properly handle arguments
with
e
xplicit byref
q
ualifier
commit
|
commitdiff
|
tree
2018-03-11
Vladimir Matveev
Fix semdiff to
r
ecog
n
ize emp
t
y string
c
oncatena
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
V
l
adimir Matveev
Bring logic t
o
de
t
e
r
mine
if lambda
i
s static closer
.
.
.
commit
|
commitdiff
|
tree
2018-03-10
Vl
a
d
i
mir M
a
tveev
B
e more fine grained when aggregating facts da
t
a
commit
|
commitdiff
|
tree
2018-03-10
V
l
adimir Matveev
Set UseStrictTy
p
es
f
o
r hh
f
ile
s
commit
|
commitdiff
|
tree
2018-03-10
Vladim
i
r Mat
v
e
e
v
Emit
s
p
an of Nati
v
eOpImpl met
h
od
s
as (0,0)
commit
|
commitdiff
|
tree
2018-03-10
V
ladimir Matveev
Check if typ
e
name has '<' to determine if type nam
e
.
.
.
commit
|
commitdiff
|
tree
next