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
Introduce secondary errors in place of explicit application of reasons to `Typing...
2022-01-04
Le
o
Osvald
Writ
e
a n
a
tive benchmark for type (de)serial
i
zation
.
.
.
commit
|
commitdiff
|
tree
2022-01-04
L
e
o Osvald
Write
Rus
t
library for deserializing
v
ia
typechecker
commit
|
commitdiff
|
tree
2021-12-21
Leo Osvald
Write F
F
I for auto-seria
l
izing a
t
ype to JSON
commit
|
commitdiff
|
tree
2021-12-17
L
eo
Osval
d
Supp
o
rt mode hh
_
sing
l
e_type_check --
t
ype
commit
|
commitdiff
|
tree
2021-09-14
L
e
o Osvald
B
an glob
a
ls in default args if ctx l
a
cks AccessG
l
obals
.
.
.
commit
|
commitdiff
|
tree
2021-08-31
Leo Osvald
Fix tast_holes
t
es
t
commit
|
commitdiff
|
tree
2021-08-29
Leo Osvald
Disable tast_holes test in dune
commit
|
commitdiff
|
tree
2021-07-16
Leo Os
v
ald
Introduce `co
n
tro
l
led` in typechec
k
er
commit
|
commitdiff
|
tree
2021-06-30
Leo Osva
l
d
Don't simpli
f
y
i
nter
s
ections bef
o
re adding
c
oeffects
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
Leo O
s
v
ald
Mak
e
[defaults] be a finite capab
i
li
t
y
s
e
t
commit
|
commitdiff
|
tree
2021-06-19
L
eo Os
v
ald
Avoid single-
e
l
em
e
nt in
t
erse
c
t
ion to a
v
oid NAST errors
commit
|
commitdiff
|
tree
2021-06-15
Leo Osvald
Introduce a codegen
c
ontext and escap
e
hatch codegen_uns
a
fe
commit
|
commitdiff
|
tree
2021-06-04
Leo Osv
a
ld
Don't treat ::c
l
ass as ::VARIANT (
r
e
q
uiring write_props)
commit
|
commitdiff
|
tree
2021-05-03
Leo Osvald
Migr
a
te
t
es
t
s from `rx` to `oldrx` t
o
keep good cover
a
g
e
commit
|
commitdiff
|
tree
2021-04-29
Leo Osvald
Type-check context constants [3/?]: lift parser
b
an
commit
|
commitdiff
|
tree
2021-04-29
L
eo Os
v
al
d
Pre
t
t
y
print c
o
ntexts in bou
n
ds of
c
t
x consts [2/?
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Leo
O
svald
Pretty print
c
o
n
t
exts in boun
d
s of ctx cons
t
s [1/?]
commit
|
commitdiff
|
tree
2021-04-21
L
eo Osvald
Stop enforcing
c
alling conventions fo
r
`rx`
commit
|
commitdiff
|
tree
2021-04-21
Leo Osv
a
ld
Fix subtyping of c
l
osures
with
unsafe c
a
pabili
t
ies
commit
|
commitdiff
|
tree
2021-04-14
Leo
O
svald
Reduce 24K
e
ven
t
s / se
c
d
u
ring s
p
ikes f
o
r
GET_CLIENT_CHANNEL
.
.
.
commit
|
commitdiff
|
tree
2021-04-07
Leo
O
s
va
l
d
Clean up duplicated helpe
r
s for d
e
c
l
subtyping
commit
|
commitdiff
|
tree
2021-04-07
Leo
O
svald
Type-chec
k
c
o
ntext
c
onstants [2
/
?
]
:
access
commit
|
commitdiff
|
tree
2021-04-07
Leo Osv
a
ld
Type-check context const
a
nts [1/?]
:
inheritance
commit
|
commitdiff
|
tree
2021-03-30
Leo Osv
a
ld
Add lower bounds to AST for type co
n
stant
s
[3/?]:
d
irect
.
.
.
commit
|
commitdiff
|
tree
2021-03-22
Leo Osvald
A
d
d lower
bounds to AST f
o
r context c
o
nstants [2
/
?
.
.
.
commit
|
commitdiff
|
tree
2021-03-18
L
eo Osvald
Add lower bound
s
t
o
AST
for type constants
[
1/?]
commit
|
commitdiff
|
tree
2021-03-17
L
eo Osvald
Fix a
typo
i
n pars
e
r to create contex
t
(not
type) constra
i
nts
commit
|
commitdiff
|
tree
2021-03-11
Leo Osvald
Open
-
source the
V
ision doc (pr
e
d
a
tes
H
IP)
commit
|
commitdiff
|
tree
2021-03-10
Leo Osvald
For
b
id impurities in default a
r
gs of call
a
bles except
.
.
.
commit
|
commitdiff
|
tree
2021-02-08
Leo Osvald
Rename *_
c
onstraint to
*
_as_constraint
commit
|
commitdiff
|
tree
2021-02-02
Le
o
Osv
a
ld
B
a
n
redecl
a
r
a
tion
s
o
f
c
ontext consta
n
ts in pa
r
ser
commit
|
commitdiff
|
tree
2021-01-16
Leo Osvald
Enforce ari
t
y ch
e
ck on
context list
commit
|
commitdiff
|
tree
2021-01-13
Leo Osvald
U
X
:
clar
i
f
y error message (d
e
fined
->
Hack provid
e
s
)
commit
|
commitdiff
|
tree
2021-01-12
Leo Os
v
ald
UX: b
a
n by default non-contexts in co
n
text list
commit
|
commitdiff
|
tree
2021-01-10
Leo Osvald
Cle
a
n up HH\C
o
ntexts in naming
s
p
ecial
names
commit
|
commitdiff
|
tree
2021-01-09
Leo
Osvald
Point to cont
e
xt definitions in
c
o
e
f
fect-
r
el
a
te
d
er
r
or
s
commit
|
commitdiff
|
tree
2020-12-31
L
e
o O
s
vald
Mig
r
ate not
-
immediately-aw
a
ited
Awaitable che
c
k to
.
.
.
commit
|
commitdiff
|
tree
2020-12-29
Leo Os
v
ald
Mi
g
rate Rx\IS_ENABL
E
D logic to coeffects
commit
|
commitdiff
|
tree
2020-12-28
L
e
o Osv
a
ld
Canonicalize (HH\)Rx\IS_ENABLED t
o
simplify f
u
rther
.
.
.
commit
|
commitdiff
|
tree
2020-12-28
Leo Osvald
D
on't overload `
a
no
n
` for both PHP-style
anon
.
f
uns
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
L
eo Osvald
Insert ca
p
ab
i
lites for
c
alls o
u
tside body (toplevel
)
commit
|
commitdiff
|
tree
2020-12-21
Leo Osvald
L
et PHP-style anon
.
u
se encl
o
sing cap
a
b
i
lities
commit
|
commitdiff
|
tree
2020-12-21
Leo Osva
l
d
E
n
force i
n
dexing & mutation out
s
i
d
e TAST
c
h
eck [2/2]
commit
|
commitdiff
|
tree
2020-12-21
Leo Osv
a
ld
t
yp
e
-ch
e
ck constr
u
ctors in attributes
w
ith de
f
a
u
lt
.
.
.
commit
|
commitdiff
|
tree
2020-12-20
Leo O
s
vald
Enforce re
a
ctive indexing & m
u
tation outside
T
AST check
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
L
e
o
Os
v
a
l
d
Mod
i
fy capability
hierarchy &
w
ork
a
rou
n
d lack of lower
.
.
.
commit
|
commitdiff
|
tree
2020-12-17
Leo Osvald
Migrate output &
static prop che
c
ks &
R
x/
P
ure tes
t
s
commit
|
commitdiff
|
tree
2020-12-15
Leo
O
svald
Write compreh
e
n
s
ive HHVM test
s
wit
h
con
t
ex
t
s
y
ntax
commit
|
commitdiff
|
tree
2020-12-15
Leo Osva
l
d
Pa
r
s
e & lo
w
e
r
context
list on PHP-
s
tyle
anon
.
function
commit
|
commitdiff
|
tree
2020-12-14
Leo
O
svald
Pa
r
s
e con
t
ext constants wi
t
h
o
p
tional super (a
n
d as)
commit
|
commitdiff
|
tree
2020-12-13
Le
o
Osvald
Independen
t
l
y
gate call & local op
c
o
e
f
fects, unt
i
e
.
.
.
commit
|
commitdiff
|
tree
2020-12-12
Leo Osv
a
ld
El
a
b
orate c
o
ntexts on a method
j
ust li
k
e fu
n
/lamb
d
a
commit
|
commitdiff
|
tree
2020-12-12
Leo Osvald
Enabl
e
c
all
into [rx
*
] & don't track Input c
a
pabilit
y
commit
|
commitdiff
|
tree
2020-12-10
Leo Osvald
Enable c
o
effect synt
a
x in a
l
l
r
x/pure tests
commit
|
commitdiff
|
tree
2020-12-10
Leo
O
s
vald
M
i
gra
t
e rx/pure tests to strict mod
e
, fix
broken tests
commit
|
commitdiff
|
tree
2020-11-21
L
eo O
s
vald
Enforce ou
t
put & access
t
o sta
t
ic
propertie
s
via c
o
eff
e
cts
commit
|
commitdiff
|
tree
2020-11-14
Leo Osva
l
d
Omit "s
e
t {" when printing single-ty
p
e capability
commit
|
commitdiff
|
tree
2020-11-11
L
e
o Osvald
Register capabilitie
s
a
f
ter saving env
for
a
non
.
fun
commit
|
commitdiff
|
tree
2020-11-10
Le
o
Osval
d
Remove TAST c
h
eck
s
a
s
sociated
w
ith parser-banned $GL
O
BALS
commit
|
commitdiff
|
tree
2020-10-16
Leo Osvald
Type closure de
f
init
i
on prop
e
rly
commit
|
commitdiff
|
tree
2020-10-08
L
eo Osvald
T
y
pe body of closure properly
,
add fast path
commit
|
commitdiff
|
tree
2020-10-07
Leo Osvald
Add tests for closures with a
n
d without annotatio
n
s
commit
|
commitdiff
|
tree
2020-10-05
Leo
Osv
a
ld
Print
capa
b
ilitie
s
as sets when possibl
e
commit
|
commitdiff
|
tree
2020-09-17
Leo Osv
a
ld
Remove Nam
i
ng & Typing checks
f
or cor
o
utine
s
commit
|
commitdiff
|
tree
2020-08-11
Leo Osvald
R
e
p
rese
n
t capabilitie
s
a
s
s
ealed in
t
erface hie
r
a
rchies
commit
|
commitdiff
|
tree
2020-08-05
L
eo Osvald
A
d
d
n
ew
capabi
l
ity hint(s
)
to (
T
/A)
A
S
T
commit
|
commitdiff
|
tree
2020-06-02
L
eo Osvald
Kill d
e
ad code in emitter (hhbc/)
commit
|
commitdiff
|
tree
2020-05-29
L
e
o Osvald
M
a
ke
sure
enforceme
n
t w
o
rks a
c
ross hie
r
archi
e
s
commit
|
commitdiff
|
tree
2020-05-27
Leo Osvald
Suppo
r
t arbitrary-layout HHVM options
commit
|
commitdiff
|
tree
2020-05-22
L
e
o Osvald
Sup
p
ort logg
i
n
g
HackC options
i
n HHVM (via J
S
O
N
)
commit
|
commitdiff
|
tree
2020-05-21
L
eo
Osvald
Make order
o
f alias
e
d namespaces c
a
nonical
commit
|
commitdiff
|
tree
2020-05-21
L
eo Osv
a
l
d
Detect misparsed HHBC options
commit
|
commitdiff
|
tree
2020-05-19
Leo Osvald
S
kip empty configs
(no
t
a valid J
S
ON)
commit
|
commitdiff
|
tree
2020-04-23
Leo Osvald
Pars
e
bool-
i
sh JSON o
p
tions a
s
true iff =1 [3rd attempt]
commit
|
commitdiff
|
tree
2020-04-22
Leo Osval
d
Back out
"
Re-co
m
mit D205699
9
6: bo
o
l o
p
tions can't be >1"
commit
|
commitdiff
|
tree
2020-04-22
Leo Os
v
ald
Parse int JSON as t
r
u
e
o
nly if =
=
1
commit
|
commitdiff
|
tree
2020-04-22
Leo Osvald
Re
-
commit D20569
9
9
6: b
o
ol options can't be >1
commit
|
commitdiff
|
tree
2020-04-10
L
e
o Osvald
Backpor
t
cac
h
in
g
of
HH
B
C options
m
e
rging
t
o
O
C
a
ml
commit
|
commitdiff
|
tree
2020-04-07
L
eo Osva
l
d
Treat CL
I
option key
s
for HHBC opti
o
ns case-ins
e
ns
i
tively
commit
|
commitdiff
|
tree
2020-03-24
Leo Osvald
Cast
J
SON int
a
s true
iff =
1
commit
|
commitdiff
|
tree
2020-03-19
Leo Osva
l
d
Major speed
u
p
of
HHB
C
op
t
ion merging via c
a
ching
commit
|
commitdiff
|
tree
2020-03-17
L
e
o O
s
vald
Add missing attr/h
i
nts to maps in naming/
commit
|
commitdiff
|
tree
2020-03-17
Leo Osvald
Us
e
R
u
st
C
LI-par
s
ing for options
commit
|
commitdiff
|
tree
2020-03-11
L
e
o Osvald
Kill
source ma
p
ping option
a
c
r
oss stack
commit
|
commitdiff
|
tree
2020-03-06
Leo Osvald
Parse HHBC
o
ption
a
s
b
ool only if it's a f
l
ag
commit
|
commitdiff
|
tree
2020-03-04
Leo Osvald
Avoid accumu
l
a
t
i
ng Hhbc_opt
i
on
s
commit
|
commitdiff
|
tree
2020-03-04
L
e
o Osvald
Avo
i
d som
e
ope
n
s
t
o
simplify R
u
stif
i
cation
commit
|
commitdiff
|
tree
2020-03-03
Le
o
Osvald
Dedu
p
licate (2-4
x
) code in h
h
_
s
i
n
g
l
e
_compile
commit
|
commitdiff
|
tree
2020-03-02
Leo Os
v
a
l
d
Simplify
threa
d
ing of
J
SONs in hh_single_co
m
pile
commit
|
commitdiff
|
tree
2020-02-28
Leo Osvald
V1 ann
o
tati
o
ns (attrib
u
t
e
s) [3/?]:
emit
(
conditi
o
nal_
.
.
.
commit
|
commitdiff
|
tree
2020-02-25
Le
o
O
s
vald
V1 annotat
i
o
ns
(
att
r
ibutes) [2/
?
]
:
a
dd Pure i
n
typeche
c
ke
r
commit
|
commitdiff
|
tree
2020-02-24
Leo Osval
d
Flip variance wh
e
n subtyping
OnlyRx
I
fImpl fun
params
commit
|
commitdiff
|
tree
2020-02-24
L
e
o Osvald
HHBC o
p
tions Ru
s
t-OC
a
ml parity test
s
for ov
e
r
rides
commit
|
commitdiff
|
tree
2020-02-22
L
eo Osvald
Port disable
_
xhp_e
l
e
m
ent_m
a
ngli
n
g option in HHBC
commit
|
commitdiff
|
tree
2020-02-22
Leo Osvald
Port wi
d
en_is_array o
p
tio
n
i
n
HHBC
commit
|
commitdiff
|
tree
2020-02-20
Leo
O
svald
Port Na
m
esp
a
ce_env logic need
e
d
f
o
r elabo
r
ation
commit
|
commitdiff
|
tree
2020-02-20
Leo Osvald
V1 annotations
(
a
ttributes) [
1
/?]: parse
__Pu
r
e
commit
|
commitdiff
|
tree
2020-02-20
Leo
O
svald
Port en
a
ble
_
first_class_functions
o
ption
commit
|
commitdiff
|
tree
2020-02-20
L
e
o
Osvald
Ren
a
me enfor
c
e->emi
t
opt
i
on in HH
B
C
commit
|
commitdiff
|
tree
2020-02-19
L
e
o
Osva
l
d
En
f
or
c
e
HHBC
o
p
tions defaults a
r
e
c
o
nsistent with OC
a
m
l
commit
|
commitdiff
|
tree
next