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
Pass $this/static type as receiver when checking reactivity of parent calls
2018-08-03
Vladimi
r
Mat
v
eev
Pass $this/stat
i
c type as
r
e
ce
i
ver whe
n
checking
reactivity
.
.
.
commit
|
commitdiff
|
tree
2018-07-18
Vladimir Matveev
In
j
ect
__RxOf
S
co
p
e
i
nt
o
list o
f
at
t
ri
b
utes for asy
n
c
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
Vladimir Mat
v
eev
Intr
o
d
u
ce
_
_Rx
O
fSco
p
e
commit
|
commitdiff
|
tree
2018-07-16
Vla
d
imir Matveev
Check argument to
'unset' in rea
c
tive mod
e
commit
|
commitdiff
|
tree
2018-07-13
Vla
d
imir Matveev
Co
m
pile regexes once
commit
|
commitdiff
|
tree
2018-07-13
Vlad
i
mir Matveev
Mo
v
e '&' as unary
operator check
to typing phase
commit
|
commitdiff
|
tree
2018-07-13
Vladi
m
ir
Matveev
Gate
r
eference r
e
lated ch
e
ck
s
u
n
der u
n
sa
f
e_rx flag
commit
|
commitdiff
|
tree
2018-07-13
Vladimir M
a
tvee
v
F
ilte
r
co
m
ments dur
i
ng
c
ollection
commit
|
commitdiff
|
tree
2018-07-13
V
ladimir Matveev
A
l
low mutab
l
e arguments in asyn
c
functions
commit
|
commitdiff
|
tree
2018-07-13
V
ladimir Matve
e
v
Replace struc
t
u
r
al
comparison of lexers
w
ith comparing
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
Vl
a
dimir Ma
t
veev
Disall
o
w
refefences in
r
eac
t
ive code
commit
|
commitdiff
|
tree
2018-07-11
Vl
a
dim
i
r Matveev
Treat
i
nout (mutable value) as muta
b
le value
commit
|
commitdiff
|
tree
2018-07-11
Vladimir Matveev
Add types to represe
n
t RxShallow/RxLocal function
s
commit
|
commitdiff
|
tree
2018-07-11
Vladimi
r
Matveev
Only allow foreach
o
ver Rx\Tr
a
versa
b
le in re
a
ctiv
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-09
Vladimir Mat
v
e
e
v
Allo
w
awaita
b
les
to
b
e
r
etu
r
ned from consequence
/
alterna
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-07
Vladimir Ma
t
veev
Ensure that `p
a
r
s
e_list_until` makes pr
o
gress
commit
|
commitdiff
|
tree
2018-07-06
Vla
d
imir Matveev
Cond
i
tion
a
lly reactive
r
e
turn types
commit
|
commitdiff
|
tree
2018-07-03
Vl
a
di
m
ir Matveev
Add mi
s
sing gate fo
r
reactiv
i
ty che
c
k
s
commit
|
commitdiff
|
tree
2018-06-30
Vl
a
dimir
M
atveev
__Maybe
M
uta
b
le and friend
s
commit
|
commitdiff
|
tree
2018-06-29
Vladimir Matveev
Allow only fixed
set of collecti
o
n typ
e
s to be used
.
.
.
commit
|
commitdiff
|
tree
2018-06-25
Vladimir Matveev
Co
n
ditional reactivity
commit
|
commitdiff
|
tree
2018-06-19
Vladimir
M
atveev
Make a
r
rays
H
H
\
R
x\T
r
av
e
rs
a
ble and H
H
\Rx\KeyedTraversable
commit
|
commitdiff
|
tree
2018-06-18
Vladimir Matveev
Delete pcnt
l
_wait te
s
t
commit
|
commitdiff
|
tree
2018-06-14
V
l
a
d
im
i
r
Matveev
A
l
low collection literals are arg
u
ments to HH\Rx\mutable
commit
|
commitdiff
|
tree
2018-05-31
V
ladimir
M
atveev
D
i
s
a
llow <<__Memoiz
e
>
>
attr
i
bu
t
e on lambdas
commit
|
commitdiff
|
tree
2018-05-23
V
la
d
imi
r
Matveev
Disallow non-awai
t
ed Awaitable
v
a
lues in reactive context
commit
|
commitdiff
|
tree
2018-05-22
Vl
a
d
imi
r
Matvee
v
Sup
p
ort a
t
tribut
e
s on lambdas in
the old p
a
r
s
e
r
commit
|
commitdiff
|
tree
2018-05-21
Vladimir
M
atveev
Allow as
s
ignment when indexing into prope
r
ty of type
.
.
.
commit
|
commitdiff
|
tree
2018-05-20
Vladimir
M
atveev
Inst
a
ntiate gener
i
c
c
o
n
dition type with Tany w
h
en checking
.
.
.
commit
|
commitdiff
|
tree
2018-05-19
Vladim
i
r Matveev
In
t
roduce __ReturnsVoidToRx
commit
|
commitdiff
|
tree
2018-05-08
V
ladimir Matvee
v
Add HH\Rx\m
u
table f
u
n
ction
commit
|
commitdiff
|
tree
2018-05-08
Vladimi
r
Matveev
Move freeze to H
H
\Rx names
p
ace
commit
|
commitdiff
|
tree
2018-05-08
Vladimir Ma
t
veev
D
o
not erro
r
on empt
y
files
commit
|
commitdiff
|
tree
2018-05-07
Vl
a
dimir Matve
e
v
Support OnlyRxIfImp
l
on function arg
u
ments
commit
|
commitdiff
|
tree
2018-04-20
Vladimir Matveev
Generic way to
chec
k
required reactivity f
o
r
arguments
.
.
.
commit
|
commitdiff
|
tree
2018-04-20
Vladimir Ma
t
veev
Do not
init
i
alize/use
s
ha
r
ed
memory
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Ma
t
v
e
ev
A
l
low
type alias
e
s
to
be used in
<
<__M
a
ybeRx>> arguments
commit
|
commitdiff
|
tree
2018-04-19
Vladi
m
ir Ma
t
ve
e
v
Impli
c
itly treat `
_
_construct
`
me
t
ho
d
as `<<
_
_Mutable>>`
commit
|
commitdiff
|
tree
2018-04-19
Vla
d
imir Matveev
Rename __M
a
y
beRx to __
O
nlyRxIfRxFunc
commit
|
commitdiff
|
tree
2018-04-15
Vladimir Matveev
Treat arr
a
ys-used-as-maps, tuple
s
a
n
d shapes as by
.
.
.
commit
|
commitdiff
|
tree
2018-04-13
Vladim
i
r
Ma
t
veev
Acquire compil
e
r instance per worker thr
e
a
d u
p
fr
o
nt
commit
|
commitdiff
|
tree
2018-04-13
Vladi
m
ir Matveev
Use Ha
c
kC
c
ompani
o
n processe
s
to power facts extraction
.
.
.
commit
|
commitdiff
|
tree
2018-04-12
Vladimir Matveev
Enable reacti
v
i
t
y
depende
n
t o
n
argu
m
ents
for functions
commit
|
commitdiff
|
tree
2018-04-12
Vladim
i
r Matvee
v
Co
n
solidate
r
e
activ
i
ty
che
c
ks
commit
|
commitdiff
|
tree
2018-04-11
V
l
adimir Matveev
Allow func
t
i
on sub
t
y
pes to
r
eturn
mutably
o
wned values
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
Vladimir Matveev
D
i
sall
o
w re
t
urning mu
t
ab
l
y
b
o
rrowed
value
s
as immutable
commit
|
commitdiff
|
tree
2018-04-06
Vladimir Matvee
v
Allow g
e
ne
r
ic type specifiers with qua
l
ified na
m
es
.
.
.
commit
|
commitdiff
|
tree
2018-04-02
V
l
adimir
M
at
v
eev
Allow protecte
d
modifie
r
in interfaces
commit
|
commitdiff
|
tree
2018-03-28
Vladimir Matvee
v
Pass in containing types to properly
d
etermine ef
f
ective
.
.
.
commit
|
commitdiff
|
tree
2018-03-27
Vladimir Matvee
v
B
r
ing order of pro
p
erties in result
s
closer
t
o
H
HVM
commit
|
commitdiff
|
tree
2018-03-26
Vladim
i
r
M
atvee
v
Set 'exten
d
s' dependency for
b
etween reactivity c
o
n
diti
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-03-26
Vladimir M
a
tve
e
v
Only allow Rx\IS_
E
N
ABLED as a s
i
ngle con
d
iti
o
n in only
.
.
.
commit
|
commitdiff
|
tree
2018-03-24
V
lad
i
mir Mat
v
eev
Prope
r
ly h
a
ndle byval collec
t
ion types wrap
p
ed in unresolved
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vladimi
r
Matv
e
ev
Allow attribute specs on l
a
mbdas, anonymous
f
u
n
ctio
n
s
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
Vladimir M
a
tveev
Disall
o
w awai
t
in finally
commit
|
commitdiff
|
tree
2018-03-22
V
l
adimir Matveev
F
lip the order of callee and caller
c
o
ndi
t
io
n
al types
commit
|
commitdiff
|
tree
2018-03-22
Vladimir Matvee
v
Allow mut
a
tion
of col
l
ec
t
ions
that has by
-
value semantic
s
commit
|
commitdiff
|
tree
2018-03-21
Vladimir Matveev
Rewri
t
e fa
c
ts p
a
rser to u
s
e s
m
art const
r
uctors
commit
|
commitdiff
|
tree
2018-03-20
Vladimi
r
Matveev
Adjust t
h
e pre
c
edence
o
f reference-ope
r
ato
r
commit
|
commitdiff
|
tree
2018-03-20
V
l
adimir
M
atveev
Disallow assignments via indexer in reactive context
commit
|
commitdiff
|
tree
2018-03-20
Vladimi
r
Matvee
v
S
e
t VariadicByRef
fl
a
g on f
u
nction/metho
d
if variadic
.
.
.
commit
|
commitdiff
|
tree
2018-03-20
Vladimir M
a
tveev
Allow pr
o
tected methods in interf
a
ces
commit
|
commitdiff
|
tree
2018-03-20
Vladimir Ma
t
veev
Accoun
t
st
a
tic methods as
s
o
urce of expre
s
sions that
.
.
.
commit
|
commitdiff
|
tree
2018-03-20
V
la
d
imir Ma
t
veev
Allow condition type on fu
n
c
t
ion being
c
alled be
as
.
.
.
commit
|
commitdiff
|
tree
2018-03-20
Vla
d
imir Matveev
Allow overridd
i
n
g RxIfImpl m
e
t
h
ods with RxSha
l
low
\
RxLo
c
a
l
commit
|
commitdiff
|
tree
2018-03-20
V
l
adimir Matvee
v
Move static/global/
s
uperglo
b
al c
h
e
c
ks to a ty
p
ing p
h
ase
commit
|
commitdiff
|
tree
2018-03-15
Vladimir Matveev
Hand
l
e missing use-c
a
ses in facts extraction
commit
|
commitdiff
|
tree
2018-03-14
Vladimir Matv
e
ev
Consol
i
da
t
e _
_
Rx*IfImplements attri
b
ut
e
s
commit
|
commitdiff
|
tree
2018-03-13
Vla
d
i
m
ir Ma
t
veev
D
isa
l
low superglobals in reactive functions
commit
|
commitdiff
|
tree
2018-03-13
Vladimir Matveev
A
llow cond
i
tionally rea
c
t
i
ve methods to be overridden
.
.
.
commit
|
commitdiff
|
tree
2018-03-13
Vlad
i
mir Matveev
Compare defaul
t
values of param
e
te
r
s b
y
re-parsing
.
.
.
commit
|
commitdiff
|
tree
2018-03-13
Vladimir Matve
e
v
Pass receiver typ
e
for st
a
t
ic method calls
when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
Vla
d
imir Matveev
Replace __METHOD__ co
n
stant in
l
ambdas in
s
ide
t
rait
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
V
la
d
imir Ma
t
veev
Use calls of speci
a
l
func
t
ions as i
n
dica
t
or of d
y
namic
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
Vla
d
i
mi
r
M
atveev
Use correct pass-by-ref kind for Import { Requi
r
e }
commit
|
commitdiff
|
tree
2018-03-11
V
l
a
d
imir Ma
t
veev
Properly ha
n
dle argume
n
ts wit
h
explicit byref qualifier
commit
|
commitdiff
|
tree
2018-03-11
V
l
adimir Matveev
Fix semdif
f
to recognize empty string
c
o
n
catenation
.
.
.
commit
|
commitdiff
|
tree
2018-03-11
V
lad
i
mir Matveev
Bring logic to d
e
ter
m
i
ne if lam
b
da is s
t
atic closer
.
.
.
commit
|
commitdiff
|
tree
2018-03-10
Vladim
i
r Matveev
B
e more fine grained
w
hen aggr
e
gating facts data
commit
|
commitdiff
|
tree
2018-03-10
Vl
a
d
imir Mat
v
e
ev
Set UseStrictType
s
for hh
file
s
commit
|
commitdiff
|
tree
2018-03-10
V
l
adimir
M
a
tveev
Emit span of NativeOpI
m
p
l
m
e
tho
d
s a
s
(0,0)
commit
|
commitdiff
|
tree
2018-03-10
Vladimir
M
atveev
Che
c
k
if type name has '<' to determine if
t
y
pe name
.
.
.
commit
|
commitdiff
|
tree
2018-03-10
Vladimir Mat
v
eev
in as
.
cpp add type alia
s
es to the list
of mergeables
.
.
.
commit
|
commitdiff
|
tree
2018-03-09
Vl
a
dimir Matveev
Do n
o
t set Na
t
ive attribute for inout wrappers
commit
|
commitdiff
|
tree
2018-03-09
V
l
a
dimir Matveev
Set param
coers
i
on mod
e
in func emitter
commit
|
commitdiff
|
tree
2018-03-09
Vladim
i
r Matveev
Set MaybeDa
t
aType
f
or re
t
urn ty
p
e
commit
|
commitdiff
|
tree
2018-03-05
Vladimir Matv
e
ev
Use nex
t
_
t
oken to consume closi
n
g brace in XHP
expre
s
sio
n
s
commit
|
commitdiff
|
tree
2018-03-04
Vladimir Matveev
Escape XHP
c
ontent
commit
|
commitdiff
|
tree
2018-03-04
V
l
a
d
imir Matveev
Handle
H
T
ML
e
ntities
commit
|
commitdiff
|
tree
2018-03-04
Vlad
i
mir Matv
e
ev
Do not s
e
t
.
numiter
s
in m
e
moize wrap
p
ers
commit
|
commitdiff
|
tree
2018-03-04
Vladimir Matveev
Properly handle sub
s
cr
i
pt expr
e
ssio
n
s with b
a
se $this
.
.
.
commit
|
commitdiff
|
tree
2018-03-02
V
ladi
m
i
r
Ma
t
v
e
ev
Ignore XHP c
o
m
m
e
nts
commit
|
commitdiff
|
tree
2018-03-02
Vladimir
Matveev
A
l
l
o
w
S
taticLocInit
w
ith v
a
lues of
shape
X
::class
commit
|
commitdiff
|
tree
2018-03-02
Vladimir Matveev
Reco
g
nize q
u
ali
f
i
e
d
form of 'fu
n
c
_
ge
t
_a
r
g
s'
commit
|
commitdiff
|
tree
2018-03-02
Vl
a
dimir Matveev
Re
m
o
v
e
i
s_xhp ch
e
ck before e
m
i
t
ting
xh
p
member
s
commit
|
commitdiff
|
tree
2018-03-02
V
ladimi
r
Matv
e
ev
Update shape of exp
r
ess
i
on
f
or
XHP children t
o
m
a
tch
.
.
.
commit
|
commitdiff
|
tree
2018-03-02
Vladi
m
i
r
Matveev
Dis
a
llow
'
echo' and 'print
'
in re
a
c
t
ive
a
nd shall
o
w
.
.
.
commit
|
commitdiff
|
tree
2018-03-01
Vladimir Matve
e
v
Add facts ext
r
action ca
p
abilities to hh_single_compile
commit
|
commitdiff
|
tree
2018-02-27
Vladimir Ma
t
veev
Remove unused sc
o
pin
g
t
o
reduc
e
noise when compa
r
ing
.
.
.
commit
|
commitdiff
|
tree
2018-02-26
V
lad
i
mir Matvee
v
Use ClsRefGetL
for accessi
n
g static members o
u
t
of
.
.
.
commit
|
commitdiff
|
tree
next