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
Add switch to disable partially abstract type constants
2019-06-19
Vass
i
l Mladenov
Add switch to di
s
a
b
le parti
a
lly abstr
a
ct
type con
s
tants
commit
|
commitdiff
|
tree
2019-06-19
Vassil Ml
a
denov
Add coercion for
s
tatic met
h
ods accesse
d
via
parent::
commit
|
commitdiff
|
tree
2019-06-19
Vassil
Mlade
n
o
v
Add coercion for st
a
tic methods
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
Fix
decl inher
i
tanc
e
of abstr
a
ct t
y
pe constant with
.
.
.
commit
|
commitdiff
|
tree
2019-06-19
V
a
ssil
Mladenov
Add coerc
i
on for s
t
atic properti
e
s
commit
|
commitdiff
|
tree
2019-06-18
Vassil Mladeno
v
Ref
a
c
t
or dispatch_call in ty
p
ing
commit
|
commitdiff
|
tree
2019-06-18
Vassil Mladenov
M
o
ve a
b
st
r
act
pa
r
en
t
check to Tast chec
k
commit
|
commitdiff
|
tree
2019-06-17
Vassil Ml
a
denov
Add coe
r
c
ion fo
r
par
e
nt
:
:
c
a
lls t
o
i
n
stance me
t
hods
commit
|
commitdiff
|
tree
2019-06-17
Va
s
sil Mladenov
Ad
d
co
e
r
cion for constructors
commit
|
commitdiff
|
tree
2019-06-15
Vassil Mla
d
enov
Do
n
'
t
lose argu
m
ents t
o
parent::
m
ethod calls
commit
|
commitdiff
|
tree
2019-06-13
Vassi
l
Mladenov
Mo
v
e
s
tatic method call checks ou
t
o
f t
y
ping
.
ml
commit
|
commitdiff
|
tree
2019-06-12
Vassil
M
ladenov
Ad
d
coercion to meth
o
d paramet
e
r
types
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mla
d
enov
Add c
o
ercion to property type
s
commit
|
commitdiff
|
tree
2019-06-12
V
a
s
s
i
l Mladenov
Allow coercion in function parameters
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Do
no
t
have shadowing
error for rei
f
ied typ
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-12
Va
s
si
l
M
lade
n
ov
Ban so
m
e reified type arguments
commit
|
commitdiff
|
tree
2019-06-12
Vass
i
l
Mladenov
Cle
a
n up log
i
c that
governs valid reifi
e
d arguments
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladen
o
v
Back out
"
[e
a
sy] Do not ha
v
e sha
d
owing erro
r
for r
e
ified
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
Do not have shadowing err
o
r
for reif
i
ed
type param
e
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladenov
U
p
date genva
tests
commit
|
commitdiff
|
tree
2019-06-11
Vassil Ml
a
denov
Allow coercion from like types
commit
|
commitdiff
|
tree
2019-06-11
V
a
ssil Mlade
n
ov
Add
coercion
dynamic
~> T when T is e
n
force
a
b
l
e
commit
|
commitdiff
|
tree
2019-06-10
V
a
ssil Mladenov
Add d
e
cl type
c
oe
r
cio
n
target from retu
r
n
p
ositi
o
ns
commit
|
commitdiff
|
tree
2019-06-10
Vassil
Mladenov
F
ix
h
h
config
o
pt for pessimize_types
commit
|
commitdiff
|
tree
2019-06-09
Vas
s
i
l Mladenov
I
n
tr
o
duce ExpectedTy module, refactor typi
n
g to use
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil Mlad
e
nov
Flip
some tes
t
s to use the
<?hh
h
eade
r
instead of
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil
M
ladenov
Ban reified generics on fu
n
ctio
n
s
o
r
m
ethods t
h
a
t
take
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladeno
v
Alway
s
autoimpor
t
in the emitter
commit
|
commitdiff
|
tree
2019-06-06
V
assil Mladenov
R
e
move is_hh_sy
n
ta
x
_
enabled and is_hh_fil
e
_
commit
|
commitdiff
|
tree
2019-06-06
Vassil M
l
adenov
Emit inout wrapper
functions in php files
commit
|
commitdiff
|
tree
2019-06-06
Vassil
Mladenov
Emit is for i
s
_* spe
c
ial functions
i
n PHP
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Check
PHP class names
i
n the global n
a
mespa
c
e
a
gainst
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Va
s
sil Mla
d
enov
Em
i
t inv
a
riant function in
PHP files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Inli
n
e
g
e
n functions in P
H
P files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladeno
v
Always emit t
h
e HHType co
n
stra
i
n
t
for
sim
p
le types
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vas
s
i
l
Mladen
o
v
Do
not em
i
t ex
p
licit type constraints
for mixed and
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
D
o
n
ot a
l
way
s
emit
n
ull
a
b
l
e for param type
h
ints in
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassi
l
M
l
a
denov
Uni
f
y parameter default ch
e
cking betwee
n
PH
P
and Hack
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Allow tupl
e
() to
c
r
eate v
a
r
r
ays i
n
PHP fil
e
s
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
nov
Always
emit xhp a
t
tr
i
butes as Hack hint
s
commit
|
commitdiff
|
tree
2019-06-06
Vassil
Mladenov
Remo
v
e is_hh_
f
i
l
e f
r
om jump_targ
e
ts
commit
|
commitdiff
|
tree
2019-06-06
Vas
s
il Ml
a
denov
A
l
low jumps
in
t
o switc
h
in PHP files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
A
l
lo
w
ju
m
p to
wh
i
le loops/using in PHP files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Remov
e
is_hh_file
gatin
g
from a
u
toimpor
t
behavior
commit
|
commitdiff
|
tree
2019-06-04
Va
s
sil Mladenov
Remov
e
is_hh_f
i
le switc
h
f
r
om markup
l
owering
commit
|
commitdiff
|
tree
2019-06-04
V
a
s
s
il Mladenov
Rem
o
v
e
i
s_hh
_
file
s
witch from collect
i
on expressions
commit
|
commitdiff
|
tree
2019-05-30
V
a
ssil Mladenov
Remove the Awaita
b
le wrapping of e
m
pty return
commit
|
commitdiff
|
tree
2019-05-30
Vassil Mla
d
enov
Remove Awaitable coer
c
ion rule, unwrap
Awaitab
l
e coerced
.
.
.
commit
|
commitdiff
|
tree
2019-05-30
Va
s
sil
Mladenov
Simplify coercion and make it match
t
he typ
i
ng
rules
commit
|
commitdiff
|
tree
2019-05-28
Vassil
Mladenov
Refacto
r
`expected
`
fu
n
c
t
io
n
a
r
g
um
e
nt in typing fu
n
ctions
commit
|
commitdiff
|
tree
2019-05-24
Vassil Mladenov
Make declared function return type in
f
o
rmation availabl
e
.
.
.
commit
|
commitdiff
|
tree
2019-05-23
Vassil M
l
a
denov
Allow <<_
_
AtMostRxAsF
u
nc>> to
b
e
u
s
ed with l
i
ke functions
commit
|
commitdiff
|
tree
2019-05-21
Vassil
M
ladenov
Carr
y
asy
n
c
information i
n
to heap
commit
|
commitdiff
|
tree
2019-05-21
Vassil
M
l
a
denov
A
d
d flag to
p
essi
m
ize like ty
p
e
s
commit
|
commitdiff
|
tree
2019-05-17
Vass
i
l Mla
d
enov
Ad
d
an interface for Typing
_
phase
commit
|
commitdiff
|
tree
2019-05-16
Vassil Mladenov
Print li
k
e typ
e
s
commit
|
commitdiff
|
tree
2019-05-14
Vassil Mladeno
v
Fix typechecker
te
s
t
s
commit
|
commitdiff
|
tree
2019-05-10
Vassi
l
Mladenov
Fix decl inher
i
tan
c
e of ab
s
trac
t
type
con
s
t
a
nt wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
V
a
ssil
M
ladenov
F
i
x synthetic con
s
t
s
i
n new decl
commit
|
commitdiff
|
tree
2019-05-07
V
a
ssil Mladenov
Synthesize
c
on
c
rete type con
s
t
a
nts in new decl
commit
|
commitdiff
|
tree
2019-05-04
Vassil Mladen
o
v
F
i
x
t
e
sts for release
commit
|
commitdiff
|
tree
2019-05-02
Vassil Mladenov
C
h
a
nge like t
y
pes to use an hh_si
n
gle_type_ch
e
ck flag
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Vassil Mladenov
Fix tast_
t
ypecheck tests
commit
|
commitdiff
|
tree
2019-04-30
V
a
ssil Mladenov
Fix synthe
t
ic consts in legacy decl
commit
|
commitdiff
|
tree
2019-04-30
Vassil Mlad
e
nov
Synthesize co
n
crete type cons
t
ants f
r
om d
e
fau
l
ts
,
fix
.
.
.
commit
|
commitdiff
|
tree
2019-04-24
V
assil
M
ladenov
Kill the <> o
p
erator
commit
|
commitdiff
|
tree
2019-04-24
Vassil
Mladenov
Add like-types tests for type aliases
commit
|
commitdiff
|
tree
2019-04-20
Vassil Mladeno
v
Fix printing o
f
type constants
commit
|
commitdiff
|
tree
2019-04-20
Vassil Mlad
e
nov
Pro
p
erl
y
handle defaults
i
n typi
n
g
h
eap
commit
|
commitdiff
|
tree
2019-04-16
Vassil M
l
adenov
M
ove
type constant ch
e
ck to its own file
commit
|
commitdiff
|
tree
2019-04-16
Va
s
s
i
l Mladenov
A
d
d some ba
s
ic test cases
for defaults
commit
|
commitdiff
|
tree
2019-04-16
Va
s
s
i
l Mladenov
Support a
b
stract c
o
nst
t
ype d
e
fault sy
n
tax
commit
|
commitdiff
|
tree
2019-04-13
Vas
s
il Mla
d
enov
Rewrite logic for in
h
eritance o
f
typecon
s
ts in terms
.
.
.
commit
|
commitdiff
|
tree
2019-04-12
Va
s
sil
M
ladenov
Thr
e
ad typeconst abstra
c
t
i
n
formation th
r
ough to decl
commit
|
commitdiff
|
tree
2019-04-12
Vassil M
l
a
d
enov
Record
type const ab
s
t
r
act ki
n
d in Aast
commit
|
commitdiff
|
tree
2019-04-06
Vassil Mlad
e
nov
Back out "F
i
x t
y
pe infere
n
ce of new
s
elf"
commit
|
commitdiff
|
tree
2019-04-05
Vassil Mlade
n
ov
R
e
move support f
o
r
<<__UNSAF
E
_Co
n
s
t
r
u
ct>
>
in the ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassi
l
Mladenov
Don't drop generics
on the floor
when lowering
s
c
ope
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil
Mladenov
Prevent using <<__Consis
t
e
n
tConstruct>>
w
ith reified
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vass
i
l Mla
d
enov
Make constructor
c
o
nsistency
m
o
r
e
g
ranular,
ma
k
e final
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil Mladenov
F
i
x
type inference of new s
e
lf
commit
|
commitdiff
|
tree
2019-04-03
Vass
i
l Mlade
n
ov
Ban <<__Memoize>
>
on f
u
nctions and
m
ethod
s
that have
.
.
.
commit
|
commitdiff
|
tree
2019-04-02
Vassil
Mladenov
F
i
x return type
c
heck
in case o
f
new T
commit
|
commitdiff
|
tree
2019-04-01
Vassil Mladenov
Import reifie
d
generic test cases from
r
u
ntime
commit
|
commitdiff
|
tree
2019-04-01
Vas
s
il Mlad
e
nov
Rela
x
r
estriction
on wildcard
t
y
pe
d
e
pth
commit
|
commitdiff
|
tree
2019-03-31
Vas
s
il Mladenov
Fix reified
wildcard usage,
h
a
r
den r
e
ifie
d
errors
commit
|
commitdiff
|
tree
2019-03-21
Vassil Mladeno
v
Demot
e
soft reified
t
ype parameters
commit
|
commitdiff
|
tree
2019-03-20
Vassil
Mladenov
D
on'
t
d
rop g
e
nerics on the floor when lowering
s
cope
.
.
.
commit
|
commitdiff
|
tree
2019-03-20
Vassil Mla
d
enov
Add tes
t
cases fo
r
extends newable an
d
n
e
w
s
elf/p
a
rent
commit
|
commitdiff
|
tree
2019-03-20
Vassi
l
Mlade
n
ov
Relax u
n
instantiability error for new T
commit
|
commitdiff
|
tree
2019-03-18
V
assil Mla
d
eno
v
Ban new static
in classes that hav
e
r
eifie
d
gen
e
ri
c
s
commit
|
commitdiff
|
tree
2019-03-18
Vassi
l
Mlade
n
o
v
Relax restriction on shape keys
commit
|
commitdiff
|
tree
2019-03-17
Vassil Mladenov
D
on't drop gene
r
ics o
n
t
h
e floor when lower
i
ng
s
co
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-03-15
Vassil Mladenov
Quick fix to te
s
t
commit
|
commitdiff
|
tree
2019-03-15
V
assi
l
Mladenov
B
an type param
e
ters with ty
p
e ar
g
uments in new
ex
p
ressions
commit
|
commitdiff
|
tree
2019-03-08
V
a
ssi
l
M
l
a
d
enov
Turn on is/as for enforceable type c
o
nstants
commit
|
commitdiff
|
tree
2019-03-08
V
assil
M
ladenov
Co
n
strain types for enforceable t
y
pe constants
commit
|
commitdiff
|
tree
2019-03-08
V
a
ssil Mladenov
Fix integrat
i
on
tests for
r
ele
a
se
commit
|
commitdiff
|
tree
2019-03-07
Vassil Mladeno
v
Con
s
tructo
r
type checki
n
g
for new T()
commit
|
commitdiff
|
tree
2019-03-06
Vassil Mladenov
Add fl
a
g to disable __UNSAFE
_
Con
s
truc
t
commit
|
commitdiff
|
tree
next