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
Make `param_kind` non-optional
2021-09-23
Vassil
M
l
adenov
Use new namespace elaboration f
o
r ctx consts
commit
|
commitdiff
|
tree
2021-09-23
Vassil
M
ladeno
v
A
d
d
miss
i
ng coeff
e
ct encapsulation tes
t
s to hphp/t
e
s
t
commit
|
commitdiff
|
tree
2021-09-20
Vassil Mladenov
Lo
g
pessimization for properties that fail soun
d
dynamic
.
.
.
commit
|
commitdiff
|
tree
2021-09-17
Vassil M
l
a
denov
Require as constrain
t
on cont
e
x
t aliase
s
commit
|
commitdiff
|
tree
2021-09-17
V
as
s
il Mla
d
e
nov
Add another test case fo
r
short conte
x
t
aliases
commit
|
commitdiff
|
tree
2021-09-16
Vassil Mladenov
Reg
i
ster c
a
pa
b
ilities be
f
ore saving env copy for
SD
T
.
.
.
commit
|
commitdiff
|
tree
2021-09-16
Vassi
l
Ml
a
denov
Skip SDT parent ch
e
ck on non cl
a
ss
e
s/in
t
er
f
aces
commit
|
commitdiff
|
tree
2021-09-15
V
a
ssil
Mladenov
A
d
d everyt
h
i
n
g_sdt typ
e
c
h
ecker option
commit
|
commitdiff
|
tree
2021-09-14
Vass
i
l
Mladenov
M
a
ke context valida
t
ion logic ov
e
r decl t
y
s,
allow
.
.
.
commit
|
commitdiff
|
tree
2021-09-10
Vassil Mladeno
v
Ena
b
le __
S
eale
d
subclass c
h
eck as a lint
commit
|
commitdiff
|
tree
2021-09-08
V
a
s
sil Mladen
o
v
Ban part
i
all
y
abstract type constants by default
commit
|
commitdiff
|
tree
2021-08-27
Vass
i
l M
l
adenov
Remov
e
legacy
c
_supp
o
rt_dynam
i
c_type field
commit
|
commitdiff
|
tree
2021-08-25
Vassil Mladen
o
v
introduce n
e
w
c
tx keywor
d
for context alias
e
s
commit
|
commitdiff
|
tree
2021-08-20
Vass
i
l
M
l
adenov
Impl
e
ment proje
c
tion of context con
s
tants off
r
eified
.
.
.
commit
|
commitdiff
|
tree
2021-08-20
Va
s
s
i
l M
l
adenov
Requi
r
e
e
xact explicit type argumen
t
count
commit
|
commitdiff
|
tree
2021-08-19
Vass
i
l Mla
d
enov
C
str
-
> Constructor
commit
|
commitdiff
|
tree
2021-08-16
Vassil Mladeno
v
Allow effect po
l
ymorphic calls with on
l
y
explicit tparam
.
.
.
commit
|
commitdiff
|
tree
2021-08-16
Va
s
sil Mladenov
Move ove
r
dependent
co
n
texts to
T
/[
.
.
.
] namin
g
commit
|
commitdiff
|
tree
2021-07-17
V
assil
M
ladenov
Move defaults for class constants
b
ack
t
o
M
igration
commit
|
commitdiff
|
tree
2021-07-16
V
assil
M
l
a
de
n
o
v
Write
-
1 m_d
a
ta
f
or constan
t
s
that
d
o
not have a v
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
Vass
i
l Mladenov
Pass unstable fla
g
t
o
hhvm te
s
ts
commit
|
commitdiff
|
tree
2021-06-29
V
assil Mlade
n
o
v
Concretization for defaults
of abstract constan
t
s
commit
|
commitdiff
|
tree
2021-06-29
V
a
s
sil Mlad
e
nov
Demote de
f
ault
s
for
class co
n
s
t
ants to Unsta
b
le
commit
|
commitdiff
|
tree
2021-06-25
Vassil Mladenov
I
mpl
e
m
e
n
t d
e
f
a
u
l
t
v
a
l
ues
f
o
r
abstract
c
lass constants
commit
|
commitdiff
|
tree
2021-06-15
Vassil Mladenov
Make t
r
ait constant
s
behav
e
like interface consta
n
ts
commit
|
commitdiff
|
tree
2021-06-15
Vassil Mladenov
Remo
v
e
Trav
e
rsable::C, Container::CMut
commit
|
commitdiff
|
tree
2021-05-21
Vassi
l
M
ladenov
Turn on
d
efaults inh
e
ritance behav
i
o
r a
n
d
re
m
ove flag
commit
|
commitdiff
|
tree
2021-05-20
Vassil M
l
adenov
Fl
a
g to rai
s
e
warning when accessi
n
g abstract context
.
.
.
commit
|
commitdiff
|
tree
2021-05-20
V
a
ssil Mladen
o
v
Add fla
g
to a
l
low ab
s
tract type con
s
t
a
n
t
s
with defaults
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Vassil
Mladenov
Add flag to make ReflectionTy
p
eC
o
n
s
t
ant::isAbstract
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Va
s
sil Mladenov
Us
e
abs
t
ract
k
eyword to de
t
e
r
mine abstractness f
o
r
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Vas
s
i
l
M
lad
e
no
v
Rename
isAbstr
a
ct() to isAbstractAndUninit()
commit
|
commitdiff
|
tree
2021-05-05
V
a
ssil Mladenov
Ad
d
flag to ena
b
le abstract context co
n
s
t
ants
commit
|
commitdiff
|
tree
2021-05-04
Vassil Ml
a
de
n
ov
Upda
t
e flag na
m
e
commit
|
commitdiff
|
tree
2021-05-04
Vassil
M
ladenov
Ad
d
fla
g
t
o treat
require extends and i
m
p
l
ements as
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Vas
s
il Mladenov
A
d
d
fl
a
g to
e
rror
o
n
concre
t
e-c
o
ncrete over
r
ide
commit
|
commitdiff
|
tree
2021-04-28
Vassil Mladenov
Change
t
ype constant re
p
res
e
nt
a
tion in Typing_
d
efs
.
.
.
commit
|
commitdiff
|
tree
2021-04-20
V
assil
Mladen
o
v
F
l
ag to b
a
n
definitions f
o
r pa
r
tially
a
bs
t
r
a
ct type
.
.
.
commit
|
commitdiff
|
tree
2021-04-09
Vas
s
i
l
Mladenov
Separate
the
kinds of type co
n
sta
n
ts i
n
t
he AST
commit
|
commitdiff
|
tree
2021-04-08
Vassil Mla
d
e
n
ov
Remove fall
b
ac
k
_
e
xpect_ex
t
ensio
n
from run_idempoten
c
e
_
tests
commit
|
commitdiff
|
tree
2021-04-01
Vassil Mladeno
v
Flip on -
-
hack-a
r
r-dv
-
a
r
rs f
o
r hh_si
n
g
le_type_chec
k
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Vas
s
i
l
M
ladenov
For
b
id acc
e
ssing c
l
a
ssname on Hack array type structure
s
commit
|
commitdiff
|
tree
2021-03-30
Vassil Mla
d
enov
Do n
o
t reinter
p
ret is/as hints
f
o
r h
a
ck_arr_dv
_
arrs
commit
|
commitdiff
|
tree
2021-03-30
Vassil M
l
adenov
Tast
c
heck not firing on XHP
commit
|
commitdiff
|
tree
2021-03-30
Vassil Mladenov
HackC
i
mplementation for g
e
tValue()
commit
|
commitdiff
|
tree
2021-03-22
Vassil Mladenov
Ad
d
autocomplete complete support for enum atoms
commit
|
commitdiff
|
tree
2021-03-22
Vassi
l
Mladenov
Fi
x
p
o
sition for enum a
t
oms in Tas
t
commit
|
commitdiff
|
tree
2021-03-13
Vassil Mlad
e
nov
Fix last occurrence of "array_uni
f
ica
t
ion"
commit
|
commitdiff
|
tree
2021-03-11
Vassil Mladeno
v
rename
c
o
n
fig flag
commit
|
commitdiff
|
tree
2021-03-02
Vassil Mladen
o
v
A
d
d ig
n
ore_un
s
afe_cast flag
commit
|
commitdiff
|
tree
2021-03-02
V
assil
M
ladenov
Implement unsafe_cast
commit
|
commitdiff
|
tree
2021-02-26
Vassi
l
Mlad
e
nov
Pass uni
f
icati
o
n fl
a
g
to
Typing_make_t
y
pe
commit
|
commitdiff
|
tree
2021-02-18
V
assil Mladenov
Add
subtyp
i
n
g
for vec_or_dict with
no
n
null
commit
|
commitdiff
|
tree
2021-02-18
V
a
ss
i
l Mladenov
D
irect_
d
e
c
l_parser for
v
ec_
o
r_dict
a
nd more test
s
commit
|
commitdiff
|
tree
2021-02-12
Vassil Mlade
n
ov
Fix bug wi
t
h enforcing purity i
n
c
o
ns
t
ant initializ
e
rs
commit
|
commitdiff
|
tree
2021-02-11
Vassil
M
ladenov
Add subtyping f
o
r
v
e
c_or_
d
ict
commit
|
commitdiff
|
tree
2021-02-10
Vassil
M
ladenov
Require wri
t
e_props fo
r
accessing an enum class variant
commit
|
commitdiff
|
tree
2021-02-09
Vassil
M
lade
n
ov
Intr
o
du
c
e H
v
ec_or_dict
as a target for vec_or_
d
i
ct
commit
|
commitdiff
|
tree
2021-02-09
Vassil Mladenov
Introduce Tvec
_
o
r
_dict
t
o
T
ypi
n
g_de
f
s_core
commit
|
commitdiff
|
tree
2021-02-04
Vassi
l
Mladeno
v
Introduce flag
for tre
a
t
i
n
g
soft types as like
t
ypes
commit
|
commitdiff
|
tree
2021-02-03
Vassil Mladen
o
v
Interpret varr
a
y as vec and darray a
s
dict if flag
.
.
.
commit
|
commitdiff
|
tree
2021-02-02
Vas
s
i
l
Mlad
e
nov
B
a
n Tintersection on RHS of as
commit
|
commitdiff
|
tree
2021-01-29
V
a
ssil
Mlade
n
ov
Better er
r
or messages
for n
o
n-o
b
ject
a
ccess
commit
|
commitdiff
|
tree
2021-01-26
Vassil
M
l
a
denov
Array u
n
i
fication switch
commit
|
commitdiff
|
tree
2021-01-23
Vas
s
il Mladenov
Remov
e
Tarray f
r
om
t
h
e typechecker
commit
|
commitdiff
|
tree
2021-01-22
Vassil Mladenov
Make hh_single_decl's tcopt come
from popt
commit
|
commitdiff
|
tree
2021-01-20
Vassil Mladen
o
v
E
l
a
borate ty
p
e
argum
e
nt
s
f
o
r
ctx
i
n standa
r
d
n
a
m
espac
e
commit
|
commitdiff
|
tree
2021-01-15
Vassil Mladenov
Upda
t
e Cipp-
r
elate
d
contex
t
s and caps
commit
|
commitdiff
|
tree
2021-01-15
Vassil Mladeno
v
Fix path that points to HHI in coeffects error
messages
commit
|
commitdiff
|
tree
2021-01-12
Vassil Mladenov
R
emove
c
ommen
t
at the end of error variants
commit
|
commitdiff
|
tree
2021-01-12
Vas
s
il Mlade
n
ov
Check legal
c
a
p
abilities
after alia
s
e
xpa
n
sion
commit
|
commitdiff
|
tree
2021-01-12
V
a
ssil Mladenov
Ban polymorphic cont
e
xts on lambda
s
commit
|
commitdiff
|
tree
2021-01-11
V
assil
Mladenov
More
info
r
mative
erro
r
me
s
sage
a
bout wil
d
card
s
commit
|
commitdiff
|
tree
2021-01-11
V
a
ssil
M
ladenov
Immutable l
o
cals
:
prevent reassignment o
f
p
a
r
ameters
.
.
.
commit
|
commitdiff
|
tree
2021-01-09
Vassil Mladen
o
v
Ban c
o
nstrain
t
s
o
n
c
t
x co
n
s
t
ants
i
n
t
h
e typechecker
commit
|
commitdiff
|
tree
2021-01-08
V
a
ssil Mladenov
Re-sugar coef
f
ect tpar
a
m
s
that have
$
commit
|
commitdiff
|
tree
2021-01-08
V
assil M
l
a
d
enov
Mo
v
e
t
yvar expansion into desuga
r
_simp
l
e_intersection
commit
|
commitdiff
|
tree
2021-01-08
Vassil
M
l
aden
o
v
E
r
ror w
h
en ctx $f does not point to a func
t
i
o
n
commit
|
commitdiff
|
tree
2021-01-07
Vassil Mladenov
Add
mo
r
e
p
arse erro
r
s for co
e
ffects
commit
|
commitdiff
|
tree
2021-01-04
V
a
ssil Mlad
e
nov
Check c
o
effects for memoized p
a
rameters
commit
|
commitdiff
|
tree
2021-01-03
Vas
s
il Mladenov
Exp
a
nd t
y
pe vars for e
r
ror
p
r
inting in calls
t
o
e
f
f
ect
.
.
.
commit
|
commitdiff
|
tree
2021-01-03
Vassil Mladenov
Don't string match functi
o
n names for T
y
p
ing_env pseudo
.
.
.
commit
|
commitdiff
|
tree
2020-12-30
Vas
s
il Mla
d
enov
Remove some string checks f
r
om the
d
efaul
t
path f
o
r
.
.
.
commit
|
commitdiff
|
tree
2020-12-30
Vassil Mlad
e
nov
Check co
e
ffects
f
or `
u
sing`
commit
|
commitdiff
|
tree
2020-12-29
Vassil Mladenov
Do not run ex
p
res
s
i
o
n
inf
e
ren
c
e twice
f
or clone
commit
|
commitdiff
|
tree
2020-12-24
Vassil Mladen
o
v
Special case nothing coeffect
in erro
r
messages,
s
to
p
.
.
.
commit
|
commitdiff
|
tree
2020-12-23
Vassil Mladenov
Pretty print capabilities in
ge
n
er
i
c
s
ubtyping e
r
ro
r
s
commit
|
commitdiff
|
tree
2020-12-23
Va
s
sil Mladenov
Make goto definit
i
on i
g
nore unsafe capa
b
ili
t
ies in
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
V
assil
M
ladenov
Add h
h
config flag
f
or
po_enable_coe
f
fects, clean up
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
V
assil
M
la
d
enov
Hard enable p
a
rsing
of
c
oeffect
s
for
h
h
_single_type_check
commit
|
commitdiff
|
tree
2020-12-22
Vassil Mladenov
M
o
v
e
capabili
t
y initialization
earli
e
r for funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2020-12-22
Vassil Mlade
n
ov
Ch
e
ck coe
f
fects on __clone
commit
|
commitdiff
|
tree
2020-12-21
Vassil
M
ladenov
Elaborate
c
tx constan
t
namespaces
commit
|
commitdiff
|
tree
2020-12-21
Vassil Mlad
e
n
o
v
Instant
i
ate con
s
t
r
uctor tparams if they exist
commit
|
commitdiff
|
tree
2020-12-21
Vassil Mladeno
v
Transfor
m
ation
f
or para
m
e
ter
depe
n
dent con
t
exts
commit
|
commitdiff
|
tree
2020-12-18
V
a
ssil Mladenov
Lower
`
ctx
$f`
commit
|
commitdiff
|
tree
2020-12-16
Vassil Mlade
n
ov
S
ome renaming
commit
|
commitdiff
|
tree
2020-12-16
Vassil Mladenov
Change ty
p
e of capab
i
l
ities to list of h
i
nts
commit
|
commitdiff
|
tree
2020-12-15
Vassi
l
M
ladenov
Add pa
r
sing
f
or $x
:
:
C
in con
t
e
x
t lists
commit
|
commitdiff
|
tree
2020-12-14
Vassil Mladenov
A
d
d parsing for
d
epe
n
dent fu
n
ctio
n
con
t
ext
s
commit
|
commitdiff
|
tree
next