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
Enforce modularity boundaries for classes
2022-08-08
Vassil
M
ladenov
Eli
m
i
n
ate
s
upp
o
rtdynamic i
n
favor
o
f supportdyn
commit
|
commitdiff
|
tree
2022-07-20
Vassil Mladenov
Back o
u
t "Concretize constant defaults i
n
a
b
strac
t
.
.
.
commit
|
commitdiff
|
tree
2022-07-19
Vassil
M
ladenov
C
o
ncre
t
ize constant
defaul
t
s in abstr
a
ct final classes
commit
|
commitdiff
|
tree
2022-07-12
Vassil
M
l
adenov
Concretize constant def
a
u
lts
i
n
a
bstract
f
in
a
l
c
lasses
commit
|
commitdiff
|
tree
2022-07-12
Vassil Mladenov
Decl_inherit + Typing_ex
t
ends: undo decl change, con
s
ider
.
.
.
commit
|
commitdiff
|
tree
2022-06-29
Vassil Mladenov
Wellforme
d
ness: ch
e
ck well-formedness of requ
i
re
m
ents
.
.
.
commit
|
commitdiff
|
tree
2022-06-28
Vassil Mladen
o
v
Dec
l
_
i
nherit: fix case where ty
p
e
cons
t
ant inherit
a
nce
.
.
.
commit
|
commitdiff
|
tree
2022-06-23
Vassil
M
ladenov
Po
i
son an
c
estors upw
a
rds if an unenforceable return
.
.
.
commit
|
commitdiff
|
tree
2022-06-07
Vassil
M
l
a
d
e
n
o
v
R
elax restriction th
a
t
prevents defaults an
d
co
n
c
r
ete
.
.
.
commit
|
commitdiff
|
tree
2022-06-06
Vass
i
l Mlade
n
ov
R
e
m
o
v
e
old
typ
e
_param_shadowing experi
m
e
n
t
commit
|
commitdiff
|
tree
2022-06-06
Vassil Mladenov
E
xclu
d
e 4374 from dea
d
fixme remove
r
commit
|
commitdiff
|
tree
2022-05-27
Vassil Mlade
n
o
v
L
o
g pessimisat
i
on for explicit type hints
on c
l
os
u
res
commit
|
commitdiff
|
tree
2022-05-25
Vassil Mladenov
U
n
roll
tail re
c
ur
s
ion, report para
m
eter pess
i
mis
a
tio
n
commit
|
commitdiff
|
tree
2022-05-17
Vassil
Mladenov
Target
e
d pes
s
i
m
isation for parameter
s
commit
|
commitdiff
|
tree
2022-05-12
Vassil
M
la
d
enov
Update mini-repo
f
or 4
.
14
.
0
commit
|
commitdiff
|
tree
2022-05-12
Vassil
M
la
d
enov
Release
to fbcode
commit
|
commitdiff
|
tree
2022-05-11
V
a
ssil Mladenov
Ad
d
confl
i
ctin
g
c
o
n
cr
e
te typeco
n
st ch
e
ck, c
h
ang
e
c
lass
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Vassil
Mladenov
Ty
p
ing_extends:
use member map f
o
r type c
o
nstants checks
.
.
.
commit
|
commitdiff
|
tree
2022-04-28
Vas
s
il Mladenov
Rework enable_stri
c
t_const_semantic
s
to consider th
e
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
Vassi
l
M
l
adenov
Typin
g
_
extends: union
a
ll paren
t
constants in
a
map
.
.
.
commit
|
commitdiff
|
tree
2022-04-06
Vassil Ml
a
denov
S
t
rip like t
y
pe wh
e
n consdiering o
b
ject
m
em
o
iz
a
tion
commit
|
commitdiff
|
tree
2022-04-06
Vassil Mladenov
Allow arb
i
trary splat dest
r
uct
u
ring
f
or dynamic
commit
|
commitdiff
|
tree
2022-04-04
Vassi
l
Mla
d
en
o
v
Do not
keep around t
e
mporary tyvars lon
g
er
t
han necessary
commit
|
commitdiff
|
tree
2022-03-25
Vassil Mladenov
Pessi
m
i
s
e void except in toplevel
commit
|
commitdiff
|
tree
2022-03-24
Vassil Mlade
n
ov
Add upca
s
ts
to dy
n
amic a
f
ter inout expre
s
sions
commit
|
commitdiff
|
tree
2022-03-24
Vassil Mladenov
M
a
ke supportd
y
n<
m
ixed>
for a default va
l
ue from
Shapes
.
.
.
commit
|
commitdiff
|
tree
2022-03-23
V
a
ssil Mladenov
De
l
e
t
e pess_di
s
abled
commit
|
commitdiff
|
tree
2022-03-22
V
a
s
s
i
l Mladenov
Inse
r
t
upc
a
s
ts in re
t
urn s
t
atements for when return
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Vassil Mlad
e
nov
Re
m
o
v
e
a few test disables
commit
|
commitdiff
|
tree
2022-03-15
Vassil Mladenov
Traver
s
e implicit parameters
i
n Typing_variance
commit
|
commitdiff
|
tree
2022-03-11
Vassil Mlad
e
n
o
v
Remove pe
s
s_exp,di
s
abled
commit
|
commitdiff
|
tree
2022-03-09
Vassi
l
M
ladenov
Add m
i
ss
i
ng generated tparams and
c
on
s
traints to e
n
v
.
.
.
commit
|
commitdiff
|
tree
2022-03-09
V
assil Mla
d
e
n
ov
Ad
d
option to requ
i
r
e
types f
o
r cl
a
ss consts
commit
|
commitdiff
|
tree
2022-03-01
Vassil
M
ladenov
Remove unne
c
essary pess
_
e
x
p and pess_disabl
e
d
commit
|
commitdiff
|
tree
2022-02-25
Va
s
s
i
l
Ml
a
denov
Dynamic parameters upca
s
ting
commit
|
commitdiff
|
tree
2022-02-23
Va
s
sil Mlad
e
nov
Improve error m
e
ssa
g
es
f
o
r polymorphic c
o
ntexts, add
.
.
.
commit
|
commitdiff
|
tree
2022-02-17
Vassil Mladenov
A
d
d
types to c
o
nst
a
nts i
n
HHI
s
commit
|
commitdiff
|
tree
2022-02-17
V
a
ss
i
l Mladenov
Back out "Add missing generat
e
d tpar
a
ms and constraint
s
.
.
.
commit
|
commitdiff
|
tree
2022-02-15
Vassil Ml
a
de
n
ov
Add missing generated
tp
a
rams and c
o
nstraints to env
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
V
a
s
s
il
Mladenov
Commit exclusion list
f
or pessimisation te
s
t
s and en
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Vass
i
l Mladenov
A
d
d
pessimisation test artifacts to gitignore
commit
|
commitdiff
|
tree
2022-01-19
Vassil
Mladenov
Su
p
port ~ types on XHP attributes
t
h
at are en
u
m {'x
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Va
s
sil M
l
adenov
A
pprove out
p
ut of 1
4
pessimisation tests
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mladenov
Ch
e
ck we
l
lf
o
rmedness of construct
o
r cal
l
s
commit
|
commitdiff
|
tree
2022-01-12
Vas
s
il Mladenov
C
heck wellform
e
dnes
s
of calls
commit
|
commitdiff
|
tree
2022-01-12
Vassil Mladenov
Allow effect-p
o
lymorphic supportdyn closures
commit
|
commitdiff
|
tree
2021-12-14
Vassil Mladenov
Pessimise enum class d
e
finitio
n
s and all
o
w
like types
.
.
.
commit
|
commitdiff
|
tree
2021-12-06
Vassil Ml
a
denov
Simp
l
e g
a
ting for suppor
t
dyn
commit
|
commitdiff
|
tree
2021-11-30
Vassil
Mladenov
Unbox ~?ty expected typ
e
s deeply to f
i
x pessimised
.
.
.
commit
|
commitdiff
|
tree
2021-11-16
Vassil Ml
a
denov
noreturn <D: dynamic
commit
|
commitdiff
|
tree
2021-11-15
Vass
i
l Mladenov
C
onsider re
t
urn ty
p
e
w
ithou
t
l
i
ke type when t
y
ping
.
.
.
commit
|
commitdiff
|
tree
2021-11-11
V
a
ssil M
l
adenov
Remove u
n
us
e
d Codegen c
a
pabil
i
ty
commit
|
commitdiff
|
tree
2021-11-10
Vassi
l
Mlade
n
ov
R
e
m
o
ve r
e
fer
e
nces to (lowerc
a
s
e) codegen
a
nd codegen_unsafe
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Vassi
l
Mladeno
v
Rais
e
error when a trait
i
s <<__Cons
i
stentConstr
u
ct
.
.
.
commit
|
commitdiff
|
tree
2021-11-05
V
a
s
s
i
l Ml
a
den
o
v
Re
m
ove the codegen and c
o
degen_uns
a
fe cont
e
xts from HHI
commit
|
commitdiff
|
tree
2021-11-04
Vassil Mladenov
Fix hackfm
t
for context aliases
commit
|
commitdiff
|
tree
2021-11-02
Va
s
sil Mladenov
Log prop pessimisation
f
or as
s
ign
m
ent
commit
|
commitdiff
|
tree
2021-10-30
Vassil Mladenov
Ex
p
and d
y
nam
i
c for in
f
erence o
f
c
olle
c
tions and la
m
bdas
commit
|
commitdiff
|
tree
2021-10-27
V
assil Mladenov
Make
b
i
d
ir
e
ctio
n
al type i
n
fere
n
ce work fo
r
c
o
llections
.
.
.
commit
|
commitdiff
|
tree
2021-10-27
Va
s
sil Mladenov
Fi
x
internal erro
r
for
G
e
n
e
r
ator
s
during SDT c
h
e
ck
commit
|
commitdiff
|
tree
2021-10-26
V
a
ssil Ml
a
denov
Make format s
t
rin
g
s magic work with l
i
ke types in mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
V
assil Mladenov
Pes
s
im
i
ze pr
o
ps
d
efined on construc
t
ors
commit
|
commitdiff
|
tree
2021-10-25
Vassil Mladenov
Fix bug where
default cons
t
r
uct
o
rs
a
r
e m
a
d
e
[defaults
]
commit
|
commitdiff
|
tree
2021-10-22
Vass
i
l Ml
a
denov
Remove s
t
ray
.
ou
t
fil
e
commit
|
commitdiff
|
tree
2021-10-22
Vassil
M
l
aden
o
v
I
n
terpret pe
s
simization log
commit
|
commitdiff
|
tree
2021-10-21
Vassil Mlad
e
nov
F
a
ctor out
p
essimise_ty
p
e, r
e
na
m
e
t
h
i
ngs, c
h
ange l
o
g
.
.
.
commit
|
commitdiff
|
tree
2021-10-21
V
a
s
s
il Mlad
e
nov
Fix D
D
P for
s
uppo
r
tdyn
a
mic
,
inte
r
pret no
n
null an
d
mixed
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Vassil Mladenov
Lo
g
a
p
essimization requirement when a param subtype
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Vass
i
l Mla
d
enov
M
ak
e
v
a
r
i
adi
c
parameter d
y
namic
w
hen relaxing callee
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
Vas
s
il Ml
a
denov
Error for parent::__construct in trai
t
s wh
e
n p
a
rent
.
.
.
commit
|
commitdiff
|
tree
2021-10-13
V
a
ssil Mladenov
Allow
compilation of `as`
c
o
ns
t
raints on concrete type
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Vassil Mladenov
Er
r
or for parent::__construc
t
in traits when par
e
nt
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Va
s
sil
M
ladenov
F
ix e
r
ro
r
c
o
de Rea
d
-
>
Write
commit
|
commitdiff
|
tree
2021-10-06
Vass
i
l Mladenov
Remove PATC definition typechecker option
commit
|
commitdiff
|
tree
2021-10-06
Vassil Mla
d
e
nov
Remove Aast
.
TCP
a
rtial
l
yAbst
r
ac
t
commit
|
commitdiff
|
tree
2021-10-05
Vassil Ml
a
denov
Reserve
err
o
r c
o
de for new
FIXME-a
b
le erro
r
commit
|
commitdiff
|
tree
2021-10-05
Va
s
sil Mlad
e
nov
Remo
v
e is
_
c
o
ncr
e
te argument
commit
|
commitdiff
|
tree
2021-10-05
Vassil
Mladenov
Remov
e
Typing_d
e
fs
.
TCPa
r
t
i
a
llyA
b
s
tract
commit
|
commitdiff
|
tree
2021-10-05
Vassil Mlad
e
nov
Remove
d
is
a
ble_partially
_
abstract_ty
p
econsts option
commit
|
commitdiff
|
tree
2021-10-01
Vas
s
il Ml
a
denov
Use inn
e
r type for
depende
n
t
contexts when parameter
.
.
.
commit
|
commitdiff
|
tree
2021-09-29
Vassil
M
ladenov
Implemen
t
su
b
t
yping for Tsupp
o
rtdynam
i
c
commit
|
commitdiff
|
tree
2021-09-29
V
assil M
l
adenov
Intro
d
u
c
e support
d
yn
a
mic ty
p
e hint
a
nd Tsupportdynamic
commit
|
commitdiff
|
tree
2021-09-23
Va
s
sil
M
l
ad
e
nov
U
s
e new namespace elaboration for c
t
x consts
commit
|
commitdiff
|
tree
2021-09-23
Va
s
sil
Mladenov
Add
m
issi
n
g coe
f
fect
e
ncap
s
ulation
tests to hph
p
/test
commit
|
commitdiff
|
tree
2021-09-20
Vassil
Mladenov
Log
p
e
s
s
imization for properties
t
hat fai
l
sound dynamic
.
.
.
commit
|
commitdiff
|
tree
2021-09-17
Vassil
Mladenov
Require
as con
s
trai
n
t on c
o
ntext aliases
commit
|
commitdiff
|
tree
2021-09-17
V
a
s
s
il Mladen
o
v
Add another test case fo
r
short c
o
n
t
ext
a
lia
s
es
commit
|
commitdiff
|
tree
2021-09-16
Vassi
l
Mladen
o
v
Re
g
ister c
a
pa
b
ilities before sav
i
ng env copy for SDT
.
.
.
commit
|
commitdiff
|
tree
2021-09-16
V
a
ssil Mladenov
Skip SDT pare
n
t ch
e
c
k
on non classes/inte
r
face
s
commit
|
commitdiff
|
tree
2021-09-15
Vassil Mladenov
Add everything_sdt
t
ypech
e
ck
e
r option
commit
|
commitdiff
|
tree
2021-09-14
Vassil Mlad
e
nov
Make context validation
l
o
g
ic
ov
e
r dec
l
tys
,
allow
.
.
.
commit
|
commitdiff
|
tree
2021-09-10
Vass
i
l Mla
d
enov
Ena
b
le __Sealed subc
l
ass che
c
k as
a
lint
commit
|
commitdiff
|
tree
2021-09-08
Vass
i
l Mladenov
Ban partially abs
t
ract type constants by
d
efault
commit
|
commitdiff
|
tree
2021-08-27
Vassil
Mladenov
Re
m
ove legacy c_support_dy
n
amic_type
f
i
eld
commit
|
commitdiff
|
tree
2021-08-25
Vassil
Ml
a
denov
int
r
oduce newctx keyword for context
alia
s
e
s
commit
|
commitdiff
|
tree
2021-08-20
Vassi
l
Mladenov
I
m
pleme
n
t
p
r
oj
e
ction
o
f co
n
tex
t
co
n
stant
s
off
reified
.
.
.
commit
|
commitdiff
|
tree
2021-08-20
Vassil Mlade
n
o
v
Require exact explic
i
t type
a
r
gu
m
ent count
commit
|
commitdiff
|
tree
2021-08-19
Va
s
sil Mlad
e
nov
Cstr
-
> Con
s
tructor
commit
|
commitdiff
|
tree
2021-08-16
Vassil Mladenov
All
o
w
e
ffect polym
o
rphic c
a
l
l
s
w
ith
o
nly
e
xpl
i
c
i
t
tparam
.
.
.
commit
|
commitdiff
|
tree
2021-08-16
V
a
ssil
Mla
d
enov
Move over d
e
pe
n
dent con
t
exts to T/[
.
.
.
]
naming
commit
|
commitdiff
|
tree
next