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 through DeclParserOptions created from NativeEnv
2022-09-27
Vl
a
dimi
r
Matveev
Allow ve
c
t
o
r<bool> to
b
e u
s
ed for with
f
r
om
_
d
y
namic
commit
|
commitdiff
|
tree
2019-09-17
Vladimir Mat
v
eev
Allow `??` operator in return statements
for Mu
t
ableReturn
.
.
.
commit
|
commitdiff
|
tree
2019-08-16
Vladimir M
a
t
v
eev
Han
d
le condition types for inte
r
sections
commit
|
commitdiff
|
tree
2019-08-09
Vladimir Matveev
Handl
e
default values for
p
arameters
a
n
no
t
ated with
.
.
.
commit
|
commitdiff
|
tree
2019-05-10
Vladimir M
a
tveev
make Typing_r
e
a
ctivit
y
.
c
heck_f
o
reach_collecti
o
n
a TAST
.
.
.
commit
|
commitdiff
|
tree
2019-05-04
Vladimir Matveev
Lift conditional type t
o
n
ullable if parameter type
.
.
.
commit
|
commitdiff
|
tree
2019-05-03
Vladimir Ma
t
v
e
e
v
Unwrap nullable typ
e
s w
h
en determinin
g
if
t
ype is by
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
V
l
adimir Matveev
A
l
low `
c
lone`
to be argument
t
o
`Rx\mutabl
e
`
commit
|
commitdiff
|
tree
2019-01-25
Vladimir Ma
t
v
eev
R
e
lax condition in function that create
s
unique name
.
.
.
commit
|
commitdiff
|
tree
2018-12-20
V
l
adimi
r
M
a
tvee
v
Err
o
r if non-rx lambda captures mu
t
able
locals
commit
|
commitdiff
|
tree
2018-12-18
Vladi
m
ir Mat
v
eev
Fix
r
elatio
n
che
c
k for condi
t
i
onal reactivitie
s
commit
|
commitdiff
|
tree
2018-12-18
V
ladim
i
r Matveev
Do n
o
t allow to al
i
as muta
b
le v
a
lues
by putting them
.
.
.
commit
|
commitdiff
|
tree
2018-12-15
Vl
a
dimir
M
a
tveev
Drop synthetic type hints that
are used
t
o encode
r
eactivit
y
.
.
.
commit
|
commitdiff
|
tree
2018-12-12
Vladimir Ma
t
veev
Alwa
y
s
req
u
ir
e
full parse
t
ree from
t
he parser heap
commit
|
commitdiff
|
tree
2018-12-11
Vlad
i
m
i
r Matveev
Di
v
e into sube
x
pressions whe
n
d
o
ing case ana
l
ysis
commit
|
commitdiff
|
tree
2018-12-08
Vladimir
M
atveev
Disa
l
low __
M
ut
a
ble, _
_
O
w
nedMutabl
e
,
_
_
Ma
y
beMu
t
able
.
.
.
commit
|
commitdiff
|
tree
2018-12-06
V
l
adimir Matveev
U
s
e
Mutable<
.
.
.
> to set mut
a
b
ility of
param
e
ters of
.
.
.
commit
|
commitdiff
|
tree
2018-12-01
Vladimir
M
at
v
eev
Report
e
rror in
c
ase if condition
type
o
n met
h
od is
.
.
.
commit
|
commitdiff
|
tree
2018-11-30
Vl
a
d
imir Matveev
IsLoca
l
lable
API
commit
|
commitdiff
|
tree
2018-11-30
Vl
a
d
i
m
i
r
Matveev
M
o
ve mos
t
o
f
reactivity checks to pass over TAST
commit
|
commitdiff
|
tree
2018-11-29
Vladimir
Matveev
Disallo
w
__Mu
t
able and __MaybeMutable
on static met
h
ods
commit
|
commitdiff
|
tree
2018-11-29
Vlad
i
mir Matvee
v
A
djust error message when calling mutable method on
.
.
.
commit
|
commitdiff
|
tree
2018-11-29
Vladimir
Matveev
Allow strings as lvalues
commit
|
commitdiff
|
tree
2018-11-29
Vlad
i
mir
Matvee
v
D
i
sallow Mutable + M
e
moize
commit
|
commitdiff
|
tree
2018-11-28
Vladimir Matveev
D
i
sallow mutab
i
lity annotati
o
ns
o
n in
o
ut paramet
e
rs
commit
|
commitdiff
|
tree
2018-11-28
Vladimir
Matveev
Pass
correc
t
annotation to par
e
nt:cal
l
TA
S
T
n
ode
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2018-11-22
Vladimir M
a
tveev
Properly handle `|> Rx\m
u
t
ab
l
e`
as the right hand side
.
.
.
commit
|
commitdiff
|
tree
2018-11-20
Vlad
i
mir Matveev
No Rx annotati
o
ns on classes
commit
|
commitdiff
|
tree
2018-11-15
Vladimir Ma
t
veev
P
rope
r
ly pass
i
s
_expr_stateme
n
t
commit
|
commitdiff
|
tree
2018-11-13
V
ladimir Matveev
Ha
n
dle calls to t
y
p
ed lambdas
commit
|
commitdiff
|
tree
2018-11-08
Vladimir Matveev
Rem
o
ve flow sensitive tr
a
cki
n
g of mutabil
i
ty
commit
|
commitdiff
|
tree
2018-11-03
Vl
a
d
i
m
i
r
Matv
e
ev
Do not ver
i
fy that function
c
a
ll argu
m
ent to Rx\mutable
.
.
.
commit
|
commitdiff
|
tree
2018-11-01
Vladimir Matveev
P
r
e
s
e
rve
singl
e
mutability flavor for
locals
commit
|
commitdiff
|
tree
2018-10-31
Vl
a
d
imir Matveev
GetFunctionD
e
p
endencies API
commit
|
commitdiff
|
tree
2018-10-31
Vladim
i
r Matvee
v
Wire
u
p __NonRx
commit
|
commitdiff
|
tree
2018-10-21
Vladimir
Matv
e
e
v
__OwnedMutable
commit
|
commitdiff
|
tree
2018-09-28
V
ladim
i
r Matveev
Disallow capt
u
ring m
u
table loca
l
s
\$this
in reac
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-25
Vladimir Matveev
T
r
a
ck re
a
s
signmen
t
of locals in foreach statements
commit
|
commitdiff
|
tree
2018-09-15
Vladimir Mat
v
eev
A
l
l
ow r
e
turn
i
ng null from functions annotated with
.
.
.
commit
|
commitdiff
|
tree
2018-09-07
Vla
d
imir Matv
e
ev
Ch
e
ck mut
a
bility in co
n
s
t
ructor ca
l
ls
commit
|
commitdiff
|
tree
2018-09-07
Vlad
i
mir Matveev
Disallow <
<
__Muta
b
le>
>
o
n static methods
commit
|
commitdiff
|
tree
2018-08-14
Vladimir
Ma
t
veev
Propagate condition type info
r
mation
when ex
p
anding
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vladimir Matve
e
v
Al
l
ow r
e
activity of the
f
unction to be
d
e
t
erm
i
ned
f
rom
.
.
.
commit
|
commitdiff
|
tree
2018-08-14
Vladimir
M
a
t
veev
Add __AtMost
R
xAsRxFunc a
n
d __AtMostRxAsArgs
commit
|
commitdiff
|
tree
2018-08-07
V
l
adi
m
ir Mat
v
eev
Pas
s
lexer
settings to facts extraction library
commit
|
commitdiff
|
tree
2018-08-03
Vladi
m
ir Ma
t
veev
S
et
c
ondi
t
i
o
n type for paramet
e
rs an
n
ota
t
ed wit
h
this
.
.
.
commit
|
commitdiff
|
tree
2018-08-03
Vladimir Matveev
Pass $this/s
t
atic type
a
s rec
e
iver when checking
reactivity
.
.
.
commit
|
commitdiff
|
tree
2018-07-18
V
ladimir
M
atveev
I
n
j
ect __Rx
O
fScop
e
into list of attri
b
u
t
es for async
.
.
.
commit
|
commitdiff
|
tree
2018-07-17
V
l
adimir Matveev
Introduce __RxO
f
S
c
ope
commit
|
commitdiff
|
tree
2018-07-16
Vladimir
M
atve
e
v
Check argument to 'unset' in reactive m
o
de
commit
|
commitdiff
|
tree
2018-07-13
Vladimir
M
a
tveev
C
o
m
pile
r
egexe
s
once
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matveev
Mov
e
'
&
' as
u
na
r
y o
p
erator check
to typing phase
commit
|
commitdiff
|
tree
2018-07-13
Vladimir
M
atveev
Gate reference re
l
ated
checks u
n
der
u
nsafe_rx flag
commit
|
commitdiff
|
tree
2018-07-13
V
la
d
imir Matveev
Filter comments during col
l
ection
commit
|
commitdiff
|
tree
2018-07-13
V
l
adi
m
ir Matveev
Allow mutable
a
rguments
in asy
n
c fun
c
tions
commit
|
commitdiff
|
tree
2018-07-13
Vladimir Matveev
Rep
l
a
ce s
t
ructu
r
al comparison of
l
ex
e
rs with comparing
.
.
.
commit
|
commitdiff
|
tree
2018-07-13
Vlad
i
mir Mat
v
eev
Disa
l
low refefences in reactive code
commit
|
commitdiff
|
tree
2018-07-11
Vladimir Ma
t
veev
Treat inout (mu
t
able valu
e
) as mutable
v
alue
commit
|
commitdiff
|
tree
2018-07-11
Vladimir Ma
t
veev
Add ty
p
es to repr
e
s
e
nt RxShallow/RxLocal fu
n
c
t
ions
commit
|
commitdiff
|
tree
2018-07-11
Vladi
m
ir Matveev
Only allow foreach ov
e
r Rx\Traversable in reactive
.
.
.
commit
|
commitdiff
|
tree
2018-07-09
Vladimir Matveev
A
ll
o
w awaitables
t
o
b
e returned from conse
q
uence/
a
l
t
ernati
v
e
.
.
.
commit
|
commitdiff
|
tree
2018-07-07
Vladimir M
a
tve
e
v
Ensure that `parse_list_until` makes progress
commit
|
commitdiff
|
tree
2018-07-06
V
l
a
d
imir
M
a
tveev
Conditi
o
nally
r
eactive return type
s
commit
|
commitdiff
|
tree
2018-07-03
Vladimir Matveev
A
dd mis
s
i
ng gate for reac
t
ivity checks
commit
|
commitdiff
|
tree
2018-06-30
Vladimir Matveev
__MaybeMutable and friends
commit
|
commitdiff
|
tree
2018-06-29
Vl
a
dimir Matve
e
v
Allow only fi
x
ed set
of co
l
lection types to be used
.
.
.
commit
|
commitdiff
|
tree
2018-06-25
Vladimir Matveev
Conditional reactivity
commit
|
commitdiff
|
tree
2018-06-19
V
ladi
m
ir Matvee
v
M
a
ke
arr
a
ys HH\Rx\Traversable and HH\Rx\KeyedTr
a
v
e
rsable
commit
|
commitdiff
|
tree
2018-06-18
Vladimir
M
atveev
De
l
e
t
e
p
cntl_wait test
commit
|
commitdiff
|
tree
2018-06-14
Vladimir Matveev
Allow collection litera
l
s
are a
r
guments
t
o HH\
R
x\mu
t
able
commit
|
commitdiff
|
tree
2018-05-31
Vladi
m
ir Matveev
D
isallow <
<
__Memoize>> attribute on
l
ambdas
commit
|
commitdiff
|
tree
2018-05-23
Vladim
i
r Matveev
D
isallow no
n
-awaited Awaitable va
l
u
e
s in reactive context
commit
|
commitdiff
|
tree
2018-05-22
Vladimir Matvee
v
S
upport attributes on lambdas in
t
he old
parser
commit
|
commitdiff
|
tree
2018-05-21
Vl
a
dimir Mat
v
eev
A
llow assignment
when indexing
i
nto property of type
.
.
.
commit
|
commitdiff
|
tree
2018-05-20
Vladimir Ma
t
veev
Instantiate generic co
n
di
t
ion type with Tany when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2018-05-19
V
l
adimi
r
Matve
e
v
Introduc
e
__Return
s
V
o
idToRx
commit
|
commitdiff
|
tree
2018-05-08
Vlad
i
mir Matve
e
v
Add HH\
R
x
\
mutable function
commit
|
commitdiff
|
tree
2018-05-08
Vladimir Matve
e
v
M
o
v
e
freeze to
H
H
\
Rx namespace
commit
|
commitdiff
|
tree
2018-05-08
Vl
a
d
imir Matveev
Do not e
r
ror on empty
files
commit
|
commitdiff
|
tree
2018-05-07
V
l
adimir Matveev
Support Onl
y
RxIfImpl on f
u
nction arguments
commit
|
commitdiff
|
tree
2018-04-20
Vladimir Matveev
G
e
n
eric way to check
r
equired reactivity for arguments
.
.
.
commit
|
commitdiff
|
tree
2018-04-20
Vladimi
r
Matveev
D
o
n
ot initialize/use shared memory
commit
|
commitdiff
|
tree
2018-04-19
Vladim
i
r Matveev
Allow type aliase
s
to be us
e
d in
<<__
M
aybeRx>> arguments
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Matveev
Implici
t
ly treat
`
_
_construct
`
method as `<<_
_
Mu
t
able>>`
commit
|
commitdiff
|
tree
2018-04-19
Vladimir Matveev
Re
n
ame __MaybeRx
t
o __OnlyR
x
IfRxF
u
nc
commit
|
commitdiff
|
tree
2018-04-15
Vla
d
imir
M
atveev
Trea
t
a
rrays-u
s
ed-as-maps,
tuples and
sh
a
pes as by
.
.
.
commit
|
commitdiff
|
tree
2018-04-13
Vladimir M
a
tveev
Acquire compiler instan
c
e per worker thread upfr
o
nt
commit
|
commitdiff
|
tree
2018-04-13
Vladim
i
r
Matve
e
v
Use HackC
c
omp
a
nion
p
r
o
cesses to power facts extracti
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-04-12
Vlad
i
mir Matveev
E
n
a
b
le
r
eact
i
vity depe
n
dent on arguments for functio
n
s
commit
|
commitdiff
|
tree
2018-04-12
Vladimir Matveev
C
o
n
s
olida
t
e reacti
v
ity checks
commit
|
commitdiff
|
tree
2018-04-11
V
l
adimir Ma
t
veev
All
o
w fun
c
tion sub
t
ypes
t
o return mutably owned values
.
.
.
commit
|
commitdiff
|
tree
2018-04-10
Vladimir
M
atvee
v
Disallow returning
m
utably borrowe
d
values as immu
t
ab
l
e
commit
|
commitdiff
|
tree
2018-04-06
Vladim
i
r Matveev
A
llow generic type
s
pecifiers
w
i
t
h
qualified names
.
.
.
commit
|
commitdiff
|
tree
2018-04-02
Vladimir Matveev
All
o
w
protected modifier in
i
n
te
r
fac
e
s
commit
|
commitdiff
|
tree
2018-03-28
Vladim
i
r M
a
tveev
Pass i
n
containing typ
e
s to
p
roper
l
y
d
eterm
i
ne effective
.
.
.
commit
|
commitdiff
|
tree
2018-03-27
Vladimir Matv
e
e
v
Bring
o
r
der of
p
r
operties in results clo
s
er to HHVM
commit
|
commitdiff
|
tree
2018-03-26
Vladimi
r
Matv
e
ev
Set 'e
x
tends'
dep
e
n
d
enc
y
for be
t
w
e
en reactivity condit
i
on
.
.
.
commit
|
commitdiff
|
tree
2018-03-26
Vlad
i
mir Ma
t
v
e
ev
Onl
y
allow Rx\IS_ENABLED as a s
i
n
g
l
e
c
o
nditi
o
n
i
n only
.
.
.
commit
|
commitdiff
|
tree
2018-03-24
Vladimir M
a
tveev
Properly handle byval collection types
wra
p
p
e
d in
unresol
v
ed
.
.
.
commit
|
commitdiff
|
tree
2018-03-23
V
l
a
dimir Ma
t
veev
Allow
a
ttribute spe
c
s
o
n la
m
bdas, anonymous
f
unctions
.
.
.
commit
|
commitdiff
|
tree
next