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
avoid nan json
2021-04-28
Vassi
l
Mladenov
C
ha
n
ge
t
ype con
s
tant represen
t
ation in Ty
p
ing_defs
.
.
.
commit
|
commitdiff
|
tree
2021-04-20
Vassil Mladenov
Flag to ban definitions fo
r
partially abstract
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2021-04-09
Va
s
sil Mlad
e
nov
Sep
a
rate the kind
s
of typ
e
constants in the
A
ST
commit
|
commitdiff
|
tree
2021-04-08
Vassil Mladenov
Rem
o
v
e
f
a
llb
a
ck_e
x
pect_ex
t
ension
f
rom
run_ide
m
potence_tests
commit
|
commitdiff
|
tree
2021-04-01
Vass
i
l Mladenov
F
l
ip on --hack-arr
-
dv-a
r
rs for hh_
s
in
g
l
e_typ
e
_check
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Vassil
Mladenov
For
b
id accessi
n
g classname on Hack array type structures
commit
|
commitdiff
|
tree
2021-03-30
V
assil M
l
a
d
enov
Do not
r
e
in
t
erpre
t
is/as hints for hack
_
arr_dv_arrs
commit
|
commitdiff
|
tree
2021-03-30
V
as
s
il Mladenov
Tast che
c
k not firing on
XHP
commit
|
commitdiff
|
tree
2021-03-30
Vassi
l
Mladenov
HackC imp
l
em
e
ntation
for ge
t
Va
l
ue()
commit
|
commitdiff
|
tree
2021-03-22
Vassil
M
l
adenov
Add autoco
m
plete co
m
plete support
f
or enu
m
atoms
commit
|
commitdiff
|
tree
2021-03-22
Vassil Mladenov
F
ix position for
e
num atoms
i
n
Tast
commit
|
commitdiff
|
tree
2021-03-13
Vassil M
l
ad
e
nov
Fix la
s
t occurrence
of
"array_unific
a
tion"
commit
|
commitdiff
|
tree
2021-03-11
Vassil
M
ladenov
rename
config flag
commit
|
commitdiff
|
tree
2021-03-02
Vas
s
il Mladenov
Add ignore_uns
a
fe_ca
s
t flag
commit
|
commitdiff
|
tree
2021-03-02
Va
s
sil Mladenov
I
m
pl
e
ment unsafe_cast
commit
|
commitdiff
|
tree
2021-02-26
Vass
i
l Ml
a
denov
P
a
ss unification flag to
T
y
pin
g
_make_t
y
pe
commit
|
commitdiff
|
tree
2021-02-18
V
assi
l
Mla
d
enov
Add subtyping for vec_or_dict with nonnull
commit
|
commitdiff
|
tree
2021-02-18
Va
s
sil Mlad
e
nov
Direct_dec
l
_
parser for vec_or_
d
ict and mo
r
e tests
commit
|
commitdiff
|
tree
2021-02-12
Vass
i
l Mladenov
F
i
x
b
u
g with enforcing purity in constant initializers
commit
|
commitdiff
|
tree
2021-02-11
Va
s
sil
Mlad
e
nov
Add subtyping f
o
r vec
_
or_dic
t
commit
|
commitdiff
|
tree
2021-02-10
Vassil M
l
aden
o
v
Require write_p
r
o
ps for ac
c
e
ssing an enum class variant
commit
|
commitdiff
|
tree
2021-02-09
V
a
ssil
M
ladeno
v
Int
r
oduce Hv
e
c
_
or_dict as a tar
g
et
f
or vec_or_dict
commit
|
commitdiff
|
tree
2021-02-09
Vassil
Mladenov
Intro
d
uce Tvec_or_d
i
ct to T
y
ping
_
def
s
_core
commit
|
commitdiff
|
tree
2021-02-04
Vass
i
l Mladenov
Introduc
e
flag for
t
reatin
g
s
o
ft t
y
pes as like type
s
commit
|
commitdiff
|
tree
2021-02-03
Vassi
l
M
l
ad
e
nov
Int
e
r
p
ret
v
array as vec and darray
as dict if flag
.
.
.
commit
|
commitdiff
|
tree
2021-02-02
Vassi
l
Mladenov
Ban Tintersecti
o
n
o
n
RHS of as
commit
|
commitdiff
|
tree
2021-01-29
Vassil
M
ladenov
Better
e
r
r
or messages for non-ob
j
ect
a
c
c
e
s
s
commit
|
commitdiff
|
tree
2021-01-26
Vas
s
i
l Mlade
n
o
v
Array unific
a
tio
n
switch
commit
|
commitdiff
|
tree
2021-01-23
Vassil M
l
a
d
e
nov
Re
m
ove Ta
r
ray fr
o
m the
t
y
p
e
c
h
ecker
commit
|
commitdiff
|
tree
2021-01-22
V
a
ssil
M
lad
e
nov
Make hh_single_decl's tcopt come from popt
commit
|
commitdiff
|
tree
2021-01-20
V
a
ssil Mladenov
Elabo
r
a
te type
a
r
g
umen
t
s
for
ctx
in stand
a
rd n
a
m
e
space
commit
|
commitdiff
|
tree
2021-01-15
Vassil Mladenov
Update Ci
p
p-related contexts and caps
commit
|
commitdiff
|
tree
2021-01-15
Vassil M
l
adenov
Fix path t
h
at points to HHI in
coeffects er
r
or
m
essage
s
commit
|
commitdiff
|
tree
2021-01-12
Vassil Mladenov
Remove co
m
m
e
nt a
t
the end of
e
r
ror var
i
ants
commit
|
commitdiff
|
tree
2021-01-12
Vassil Mladenov
Check le
g
al
c
apabili
t
ies after alias expansion
commit
|
commitdiff
|
tree
2021-01-12
Vassil Mladenov
Ban polymorphic co
n
texts on lambd
a
s
commit
|
commitdiff
|
tree
2021-01-11
V
a
ssil Mladenov
More informative error messag
e
abo
u
t wildcards
commit
|
commitdiff
|
tree
2021-01-11
V
a
ssil Mladenov
Imm
u
table locals: prev
e
nt reassignmen
t
of parameters
.
.
.
commit
|
commitdiff
|
tree
2021-01-09
Vassil Mladenov
Ban constraints on ctx c
o
nstants in t
h
e typ
e
checker
commit
|
commitdiff
|
tree
2021-01-08
Vassil Mladeno
v
Re-sugar coef
f
ect tparams
that have
$
commit
|
commitdiff
|
tree
2021-01-08
Vassil M
l
ad
e
no
v
Move tyvar expansion
i
nto desugar_simpl
e
_inter
s
e
ction
commit
|
commitdiff
|
tree
2021-01-08
Vassil Mladenov
E
rro
r
when
c
tx $
f
does not
poin
t
to
a function
commit
|
commitdiff
|
tree
2021-01-07
Vassil Ml
a
deno
v
Add more pa
r
s
e
errors for coe
f
fec
t
s
commit
|
commitdiff
|
tree
2021-01-04
V
assil Mlad
e
nov
Check coeffects for memoized par
a
meters
commit
|
commitdiff
|
tree
2021-01-03
Vassil Mladen
o
v
E
x
p
and type vars for error prin
t
ing in calls
t
o effect
.
.
.
commit
|
commitdiff
|
tree
2021-01-03
Vassil M
l
adenov
D
o
n't string
match funct
i
on
n
ame
s
fo
r
Typing_env pseudo
.
.
.
commit
|
commitdiff
|
tree
2020-12-30
Vassil Mladen
o
v
Remove some stri
n
g checks f
r
om the default p
a
th for
.
.
.
commit
|
commitdiff
|
tree
2020-12-30
Vassil
Mladeno
v
C
h
e
c
k
coeff
e
cts for `us
i
ng`
commit
|
commitdiff
|
tree
2020-12-29
Vassil Ml
a
denov
Do not run expression inference
t
wice
f
o
r clone
commit
|
commitdiff
|
tree
2020-12-24
Vassil
M
la
d
enov
S
pecial ca
s
e no
t
hing coeffect in error messages, stop
.
.
.
commit
|
commitdiff
|
tree
2020-12-23
Vassil Mladenov
Pretty
prin
t
cap
a
bilitie
s
in ge
n
eri
c
subtyping errors
commit
|
commitdiff
|
tree
2020-12-23
Vassil Mlad
e
nov
Make goto defini
t
ion ignore unsafe capabilities i
n
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
V
assil Mla
d
enov
A
d
d
hhconfig flag for po_enabl
e
_coeffects, clean up
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
Vassil
M
la
d
enov
Hard enable parsing of coeff
e
cts for
hh_
s
ingle_type_check
commit
|
commitdiff
|
tree
2020-12-22
Vass
i
l
Mladenov
M
ove capability initialization earlier
for f
u
n
c
tions
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
V
a
ssil Mla
d
enov
Check coeffect
s
on
__cl
o
ne
commit
|
commitdiff
|
tree
2020-12-21
Vassil
M
ladeno
v
Elaborate ctx co
n
stant
n
ames
p
ac
e
s
commit
|
commitdiff
|
tree
2020-12-21
Vassi
l
Mladenov
Instantiate
constructor tparams
i
f they
exist
commit
|
commitdiff
|
tree
2020-12-21
Vassil Mladenov
Transforma
t
ion for para
m
eter de
p
en
d
ent
con
t
exts
commit
|
commitdiff
|
tree
2020-12-18
Vassil
M
ladenov
Lo
w
er `ctx $f`
commit
|
commitdiff
|
tree
2020-12-16
V
a
s
sil Ml
a
d
e
nov
Some re
n
aming
commit
|
commitdiff
|
tree
2020-12-16
Vassil Ml
a
d
enov
Change t
y
pe of ca
p
abil
i
t
i
es to list o
f
hints
commit
|
commitdiff
|
tree
2020-12-15
Vassil Mladen
o
v
Add pa
r
s
i
ng
fo
r
$x::C
in context list
s
commit
|
commitdiff
|
tree
2020-12-14
Vass
i
l Ml
a
d
e
nov
Add parsi
n
g for
dependen
t
function
c
ontexts
commit
|
commitdiff
|
tree
2020-12-14
V
as
s
il M
l
adenov
Delete pr
o
visiona
l
s
ynta
x
for
c
apa
b
ilities
commit
|
commitdiff
|
tree
2020-12-11
Vassil Mlade
n
ov
Do not make
i
n
te
r
sec
t
ion when
o
nly
s
ingle item in coeffect
.
.
.
commit
|
commitdiff
|
tree
2020-12-04
Vassil Mladenov
Change de
f
ault capabi
l
ity to be `de
f
aults` ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2020-12-03
Vas
s
i
l Mladenov
Updat
e
`de
f
aults
`
w
ith
the v0
c
o
effects
commit
|
commitdiff
|
tree
2020-12-02
Vassi
l
Mlade
n
ov
A
d
d
trimmed
down graph for v0 of
coe
f
fects
commit
|
commitdiff
|
tree
2020-12-01
Vassi
l
Mlad
e
n
o
v
R
eor
g
aniz
e
c
apability
H
HIs aga
i
n
commit
|
commitdiff
|
tree
2020-11-23
Vassil
M
l
ad
e
nov
Back out
"Change
d
e
f
a
ult c
a
p
ability to be `defaults
.
.
.
commit
|
commitdiff
|
tree
2020-11-20
Vas
s
i
l
Mladenov
Cha
n
ge defau
l
t
c
ap
a
bilit
y
to
b
e `de
f
aults`
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2020-11-19
Vassil Ml
a
denov
Change c
a
p
a
bility to be a variant in Tfun
commit
|
commitdiff
|
tree
2020-11-10
Vas
s
il M
l
a
denov
Back
o
ut D24132229
commit
|
commitdiff
|
tree
2020-11-03
Vas
s
il
M
l
a
denov
Make d
e
fault capab
i
lity not be bott
o
m ty
p
e
commit
|
commitdiff
|
tree
2020-11-03
Vassil
M
ladenov
Minor si
m
pli
f
ication
f
or top level func
t
i
o
n
declarations
commit
|
commitdiff
|
tree
2020-10-23
Vassil Mla
d
enov
H
HI reorganization
commit
|
commitdiff
|
tree
2020-10-13
Vassil
Mladenov
Updati
n
g map with
G
lobals, IO, and
U
nrestrictedMutation
commit
|
commitdiff
|
tree
2020-10-10
Vassil Mladenov
Add graph
f
or coef
f
ects interface hierarchy
commit
|
commitdiff
|
tree
2020-10-05
Vassil Mlad
e
nov
Parse cap on lambda
commit
|
commitdiff
|
tree
2020-10-02
Vas
s
i
l
Mladenov
Parse cap on function type
s
pecifier
commit
|
commitdiff
|
tree
2020-09-30
Vassil
Mladenov
Parse b
r
acket syntax
commit
|
commitdiff
|
tree
2020-09-22
Vassil Mladenov
Make make_toke
n
e
xplicitly matc
h
in direct d
e
cl parser
commit
|
commitdiff
|
tree
2020-09-21
Vassil M
l
adenov
Save a
function
'
s capab
i
lity as a fake
l
ocal a
n
d
pas
s
.
.
.
commit
|
commitdiff
|
tree
2020-09-16
Vassil Mladenov
S
e
t t
c
opt based on __EnableUnstableFeatures
commit
|
commitdiff
|
tree
2020-09-16
Vassil Mladenov
Add tcopt for co
e
ffects
commit
|
commitdiff
|
tree
2020-09-12
Vassil Mladenov
Add ft_impl
i
cit_params to fun_t
y
p
e
commit
|
commitdiff
|
tree
2020-09-08
Vassil Mladeno
v
Lowerin
g
of capabi
l
it
i
es
commit
|
commitdiff
|
tree
2020-09-08
Vass
i
l
M
ladenov
Add f_unsafe_cap to AST
commit
|
commitdiff
|
tree
2020-09-01
Vass
i
l Mladenov
P
arsin
g
of temporary capability syn
t
ax
commit
|
commitdiff
|
tree
2020-08-25
Va
s
s
il
M
ladenov
Allow hh_parse t
o
use __Enab
l
eUnstableFeatures
commit
|
commitdiff
|
tree
2020-08-21
V
a
ssil Mladenov
Mild refactor of function formatt
i
ng
commit
|
commitdiff
|
tree
2020-06-15
Vassil Mladenov
Move
c
o
nstant to
r
oot namespace
for
H
SL
commit
|
commitdiff
|
tree
2020-06-12
Vassil Ml
a
denov
Restore
h
ard-banned
error
c
odes
commit
|
commitdiff
|
tree
2020-06-12
Vas
s
il
Mladenov
Add a flag to not
r
aise a typing er
r
or in partial
commit
|
commitdiff
|
tree
2020-06-12
V
a
ssil Mladenov
Add integrat
i
on
t
est
commit
|
commitdiff
|
tree
2020-06-12
Va
s
sil Mladenov
Add partial whitelis
t
commit
|
commitdiff
|
tree
2020-06-12
Vassil Mla
d
enov
Re
m
ove unused lint check
commit
|
commitdiff
|
tree
2020-06-12
Vassi
l
Mla
d
eno
v
I
nvert
d
ecl
f
i
x
m
e code che
c
k
commit
|
commitdiff
|
tree
2020-06-11
Vassil Mladenov
Make errors for st
r
ict m
o
de be w
h
iteli
s
ted
commit
|
commitdiff
|
tree
next