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
Vass
i
l Mladenov
Clean up log
i
c that governs valid reified argume
n
ts
commit
|
commitdiff
|
tree
2019-06-12
Vassi
l
Mladenov
Back out "
[
easy] Do
n
ot
have s
h
adowing
e
r
ror for
r
e
ifie
d
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil
Ml
a
d
e
n
ov
D
o not hav
e
shad
o
wing er
r
or f
o
r reified typ
e
parameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladen
o
v
Up
d
at
e
genva t
e
s
t
s
commit
|
commitdiff
|
tree
2019-06-11
Vassil
Mladeno
v
Allow co
e
rci
o
n from l
i
ke types
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mladen
o
v
Add coercion
dynamic ~>
T w
h
en T
i
s enforceable
commit
|
commitdiff
|
tree
2019-06-10
Vassi
l
Mladen
o
v
Add decl typ
e
coer
c
ion ta
r
get from re
t
urn posi
t
ions
commit
|
commitdiff
|
tree
2019-06-10
V
a
ssil
Mladenov
Fix hhconfig o
p
t for
p
essimize_typ
e
s
commit
|
commitdiff
|
tree
2019-06-09
Vassil Mladenov
Int
r
oduce E
x
pected
T
y
modu
l
e, refactor typ
i
ng
to
u
se
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vass
i
l Mladeno
v
Flip som
e
t
e
st
s
to use the <?hh header
inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil Mla
d
enov
Ban
r
eified generics on funct
i
ons or methods
that
t
a
ke
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
V
ass
i
l Mladenov
Always autoimpo
r
t in the emitter
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Remove is_hh_syntax
_
enabled a
n
d
i
s_hh
_
file_
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Emit in
o
ut wrappe
r
functions
in
p
hp files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
no
v
Emit is for is_
*
s
p
ec
i
al f
u
nctions in PHP
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Che
c
k PHP class names in the
global namespace a
g
ai
n
st
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Va
s
sil Mladenov
Emit
i
nvariant func
t
i
on
i
n
PHP fi
l
es
commit
|
commitdiff
|
tree
2019-06-06
Vassil
M
ladenov
Inline
g
en functions in
P
H
P files
commit
|
commitdiff
|
tree
2019-06-06
Vassi
l
Mla
d
e
n
o
v
A
lways emit the HHType const
r
aint
for simple
t
ypes
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
V
a
ssil Mlad
e
nov
Do not
emit
explicit ty
p
e constr
a
ints
for mixed and
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Do not always emit nullable for param type hints in
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Unif
y
param
e
ter default ch
e
ckin
g
between PHP and H
a
ck
commit
|
commitdiff
|
tree
2019-06-06
V
a
ssil Mladenov
Allow tuple() to create varrays in PHP
files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
A
lways emit xhp attr
i
butes as
Hack hin
t
s
commit
|
commitdiff
|
tree
2019-06-06
V
assil Mlad
e
nov
Rem
o
ve is_hh_file fr
o
m jump_targ
e
ts
commit
|
commitdiff
|
tree
2019-06-06
Vassil
M
ladenov
A
ll
o
w jumps into switch i
n
P
H
P file
s
commit
|
commitdiff
|
tree
2019-06-06
Va
s
s
il
Mladenov
Allow jump to whi
l
e loops
/
u
s
ing in PHP f
i
les
commit
|
commitdiff
|
tree
2019-06-06
Vas
s
il
Mla
d
e
n
ov
Re
m
o
v
e
is
_
hh_fi
l
e gat
i
ng
f
rom a
u
toi
m
p
o
rt behavio
r
commit
|
commitdiff
|
tree
2019-06-04
Va
s
sil M
l
adeno
v
Remove i
s
_h
h
_file switch fro
m
markup lowering
commit
|
commitdiff
|
tree
2019-06-04
Vassil M
l
adenov
Re
m
ove is_hh_file switch fr
o
m colle
c
t
ion expressions
commit
|
commitdiff
|
tree
2019-05-30
Va
s
sil Mladenov
Remov
e
the
A
waitabl
e
wrap
p
ing of e
m
pty
return
commit
|
commitdiff
|
tree
2019-05-30
Vassi
l
Mladenov
R
emove A
w
a
itable
coercion rule, unwrap Awaitable coerced
.
.
.
commit
|
commitdiff
|
tree
2019-05-30
V
assil
M
ladenov
Sim
p
l
ify c
o
ercion and
m
ake
it match the typing rules
commit
|
commitdiff
|
tree
2019-05-28
Vass
i
l
Mlade
n
ov
Refacto
r
`exp
e
cted` function argumen
t
i
n typing
f
uncti
o
ns
commit
|
commitdiff
|
tree
2019-05-24
Vassil Mladenov
M
ake d
e
clared fu
n
ction r
e
turn typ
e
inform
a
tion av
a
i
l
able
.
.
.
commit
|
commitdiff
|
tree
2019-05-23
V
assil M
l
adenov
Allow <<__AtMost
R
xAsFu
n
c>> to be
u
sed
w
ith
l
i
ke fun
c
tions
commit
|
commitdiff
|
tree
2019-05-21
Vassi
l
Mlad
e
nov
Ca
r
ry
a
syn
c
inf
o
rmat
i
on into he
a
p
commit
|
commitdiff
|
tree
2019-05-21
Vassil Mladenov
A
d
d
flag t
o
pessimize like typ
e
s
commit
|
commitdiff
|
tree
2019-05-17
Vass
i
l
Mladenov
Add
a
n
i
n
terface for Typing
_
phase
commit
|
commitdiff
|
tree
2019-05-16
Vassil Mladeno
v
Print like types
commit
|
commitdiff
|
tree
2019-05-14
Vassil
M
laden
o
v
F
ix typech
e
cker
t
es
t
s
commit
|
commitdiff
|
tree
2019-05-10
Vassil Mladenov
Fi
x
d
e
cl inheri
t
a
n
ce of abstr
a
ct typ
e
con
s
tant with
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
Vassi
l
Mladenov
Fix
synthetic
co
n
sts in
new decl
commit
|
commitdiff
|
tree
2019-05-07
V
a
s
sil Mladenov
Synthesize
concrete t
y
pe constants
in
ne
w
de
c
l
commit
|
commitdiff
|
tree
2019-05-04
Vassil
M
lad
e
nov
Fix t
e
sts for
r
elease
commit
|
commitdiff
|
tree
2019-05-02
Vassil Mladenov
Chang
e
like types
t
o use an hh_single_type_c
h
eck flag
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Vassil Mla
d
enov
Fix tast_t
y
pe
c
heck
tests
commit
|
commitdiff
|
tree
2019-04-30
Vassil Mladenov
Fi
x
synthetic consts in legacy dec
l
commit
|
commitdiff
|
tree
2019-04-30
Vassil Mlad
e
nov
Syn
t
he
s
ize concr
e
te
t
yp
e
con
s
tants from defaul
t
s, fix
.
.
.
commit
|
commitdiff
|
tree
2019-04-24
Vassil Mladenov
Ki
l
l the <> operat
o
r
commit
|
commitdiff
|
tree
2019-04-24
Va
s
sil Mladen
o
v
Add like-types tests fo
r
t
y
pe al
i
a
s
e
s
commit
|
commitdiff
|
tree
2019-04-20
Vassil Mla
d
enov
Fix printing of
type constants
commit
|
commitdiff
|
tree
2019-04-20
Vassil M
l
adenov
Pr
o
perly handle
defaults in typing heap
commit
|
commitdiff
|
tree
2019-04-16
V
a
ssi
l
Mladenov
Move t
y
pe constant check to it
s
o
wn file
commit
|
commitdiff
|
tree
2019-04-16
V
assil Mlad
e
nov
Add some basic test c
a
ses f
o
r defaults
commit
|
commitdiff
|
tree
2019-04-16
Vassil Mladenov
Support abstract con
s
t type default syntax
commit
|
commitdiff
|
tree
2019-04-13
V
a
ssil Mladenov
R
e
writ
e
lo
g
i
c f
o
r inhe
r
itance
of ty
p
econ
s
ts
i
n
t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2019-04-12
Vassil M
l
a
d
enov
Thread type
c
onst abstract
info
r
mat
i
on through
to
d
ecl
commit
|
commitdiff
|
tree
2019-04-12
Vassil Mladenov
Recor
d
t
yp
e
cons
t
abstract kind in Aast
commit
|
commitdiff
|
tree
2019-04-06
Vassil Mladenov
Back out "Fix type i
n
f
e
r
e
nce of n
e
w
s
elf
"
commit
|
commitdiff
|
tree
2019-04-05
Va
s
sil Mladenov
Remove sup
p
ort for
<
<__UNSAFE_Cons
t
ruct
>
> in
the
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
V
a
ssil
M
ladenov
Don't drop
generics on the floor
w
h
e
n
lowering
sc
o
pe
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Va
s
sil Mladenov
Prevent using <
<
_
_ConsistentConstruct>> wit
h
reified
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vass
i
l Ml
a
d
e
nov
Make con
s
t
r
uc
t
or consistency more gran
u
lar, mak
e
fi
n
al
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
V
a
s
sil
Mla
d
eno
v
Fix type
i
nference
o
f ne
w
self
commit
|
commitdiff
|
tree
2019-04-03
Vassil Ml
a
de
n
ov
Ba
n
<<_
_
M
em
o
i
z
e
>> on functions and met
h
ods t
h
a
t h
a
ve
.
.
.
commit
|
commitdiff
|
tree
2019-04-02
Vassil Ml
a
deno
v
Fix
return typ
e
c
heck in case of new T
commit
|
commitdiff
|
tree
2019-04-01
Va
s
sil Mladenov
Import reif
i
ed gen
e
ri
c
test c
a
ses from runtime
commit
|
commitdiff
|
tree
2019-04-01
Vassil
M
ladenov
R
e
lax r
e
strictio
n
on
wi
l
d
c
ard type depth
commit
|
commitdiff
|
tree
2019-03-31
Vassil Ml
a
d
en
o
v
F
i
x reifi
e
d wildcard us
a
ge, harden re
i
fied
err
o
rs
commit
|
commitdiff
|
tree
2019-03-21
Vassil M
l
ad
e
n
ov
Demote
soft reified type param
e
ters
commit
|
commitdiff
|
tree
2019-03-20
Vassil Mla
d
en
o
v
Don't drop generics o
n
t
h
e floor whe
n
lowerin
g
s
c
op
e
.
.
.
commit
|
commitdiff
|
tree
2019-03-20
Vassil Mlad
e
n
o
v
A
dd test
c
a
ses fo
r
extends ne
w
able an
d
n
ew self/pare
n
t
commit
|
commitdiff
|
tree
2019-03-20
Vassil Mla
d
eno
v
Re
l
ax u
n
instantiability error for
n
ew T
commit
|
commitdiff
|
tree
2019-03-18
Vassil Mladen
o
v
Ban new s
t
atic in
c
lass
e
s that h
a
ve rei
f
i
ed g
e
neri
c
s
commit
|
commitdiff
|
tree
2019-03-18
V
assil Mlade
n
ov
Rel
a
x
restriction on shape keys
commit
|
commitdiff
|
tree
2019-03-17
Va
s
s
i
l Mla
d
enov
Don't drop ge
n
e
rics on the f
l
oor when low
e
ring scope
.
.
.
commit
|
commitdiff
|
tree
2019-03-15
Vassil Mla
d
enov
Q
uic
k
fix to test
commit
|
commitdiff
|
tree
2019-03-15
V
ass
i
l Mladenov
Ban type parameters w
i
th
t
ype a
r
gume
n
ts
in new
ex
p
ressions
commit
|
commitdiff
|
tree
2019-03-08
V
a
ssil Mladenov
Turn on
is
/
as for enfor
c
eab
l
e
t
ype c
o
n
stants
commit
|
commitdiff
|
tree
2019-03-08
Vassil Mladen
o
v
C
o
nstrai
n
types for
enforceab
l
e type co
n
s
tants
commit
|
commitdiff
|
tree
2019-03-08
Vass
i
l Mladenov
Fix integration tests fo
r
r
elease
commit
|
commitdiff
|
tree
2019-03-07
Vassil
Mladenov
Con
s
tructor type
c
hecking for new T
(
)
commit
|
commitdiff
|
tree
2019-03-06
Vassil Mladeno
v
Add f
l
ag to disab
l
e __UNS
A
FE_Co
n
struct
commit
|
commitdiff
|
tree
2019-03-01
V
a
ssil Mladenov
Add te
s
t
f
or existing inconsistent construc
t
behavior
commit
|
commitdiff
|
tree
2019-02-28
Vas
s
il Mlade
n
ov
A
llow newable type parameters as
n
ewable
t
ype arguments
commit
|
commitdiff
|
tree
2019-02-28
Vassil Mlad
e
nov
Re
q
uire
type para
m
et
e
rs in new T() to be <<
_
_Newable>>
commit
|
commitdiff
|
tree
2019-02-28
Vassil Mladenov
A
dd l
o
gic for type params mar
k
ed with
_
_
N
ewable
commit
|
commitdiff
|
tree
2019-02-23
Vassi
l
Ml
a
denov
Add is/as sup
p
o
rt fo
r
enfo
r
ceable type
pa
r
a
m
eters
commit
|
commitdiff
|
tree
2019-02-22
Vass
i
l Mladenov
Na
m
e types from type
p
arameters first, quer
y
ing the
.
.
.
commit
|
commitdiff
|
tree
2019-02-19
Va
s
sil Mladenov
Relax naming restri
c
tion on re
i
fied generics
commit
|
commitdiff
|
tree
2019-02-17
Vassil Mladenov
Chec
k
t
y
pe
a
rguments
t
o
e
nforceable type parameters
commit
|
commitdiff
|
tree
2019-02-16
Vassil M
l
a
denov
A
l
low reifie
d
ty
p
e arguments
tha
t
are n
o
t wildcards
.
.
.
commit
|
commitdiff
|
tree
2019-02-15
Vassil Mladen
o
v
D
r
o
p
rei
f
y at
c
allsites
i
n the typechecker
commit
|
commitdiff
|
tree
2019-02-14
Vassil Mladenov
Relax restriction on is/as with type consts
commit
|
commitdiff
|
tree
2019-02-12
Vass
i
l M
l
adeno
v
Gate type par
a
m nam
e
c
o
nf
l
ict error be
h
ind
e
x
perimental
.
.
.
commit
|
commitdiff
|
tree
2019-02-07
V
a
ssil Mladenov
Ban this::
in is/as
commit
|
commitdiff
|
tree
2019-02-04
Vas
s
il Ml
a
denov
N
ame an
d
type check attribu
t
es o
n
type constants
commit
|
commitdiff
|
tree
2019-02-04
Vassi
l
Mlad
e
n
ov
Parse attr
i
but
e
s on type
cons
t
s
commit
|
commitdiff
|
tree
2019-02-02
Vassil Mla
d
e
n
ov
Em
i
t err
o
r when ty
p
e param decl
a
ration shadows glo
b
al
.
.
.
commit
|
commitdiff
|
tree
next