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
inline `members_from_class`
2022-02-15
Vassil
M
laden
o
v
Add missing generated tparams and
cons
t
raint
s
to env
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Vassil Mladenov
Commit e
x
clusion list for pes
s
imisat
i
on
t
ests and
enable
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Va
s
s
il Mlad
e
nov
Add pe
s
s
imisation test arti
f
acts to gitigno
r
e
commit
|
commitdiff
|
tree
2022-01-19
Vassi
l
Mlad
e
no
v
Support ~ typ
e
s on X
H
P
a
ttrib
u
t
e
s th
a
t
are enum
{
'x
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
V
assil
M
ladenov
A
ppro
v
e output of 14
p
e
s
simisation
t
ests
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mla
d
enov
Check wellforme
d
ness of con
s
tructo
r
calls
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mlade
n
ov
Che
c
k well
f
ormedness of calls
commit
|
commitdiff
|
tree
2022-01-12
Vassil M
l
adenov
Allow effect
-
p
olymor
p
hic supportdy
n
closures
commit
|
commitdiff
|
tree
2021-12-14
Vassil Mladenov
Pess
i
mise enum class definition
s
and al
l
ow like ty
p
es
.
.
.
commit
|
commitdiff
|
tree
2021-12-06
Vassil Mladenov
Simp
l
e ga
t
i
n
g for su
p
p
ortdyn
commit
|
commitdiff
|
tree
2021-11-30
Vassil Mladenov
Unbox
~
?
t
y
ex
p
ected types deepl
y
t
o
fix p
e
s
simised
.
.
.
commit
|
commitdiff
|
tree
2021-11-16
V
a
s
sil M
l
ad
e
n
ov
noreturn <D: dynam
i
c
commit
|
commitdiff
|
tree
2021-11-15
Vassil Mladenov
Conside
r
return
type without
like
t
ype when typing
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
Vassil M
l
ad
e
nov
R
e
mov
e
unused Codegen ca
p
ab
i
lity
commit
|
commitdiff
|
tree
2021-11-10
Vassil Mladenov
Remove r
e
f
erences
to (lowercas
e
) cod
e
gen and code
g
en_un
s
a
fe
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Vassil Mladenov
Raise error whe
n
a trait is
<
<
__Consistent
C
onstruct
.
.
.
commit
|
commitdiff
|
tree
2021-11-05
V
a
s
s
il
M
ladenov
Remove the cod
e
ge
n
an
d
cod
e
gen_
u
nsafe contexts
from HH
I
commit
|
commitdiff
|
tree
2021-11-04
Vassil Ml
a
denov
Fix hackf
m
t
for
context aliases
commit
|
commitdiff
|
tree
2021-11-02
Vassi
l
Mladenov
Log prop pes
s
imisatio
n
f
o
r assign
m
ent
commit
|
commitdiff
|
tree
2021-10-30
Va
s
sil Mlad
e
n
o
v
E
x
p
a
n
d
dynamic for
i
nference of collections and lambdas
commit
|
commitdiff
|
tree
2021-10-27
V
a
ssil M
l
adenov
Make bidirect
i
onal type infe
r
ence
w
ork for coll
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2021-10-27
Vassil Mlad
e
nov
F
ix
internal error for
G
e
nerat
o
r
s during
SDT check
commit
|
commitdiff
|
tree
2021-10-26
Vassil Mladenov
Make f
o
r
m
at strings magic wo
r
k with li
k
e
types in more
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Vassil
M
lade
n
ov
Pessimize pro
p
s defined on constructo
r
s
commit
|
commitdiff
|
tree
2021-10-25
Vassil Mladenov
Fix bug where default con
s
tructor
s
are made [defaults]
commit
|
commitdiff
|
tree
2021-10-22
Vass
i
l Mladenov
Re
m
ove
s
tray
.
out file
commit
|
commitdiff
|
tree
2021-10-22
Vassil M
l
adenov
Interpret
p
essimi
z
ation log
commit
|
commitdiff
|
tree
2021-10-21
V
a
ssil
Mladen
o
v
F
act
o
r out pessimise_ty
p
e, rename
t
hings,
change log
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
Vassil Mladen
o
v
Fix DDP for supportdynamic, interpret nonnull
a
nd mixed
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Vassil Mladenov
Log a pessimiz
a
tion req
u
irement when a par
a
m sub
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Va
s
sil Mladeno
v
Make v
a
riadic paramete
r
dynamic when relaxing ca
l
lee
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vassil Mladenov
Error
f
or p
a
r
e
nt::__construct in traits w
h
en parent
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
V
assi
l
Mladen
o
v
Allow compi
l
ation of `as` constraints
on conc
r
et
e
typ
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil
Mladenov
Er
r
or for pa
r
ent::__construct in traits when parent
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil Mladen
o
v
Fix error code Read ->
W
rite
commit
|
commitdiff
|
tree
2021-10-06
V
as
s
il Mla
d
eno
v
Remove
PA
T
C definition ty
p
echecker option
commit
|
commitdiff
|
tree
2021-10-06
Vassil Mladenov
Remove Aas
t
.
T
C
Partial
l
y
Abstract
commit
|
commitdiff
|
tree
2021-10-05
Vas
s
il Mladenov
R
eserve err
o
r code
f
or new FIXME-able error
commit
|
commitdiff
|
tree
2021-10-05
Va
s
s
il Mladenov
R
e
move is_concrete argument
commit
|
commitdiff
|
tree
2021-10-05
V
as
s
il
M
ladenov
Remove Typing_de
f
s
.
TCPartiallyAbstract
commit
|
commitdiff
|
tree
2021-10-05
V
a
ssil M
l
ade
n
ov
Remove disa
b
le_p
a
r
tially_abstr
a
ct_typeconsts
option
commit
|
commitdiff
|
tree
2021-10-01
Vassil
Mladenov
Us
e
i
nner type for dependent contexts w
h
en para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2021-09-29
Vassil Mladen
o
v
Implement subtyping for Tsupportdy
n
am
i
c
commit
|
commitdiff
|
tree
2021-09-29
Vassil M
l
adenov
In
t
roduce supportdynamic type hint a
n
d Tsupportdynami
c
commit
|
commitdiff
|
tree
2021-09-23
Vassil
Mladenov
Use new n
a
mespac
e
ela
b
o
ration f
o
r ctx consts
commit
|
commitdiff
|
tree
2021-09-23
Vassil Mladenov
Add
m
is
s
ing co
e
ffect encap
s
u
lation tests to h
p
hp/t
e
st
commit
|
commitdiff
|
tree
2021-09-20
Vassil Mladenov
Log pes
s
imizat
i
on for properties th
a
t
fail
s
ound dynamic
.
.
.
commit
|
commitdiff
|
tree
2021-09-17
Vassil Mladenov
Require as c
o
nstr
a
int o
n
co
n
text
a
liases
commit
|
commitdiff
|
tree
2021-09-17
Va
s
s
i
l M
l
a
denov
Add
another test cas
e
for short c
o
ntext
aliases
commit
|
commitdiff
|
tree
2021-09-16
Vassil Mladenov
Register capabilities be
f
ore saving env copy for SDT
.
.
.
commit
|
commitdiff
|
tree
2021-09-16
Vass
i
l Mlade
n
ov
Skip SDT parent check
o
n
n
on cl
a
sses/interfaces
commit
|
commitdiff
|
tree
2021-09-15
Vassil Ml
a
denov
Add
eve
r
ything
_
s
d
t type
c
h
ecke
r
opti
o
n
commit
|
commitdiff
|
tree
2021-09-14
V
assil M
l
ade
n
ov
Ma
k
e conte
x
t v
a
l
i
dation l
o
gic over de
c
l tys, a
l
l
ow
.
.
.
commit
|
commitdiff
|
tree
2021-09-10
V
a
ssil Mlad
e
n
o
v
Enab
l
e __Sealed s
u
bclass check as a lin
t
commit
|
commitdiff
|
tree
2021-09-08
Vassil M
l
adenov
Ban pa
r
tially abstrac
t
ty
p
e co
n
st
a
nts by defau
l
t
commit
|
commitdiff
|
tree
2021-08-27
Va
s
sil Mla
d
enov
Remove legac
y
c_support_dynamic_type field
commit
|
commitdiff
|
tree
2021-08-25
V
a
s
s
i
l Mladen
o
v
int
r
o
d
uce newctx keyword
f
or conte
x
t
aliases
commit
|
commitdiff
|
tree
2021-08-20
Vassil Mladenov
Imple
m
ent projectio
n
of cont
e
xt cons
t
ants off reified
.
.
.
commit
|
commitdiff
|
tree
2021-08-20
Vassil Mladenov
Requ
i
re exact
e
x
plicit ty
p
e argument
c
o
un
t
commit
|
commitdiff
|
tree
2021-08-19
V
a
s
sil Mlade
n
ov
C
s
tr -> Constr
u
c
tor
commit
|
commitdiff
|
tree
2021-08-16
V
assil Mladen
o
v
Allow effect
p
oly
m
orphic calls w
i
th
only explicit tpa
r
a
m
.
.
.
commit
|
commitdiff
|
tree
2021-08-16
Vassil Mla
d
enov
Move over depen
d
ent co
n
tex
t
s to T/[
.
.
.
]
naming
commit
|
commitdiff
|
tree
2021-07-17
V
a
s
s
il Mladenov
M
o
ve defaults fo
r
class
c
onstants b
a
c
k
t
o Migration
commit
|
commitdiff
|
tree
2021-07-16
Va
s
sil
M
lad
e
nov
Write
-
1 m_d
a
ta for consta
n
ts that d
o
n
ot have a val
u
e
.
.
.
commit
|
commitdiff
|
tree
2021-06-30
Vassil Mladenov
Pass unst
a
ble fla
g
to hhvm tests
commit
|
commitdiff
|
tree
2021-06-29
Vassil Mladenov
Concretizat
i
on for
def
a
ults of ab
s
tract constants
commit
|
commitdiff
|
tree
2021-06-29
Vass
i
l Mladenov
Demote defa
u
lts
f
or class c
o
nstants to
U
nstabl
e
commit
|
commitdiff
|
tree
2021-06-25
V
a
s
sil
M
l
adenov
Implement defaul
t
values
for a
b
s
t
ract cl
a
ss co
n
s
t
ants
commit
|
commitdiff
|
tree
2021-06-15
Vassil
Mladenov
Make trait
constan
t
s
behave like inter
f
a
ce constants
commit
|
commitdiff
|
tree
2021-06-15
V
assil Mlad
e
nov
Remove
T
r
aversable::C, Con
t
ainer::C
M
ut
commit
|
commitdiff
|
tree
2021-05-21
Vassil
M
l
a
denov
Turn on
d
e
faul
t
s
i
nheritance
b
ehavi
o
r and remove flag
commit
|
commitdiff
|
tree
2021-05-20
Vassil Mladenov
Fla
g
to raise warning when accessin
g
abstract context
.
.
.
commit
|
commitdiff
|
tree
2021-05-20
Vassil Mladenov
Add
flag to allo
w
abstract type constant
s
with defaults
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Vassil
M
ladenov
Add flag to make Ref
l
e
c
tion
T
ypeCons
t
a
n
t::isAbstract
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Vassi
l
Mladenov
Use abstract
k
eyword to determine abstractne
s
s f
o
r
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Vassil Mladenov
Rename isA
b
st
r
act() to
isAbstr
a
ctAndUninit
(
)
commit
|
commitdiff
|
tree
2021-05-05
V
a
ssil Mla
d
e
n
o
v
Add
flag to
e
nable
a
b
s
tract
context c
o
n
stan
t
s
commit
|
commitdiff
|
tree
2021-05-04
Vassil Mladenov
Updat
e
flag name
commit
|
commitdiff
|
tree
2021-05-04
V
assil Mlade
n
ov
Add flag t
o
treat
req
u
i
re extends and
i
m
p
lements as
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Vassi
l
Mladenov
Add flag to
e
rror on conc
r
ete-concrete over
r
id
e
commit
|
commitdiff
|
tree
2021-04-28
V
a
ssil Mladenov
C
hang
e
type constant representation in Typing_defs
.
.
.
commit
|
commitdiff
|
tree
2021-04-20
Vassil Mladenov
Flag to ban definit
i
ons
f
o
r
p
art
i
all
y
a
b
s
tract
type
.
.
.
commit
|
commitdiff
|
tree
2021-04-09
Vassil Mladenov
S
e
p
ar
a
te th
e
kind
s
of
t
ype constant
s
i
n
the AST
commit
|
commitdiff
|
tree
2021-04-08
Vassil Mlade
n
ov
Remove
f
allback_e
x
pect_
e
xtensio
n
from run_idempotence_tests
commit
|
commitdiff
|
tree
2021-04-01
Vas
s
il
Mladenov
Flip
o
n
--hack-arr-dv-a
r
rs f
o
r hh_single_type_che
c
k
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
V
assil Mladenov
Forbid accessi
n
g classnam
e
on Hack array
t
ype
s
t
r
uctures
commit
|
commitdiff
|
tree
2021-03-30
Vassil Mladeno
v
D
o
n
o
t reinterpr
e
t
is/as hints
for hack_arr_dv_arrs
commit
|
commitdiff
|
tree
2021-03-30
Vassil Mladenov
Tast check not firing on XHP
commit
|
commitdiff
|
tree
2021-03-30
Vass
i
l
M
ladeno
v
HackC
i
mp
l
ementati
o
n
for getValue()
commit
|
commitdiff
|
tree
2021-03-22
Vassil
Mladenov
Add
a
utocomplete compl
e
te support for e
n
um
a
toms
commit
|
commitdiff
|
tree
2021-03-22
Vassil Mladenov
F
i
x pos
i
t
ion for enu
m
atoms
i
n Tast
commit
|
commitdiff
|
tree
2021-03-13
Vassi
l
Mladenov
Fix last
occurrence of "array_un
i
fication"
commit
|
commitdiff
|
tree
2021-03-11
Vassil Mladeno
v
rename
config flag
commit
|
commitdiff
|
tree
2021-03-02
V
a
ssil Mla
d
e
nov
Add ignore_unsafe_cast f
l
ag
commit
|
commitdiff
|
tree
2021-03-02
Va
s
si
l
Mladenov
Imp
l
e
ment unsafe_cast
commit
|
commitdiff
|
tree
2021-02-26
Vassi
l
M
l
a
d
e
nov
Pass unification flag to Typing_make_type
commit
|
commitdiff
|
tree
2021-02-18
Vassil Mladenov
A
dd sub
t
yping fo
r
v
e
c_or_d
i
ct w
i
th n
o
nnul
l
commit
|
commitdiff
|
tree
2021-02-18
Vassil Mladenov
Dire
c
t
_decl_parser for v
e
c_or_di
c
t and m
o
re tests
commit
|
commitdiff
|
tree
2021-02-12
Vassil Mla
d
e
nov
F
ix bug wi
t
h enforcing
p
urity in
c
ons
t
a
n
t i
n
iti
a
l
i
zers
commit
|
commitdiff
|
tree
2021-02-11
Vassil Mladenov
Add subtyping for vec_or_dict
commit
|
commitdiff
|
tree
next