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
Clean up logic that governs valid reified arguments
2019-06-12
Vas
s
i
l M
l
ad
e
n
o
v
C
l
e
a
n up logic that
g
overns valid reified argu
m
e
nts
commit
|
commitdiff
|
tree
2019-06-12
V
assi
l
Mladenov
B
ack o
u
t "[
e
asy] Do not have sha
d
o
w
ing error for r
e
i
fied
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mlad
e
nov
Do
n
ot have shadowing error f
o
r reified
t
ype param
e
ter
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil
M
la
d
enov
Updat
e
genva tes
t
s
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladen
o
v
Allow
c
oercion fro
m
like types
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mlad
e
nov
A
dd co
e
rcion
dynam
i
c ~> T wh
e
n T i
s
e
n
forceable
commit
|
commitdiff
|
tree
2019-06-10
Vassil Mla
d
enov
A
d
d
d
ecl type
coercion target
from r
e
turn
positi
o
ns
commit
|
commitdiff
|
tree
2019-06-10
Vassil Ml
a
d
e
nov
Fi
x
hhconfig opt for
pessimize_types
commit
|
commitdiff
|
tree
2019-06-09
Vassi
l
Mlade
n
ov
Introduce
E
xpect
e
dTy module,
r
e
factor typing to use
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil Mladen
o
v
Flip s
o
m
e
t
e
s
t
s to u
s
e the <?hh header instead of
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Va
s
sil Mladenov
B
an rei
f
i
ed ge
n
erics
o
n functions or methods t
h
at take
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
A
l
ways
a
utoimport i
n
t
he emitter
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mladenov
R
emove is_
h
h_syntax_enabled and is_hh_file_
commit
|
commitdiff
|
tree
2019-06-06
V
assil Mladenov
Emit inout wrap
p
er f
u
nc
t
ions in php
fi
l
es
commit
|
commitdiff
|
tree
2019-06-06
Vassil
Mladenov
Emit is for is_
*
spec
i
al f
u
ncti
o
ns in PHP
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Check
P
HP
class names in
t
he global namespace against
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Va
s
s
i
l Mlad
e
nov
Emit invaria
n
t functi
o
n in
PH
P
files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Ml
a
denov
Inline g
e
n fun
c
t
i
ons in PHP files
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mladenov
Always emi
t
th
e
HH
T
ype co
n
s
traint for simpl
e
ty
p
es
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mla
d
enov
Do not emit expli
c
i
t type constraints fo
r
mix
e
d and
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Va
s
sil Mladenov
Do n
o
t always em
i
t nullable for par
a
m type hint
s
in
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vas
s
i
l
Mladenov
Unify parameter default checking bet
w
een PHP and H
a
ck
commit
|
commitdiff
|
tree
2019-06-06
Vassi
l
Ml
a
d
enov
Allow tuple() to create
v
array
s
in
PH
P
file
s
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
A
l
ways emit xh
p
attribut
e
s as Hack hints
commit
|
commitdiff
|
tree
2019-06-06
V
a
ssil Mladeno
v
Remo
v
e is_hh_file fro
m
jump_targets
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
nov
Allow jumps into switch in PHP f
i
les
commit
|
commitdiff
|
tree
2019-06-06
V
a
ssil Mladeno
v
Allow
jump
to w
h
i
le loops/u
s
in
g
in P
H
P
f
iles
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
n
o
v
Remove is_hh_file gating f
r
o
m
autoi
m
port behavior
commit
|
commitdiff
|
tree
2019-06-04
Va
s
sil Ml
a
denov
Remove is_
h
h_file switch from markup lowerin
g
commit
|
commitdiff
|
tree
2019-06-04
Vassil
M
l
aden
o
v
Remove is_h
h
_
file sw
i
tch fr
o
m collection
e
x
p
r
e
ssions
commit
|
commitdiff
|
tree
2019-05-30
Vas
s
i
l
Mlade
n
ov
Remov
e
th
e
Aw
a
itable
w
rap
p
ing
of
e
mpty return
commit
|
commitdiff
|
tree
2019-05-30
Vass
i
l Mladenov
Re
m
ove Awaita
b
le coercion rule, unwrap
Awaitabl
e
co
e
rced
.
.
.
commit
|
commitdiff
|
tree
2019-05-30
Vassil Mladeno
v
Simpl
i
fy coercio
n
and make it
match the typing rules
commit
|
commitdiff
|
tree
2019-05-28
Vassil
Mlad
e
n
o
v
Ref
a
ctor `expected` fun
c
tio
n
a
rg
u
m
en
t
in typ
i
ng functi
o
ns
commit
|
commitdiff
|
tree
2019-05-24
V
assil M
l
aden
o
v
Make declared function ret
u
rn
t
ype information availabl
e
.
.
.
commit
|
commitdiff
|
tree
2019-05-23
Vassil Mladenov
Al
l
ow
<
<__AtMostR
x
AsFun
c
>
>
to be used wit
h
l
ike
f
u
ncti
o
ns
commit
|
commitdiff
|
tree
2019-05-21
Va
s
sil Mladenov
Carry a
s
ync informa
t
ion into heap
commit
|
commitdiff
|
tree
2019-05-21
V
a
s
s
il Ml
a
denov
Ad
d
flag to pessimiz
e
l
i
ke
types
commit
|
commitdiff
|
tree
2019-05-17
V
as
s
i
l
Mlade
n
ov
Add an int
e
rface for Typin
g
_phase
commit
|
commitdiff
|
tree
2019-05-16
Vassil Mladenov
P
rint like types
commit
|
commitdiff
|
tree
2019-05-14
Vassil
Mladenov
F
i
x
t
ype
c
h
e
ck
e
r tests
commit
|
commitdiff
|
tree
2019-05-10
Vassil
M
ladenov
F
i
x dec
l
inheritance of a
b
st
r
act
type constant with
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
Vassil Mladenov
Fi
x
s
y
nthetic
c
onsts in new decl
commit
|
commitdiff
|
tree
2019-05-07
Vassil Mladeno
v
Sy
n
t
h
esize concrete type const
a
nt
s
in new
d
ecl
commit
|
commitdiff
|
tree
2019-05-04
Va
s
s
i
l Mlade
n
ov
Fix tests for re
l
ea
s
e
commit
|
commitdiff
|
tree
2019-05-02
Vassil Mladenov
Change like t
y
pes to use a
n
hh_
s
ing
l
e_type_check flag
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Va
s
sil Mladenov
Fix tast_typecheck tests
commit
|
commitdiff
|
tree
2019-04-30
V
assil Mladenov
Fix s
y
nthet
i
c co
n
sts in legacy dec
l
commit
|
commitdiff
|
tree
2019-04-30
Vass
i
l Mladenov
Synthesize con
c
rete type
c
o
nstants fr
o
m d
e
faults, fix
.
.
.
commit
|
commitdiff
|
tree
2019-04-24
Vassil Mladenov
Kill the <> oper
a
tor
commit
|
commitdiff
|
tree
2019-04-24
Vass
i
l Mladenov
A
d
d like-typ
e
s te
s
ts for t
y
pe aliases
commit
|
commitdiff
|
tree
2019-04-20
V
a
s
s
il Mlade
n
ov
Fix printing o
f
type constants
commit
|
commitdiff
|
tree
2019-04-20
Vassil Ml
a
denov
Properly
h
andle defaults
in typing h
e
ap
commit
|
commitdiff
|
tree
2019-04-16
Vass
i
l Ml
a
denov
Move
ty
p
e
c
onsta
n
t
check
t
o its own
fi
l
e
commit
|
commitdiff
|
tree
2019-04-16
Vassil Mladenov
Add so
m
e
basic t
e
st cas
e
s f
o
r defaults
commit
|
commitdiff
|
tree
2019-04-16
Vassil Mladenov
Support a
b
stract c
o
nst type default syntax
commit
|
commitdiff
|
tree
2019-04-13
V
a
ssil M
l
adenov
Rewr
i
te logic for
inheritance of typeconsts
i
n
t
erms
.
.
.
commit
|
commitdiff
|
tree
2019-04-12
Vassil M
l
adeno
v
T
h
read typeconst
a
bs
t
ract
inform
a
tion throug
h
t
o
decl
commit
|
commitdiff
|
tree
2019-04-12
V
a
s
s
i
l
Mla
d
enov
R
e
co
r
d type const abstract kind in Aast
commit
|
commitdiff
|
tree
2019-04-06
V
a
ssil Mladenov
Back out "Fix type inferenc
e
of new self
"
commit
|
commitdiff
|
tree
2019-04-05
Vassil Mlade
n
ov
R
e
move support for <<_
_
UNSAFE_Construct>> in the t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Va
s
s
i
l
M
ladenov
Don't drop gen
e
rics o
n
the floor when lowering sc
o
pe
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vas
s
il Mladenov
Pre
v
en
t
using <<__ConsistentCons
t
ruc
t
>> with
r
eified
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
V
a
s
s
il Mladenov
M
a
ke constructor con
s
iste
n
cy more granular, make final
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil Mladenov
Fix
type inference of new self
commit
|
commitdiff
|
tree
2019-04-03
Vassi
l
Ml
a
denov
Ban
<
<__Memoize>> o
n
func
t
i
ons an
d
method
s
t
h
at have
.
.
.
commit
|
commitdiff
|
tree
2019-04-02
Va
s
s
il Mlade
n
o
v
Fi
x
return
type check in case of ne
w
T
commit
|
commitdiff
|
tree
2019-04-01
V
a
ssil Mlade
n
ov
Im
p
ort reified generi
c
t
e
st
cases
fro
m
runtime
commit
|
commitdiff
|
tree
2019-04-01
Vassil Mladenov
Relax
restriction on wildcard t
y
pe depth
commit
|
commitdiff
|
tree
2019-03-31
Vassil
M
l
ade
n
ov
F
ix reified
w
ildcard usag
e
, harden reified
err
o
rs
commit
|
commitdiff
|
tree
2019-03-21
Vassil
M
lade
n
ov
Demote
soft
reified type parameters
commit
|
commitdiff
|
tree
2019-03-20
V
a
ssil Mladenov
D
o
n
't d
r
o
p gene
r
i
cs on the flo
o
r when l
o
w
ering s
c
ope
.
.
.
commit
|
commitdiff
|
tree
2019-03-20
Vass
i
l
M
la
d
e
n
ov
Ad
d
test
cases for extend
s
newable and
n
ew self/pa
r
e
n
t
commit
|
commitdiff
|
tree
2019-03-20
Va
s
sil Ml
a
de
n
o
v
Relax unins
t
an
t
iability error for new T
commit
|
commitdiff
|
tree
2019-03-18
V
assil Mlad
e
nov
Ban
new stat
i
c in c
l
asses that have reifi
e
d
generics
commit
|
commitdiff
|
tree
2019-03-18
Vassil
M
ladenov
Re
l
ax re
s
triction on shape keys
commit
|
commitdiff
|
tree
2019-03-17
V
assil Mladen
o
v
Don
'
t drop g
e
nerics on the
floor when l
o
wer
i
n
g
scope
.
.
.
commit
|
commitdiff
|
tree
2019-03-15
Vassil Mla
d
e
nov
Quick fix to t
e
st
commit
|
commitdiff
|
tree
2019-03-15
Vassil
M
lade
n
ov
Ban
ty
p
e
param
e
ters with ty
p
e a
r
guments in n
e
w expr
e
ssions
commit
|
commitdiff
|
tree
2019-03-08
Vassil Mladen
o
v
Turn on is/as for enfo
r
c
ea
b
l
e type constants
commit
|
commitdiff
|
tree
2019-03-08
Vassil Mladenov
Constrain types
f
o
r e
n
force
a
ble type cons
t
ants
commit
|
commitdiff
|
tree
2019-03-08
V
a
s
si
l
Mladenov
Fix in
t
eg
r
ation
t
ests for release
commit
|
commitdiff
|
tree
2019-03-07
V
a
ssil Mlad
e
nov
Con
s
t
r
u
ctor type checking for new T()
commit
|
commitdiff
|
tree
2019-03-06
Vassil Mladenov
A
dd flag to
disable __
U
NSAFE
_
Const
r
uct
commit
|
commitdiff
|
tree
2019-03-01
Vassil Ml
a
denov
A
d
d test for ex
i
sting
i
n
consist
e
nt construct behavior
commit
|
commitdiff
|
tree
2019-02-28
Va
s
s
i
l Ml
a
d
enov
Allow newable type parameters
a
s new
a
ble type arguments
commit
|
commitdiff
|
tree
2019-02-28
Vassi
l
Mladenov
Require type paramete
r
s in new T()
t
o be <<__Newable>>
commit
|
commitdiff
|
tree
2019-02-28
Vassil Mladenov
Add log
i
c for type par
a
ms marked with _
_
Newa
b
le
commit
|
commitdiff
|
tree
2019-02-23
V
assil Mladenov
Add is/a
s
suppo
r
t for en
f
orceable t
y
p
e
para
m
eters
commit
|
commitdiff
|
tree
2019-02-22
Vassil
M
l
ade
n
o
v
Name types f
r
o
m
t
yp
e
parameters fi
r
st, querying the
.
.
.
commit
|
commitdiff
|
tree
2019-02-19
Vassil Mladeno
v
Relax
na
m
ing re
s
trictio
n
on reified generics
commit
|
commitdiff
|
tree
2019-02-17
Vas
s
il Mladenov
Check type arg
u
m
e
nts to en
f
orcea
b
le type parameter
s
commit
|
commitdiff
|
tree
2019-02-16
Vassil Mladenov
Allow reified ty
p
e
argu
m
ents
that
a
r
e not wildcards
.
.
.
commit
|
commitdiff
|
tree
2019-02-15
Vass
i
l
M
l
a
denov
Drop reify at c
a
llsi
t
es in the typech
e
cker
commit
|
commitdiff
|
tree
2019-02-14
Vas
s
il Mladeno
v
Relax restriction on is
/
as with
type c
o
nsts
commit
|
commitdiff
|
tree
2019-02-12
Vass
i
l Mladen
o
v
Gate t
y
pe param name con
f
lic
t
e
r
ror behind
experimental
.
.
.
commit
|
commitdiff
|
tree
2019-02-07
Vassil Mladenov
Ban this::
in is/as
commit
|
commitdiff
|
tree
2019-02-04
Vassil Mladenov
N
ame
a
n
d t
y
p
e che
c
k at
t
ri
b
utes on
t
y
pe constants
commit
|
commitdiff
|
tree
2019-02-04
Vas
s
il M
l
adenov
Parse attribute
s
on type co
n
sts
commit
|
commitdiff
|
tree
2019-02-02
Vassil Mladenov
Emit e
r
ror when t
y
pe para
m
declaration shad
o
ws global
.
.
.
commit
|
commitdiff
|
tree
next