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
Fix regression on defaults for abstract type constants
2019-06-21
Vassil Ml
a
d
e
nov
Fix regres
s
ion on defaul
t
s for abstract ty
p
e co
n
st
a
nts
commit
|
commitdiff
|
tree
2019-06-19
Vassil M
l
a
d
enov
Add
s
wi
t
ch t
o
disable pa
r
tially abstra
c
t type
c
onstant
s
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mla
d
enov
Add coerci
o
n f
o
r static methods accessed via parent:
:
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
A
d
d
coercion for st
a
tic m
e
thods
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladeno
v
Fix decl i
n
heritance of abstr
a
c
t
typ
e
c
onstant with
.
.
.
commit
|
commitdiff
|
tree
2019-06-19
V
assil
Mla
d
enov
Add
c
oercion for
s
t
atic properties
commit
|
commitdiff
|
tree
2019-06-18
Vassil Mladenov
Refact
o
r dispatc
h
_
c
all
i
n
typ
i
ng
commit
|
commitdiff
|
tree
2019-06-18
Vassil Mladenov
Move a
b
s
t
ract parent c
h
eck to Ta
s
t
check
commit
|
commitdiff
|
tree
2019-06-17
Vassil Mladeno
v
Add coercion for parent:
:
calls
t
o instan
c
e met
h
ods
commit
|
commitdiff
|
tree
2019-06-17
Vassil Mladenov
Add coercio
n
for constructors
commit
|
commitdiff
|
tree
2019-06-15
Vassil Mladenov
Do
n
't l
o
se
a
rg
u
ments
t
o
parent::
m
ethod calls
commit
|
commitdiff
|
tree
2019-06-13
Vassil M
l
adenov
Move stati
c
method ca
l
l
c
he
c
k
s out of typing
.
ml
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladeno
v
Ad
d
coerci
o
n to
m
ethod paramete
r
types
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Add
c
oercion to p
r
o
p
erty types
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Al
l
o
w
coercio
n
in function par
a
me
t
ers
commit
|
commitdiff
|
tree
2019-06-12
Va
s
sil Mladenov
Do no
t
have shadowing error
for re
i
f
i
e
d
type
parameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-12
Vas
s
i
l Mlad
e
nov
Ban
s
ome reified type ar
g
uments
commit
|
commitdiff
|
tree
2019-06-12
Vassil
Mladenov
Clean up logic
that governs valid re
i
fied a
r
guments
commit
|
commitdiff
|
tree
2019-06-12
Vassil
M
la
d
enov
B
a
ck out "[
e
a
sy] Do n
o
t
have shadow
i
ng error for reified
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
V
assil
Mlad
e
nov
D
o no
t
ha
v
e sh
a
dowing error
f
o
r
r
e
i
fied type para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vassil Mlad
e
n
ov
Update ge
n
va tests
commit
|
commitdiff
|
tree
2019-06-11
Vas
s
il Mlade
n
ov
Al
l
ow co
e
rcion fr
o
m li
k
e
type
s
commit
|
commitdiff
|
tree
2019-06-11
Vas
s
il
M
l
a
d
eno
v
Add coercion dynamic ~> T
w
hen T is en
f
o
rcea
b
le
commit
|
commitdiff
|
tree
2019-06-10
V
assil
M
ladenov
Add
d
ecl type coercion target from
r
eturn po
s
itions
commit
|
commitdiff
|
tree
2019-06-10
Vassil Mlad
e
nov
Fix hhconfi
g
opt for pessimi
z
e_
t
ypes
commit
|
commitdiff
|
tree
2019-06-09
V
a
ssil Mladenov
In
t
roduc
e
E
xpectedTy module, refactor typing to us
e
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil Mladenov
Fl
i
p some tests to
u
se
the <?hh heade
r
i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil Mla
d
enov
Ban reified
g
enerics o
n
function
s
or methods t
h
at take
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mla
d
eno
v
Always a
u
toi
m
port
in
the emitter
commit
|
commitdiff
|
tree
2019-06-06
V
assil Mladenov
R
emove
is_h
h
_syntax_
e
n
a
bled
a
nd is_hh_
f
ile_
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Emit
i
nout wrapper func
t
i
o
ns
in php
f
iles
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Emit is f
o
r is_*
special functions
i
n PHP
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Chec
k
PHP cla
s
s name
s
in the glob
a
l nam
e
space
against
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
V
a
ss
i
l
Mladenov
Emit in
v
a
riant fu
n
ction
i
n PHP
f
iles
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlade
n
ov
Inli
n
e
gen f
u
nctions in PHP
files
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlade
n
o
v
Always emit t
h
e HH
T
ype constraint for simp
l
e
types
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mladenov
Do not e
m
it explicit type co
n
straints for mixed and
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladeno
v
Do not
a
lways em
i
t n
u
lla
b
le fo
r
param type hints in
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Unify p
a
rameter default c
h
e
cking
b
etween PHP
a
nd Hack
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
A
l
low tuple() to cre
a
t
e varrays
in
P
HP files
commit
|
commitdiff
|
tree
2019-06-06
Vassil M
l
adenov
Al
w
ays em
i
t x
h
p a
t
tributes as H
a
c
k
hints
commit
|
commitdiff
|
tree
2019-06-06
Vassil M
l
adenov
Remove is_hh
_
file from jump_targets
commit
|
commitdiff
|
tree
2019-06-06
Vassil M
l
ade
n
ov
Allow jumps into switch in PHP files
commit
|
commitdiff
|
tree
2019-06-06
V
as
s
il
Mladenov
Allo
w
j
u
mp
t
o
while
l
oops/using in P
H
P files
commit
|
commitdiff
|
tree
2019-06-06
Vas
s
il Mladen
o
v
Remove is
_
hh_file gating from autoimport beh
a
vior
commit
|
commitdiff
|
tree
2019-06-04
Vassil
Mladenov
R
e
mov
e
is_hh_
f
ile switch from markup lowering
commit
|
commitdiff
|
tree
2019-06-04
Va
s
sil Ml
a
d
e
nov
Remove is_hh_file
switch from col
l
ection expressions
commit
|
commitdiff
|
tree
2019-05-30
Vassil Mladeno
v
Remove the Awaitable
w
rapping of empty return
commit
|
commitdiff
|
tree
2019-05-30
Vassil Mlade
n
ov
Re
m
o
ve Awaitabl
e
coercion rule,
u
n
w
r
a
p Awaitable coerced
.
.
.
commit
|
commitdiff
|
tree
2019-05-30
Vassil M
l
adenov
Simplify
coercion
a
nd make it
m
a
tch the ty
p
ing
r
ules
commit
|
commitdiff
|
tree
2019-05-28
Vassil Mla
d
enov
Refactor `ex
p
ected
`
function argument in typing
f
uncti
o
ns
commit
|
commitdiff
|
tree
2019-05-24
Vassil M
l
a
denov
M
a
k
e
declar
e
d function
r
eturn type i
n
formation av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2019-05-23
Vas
s
il Mladenov
A
l
low
<<__AtMos
t
R
x
As
F
unc>> to be
u
sed
w
i
th like
fun
c
tio
n
s
commit
|
commitdiff
|
tree
2019-05-21
V
assil Mlade
n
ov
Carry async informati
o
n into heap
commit
|
commitdiff
|
tree
2019-05-21
V
a
ssil
Mladenov
A
d
d fla
g
to pess
i
mize lik
e
types
commit
|
commitdiff
|
tree
2019-05-17
V
as
s
il Mladenov
Add an interface
for
T
ypi
n
g_phase
commit
|
commitdiff
|
tree
2019-05-16
Vassil Mladen
o
v
Print l
i
ke
types
commit
|
commitdiff
|
tree
2019-05-14
Va
s
sil Mladenov
Fix typechecker tests
commit
|
commitdiff
|
tree
2019-05-10
Vass
i
l
Mladen
o
v
Fix decl inher
i
tance of abstract type cons
t
an
t
w
ith
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
Vass
i
l Mladenov
Fix
s
y
nthetic consts in new decl
commit
|
commitdiff
|
tree
2019-05-07
Vass
i
l M
l
ad
e
n
o
v
Syn
t
hesize concrete
t
y
pe constant
s
in new de
c
l
commit
|
commitdiff
|
tree
2019-05-04
Vassil Mla
d
enov
Fix tests
for
r
elease
commit
|
commitdiff
|
tree
2019-05-02
Vas
s
il Mladen
o
v
Change like types
t
o use an hh_single_type_check flag
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Vas
s
il Mla
d
enov
Fix tast_typecheck tests
commit
|
commitdiff
|
tree
2019-04-30
Vassil
Mlad
e
nov
F
ix synthe
t
i
c cons
t
s in legacy
d
ecl
commit
|
commitdiff
|
tree
2019-04-30
Vassil Ml
a
de
n
o
v
S
y
nthesize concre
t
e type c
o
nst
a
nts
f
r
o
m
d
efaul
t
s, fix
.
.
.
commit
|
commitdiff
|
tree
2019-04-24
Vassil Mladenov
Kill
th
e
<> o
p
erator
commit
|
commitdiff
|
tree
2019-04-24
Vassil Mladenov
Add like-types tests
for t
y
pe alia
s
es
commit
|
commitdiff
|
tree
2019-04-20
Vassil Mladenov
F
ix printi
n
g of type constants
commit
|
commitdiff
|
tree
2019-04-20
V
as
s
il Mladeno
v
P
r
o
p
erly handle
d
efaults in typing h
e
a
p
commit
|
commitdiff
|
tree
2019-04-16
V
assil Mlad
e
nov
M
ove type constant check to
i
ts own f
i
le
commit
|
commitdiff
|
tree
2019-04-16
V
assil Mlade
n
ov
Add some
b
asic test cases
for defa
u
lts
commit
|
commitdiff
|
tree
2019-04-16
V
a
ssi
l
Mlade
n
o
v
Support ab
s
t
r
act const type default syntax
commit
|
commitdiff
|
tree
2019-04-13
Vas
s
il Mladenov
Rewrite log
i
c
f
or inh
e
r
itance of type
c
onsts i
n
te
r
ms
.
.
.
commit
|
commitdiff
|
tree
2019-04-12
Vassil Mladenov
T
h
read typeconst
ab
s
tract
i
nfor
m
a
tion th
r
ough to d
e
cl
commit
|
commitdiff
|
tree
2019-04-12
Vassil M
l
adenov
Record type con
s
t abstract kind
in Aast
commit
|
commitdiff
|
tree
2019-04-06
Va
s
sil Mlade
n
ov
Back out "F
i
x t
y
pe inference
o
f new self"
commit
|
commitdiff
|
tree
2019-04-05
Vassil
Mladenov
Remov
e
support
f
or
<<__UNSAFE_Constru
c
t>>
i
n the
t
ype
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil Mladenov
Don't drop generics on
t
he floor wh
e
n lowering scope
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil Mladenov
Prevent us
i
ng <<
_
_
ConsistentC
o
n
str
u
ct>> with
r
eified
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil Mlad
e
nov
Make
constructor co
n
si
s
tency more
granu
l
ar, make
final
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
Vassil Mladenov
F
i
x
type in
f
erenc
e
of ne
w
self
commit
|
commitdiff
|
tree
2019-04-03
Vassi
l
Mladenov
Ban <<
_
_Memoi
z
e>> on f
u
nctions and methods
that have
.
.
.
commit
|
commitdiff
|
tree
2019-04-02
Vassil Mladen
o
v
Fix return type
chec
k
in
case of ne
w
T
commit
|
commitdiff
|
tree
2019-04-01
V
a
ssil
M
ladenov
Import rei
f
ied
g
eneric test cas
e
s from
runti
m
e
commit
|
commitdiff
|
tree
2019-04-01
V
a
s
sil Ml
a
d
e
nov
Rel
a
x r
e
str
i
c
t
i
on
on wildcard ty
p
e
d
epth
commit
|
commitdiff
|
tree
2019-03-31
Vassil M
l
a
d
e
n
o
v
Fix reif
i
ed wildcard usage, harden reifie
d
errors
commit
|
commitdiff
|
tree
2019-03-21
Vassil Mladenov
D
e
mo
t
e
s
o
ft
reified type paramete
r
s
commit
|
commitdiff
|
tree
2019-03-20
Vassil
M
ladenov
Don
'
t
d
rop ge
n
e
rics on the flo
o
r when lowering scop
e
.
.
.
commit
|
commitdiff
|
tree
2019-03-20
Vassil Ml
a
denov
A
dd test cases for ex
t
e
n
ds newa
b
le and new self
/
p
ar
e
nt
commit
|
commitdiff
|
tree
2019-03-20
Vassil Mladenov
R
elax
u
ninsta
n
ti
a
bil
i
ty e
r
r
o
r for
ne
w
T
commit
|
commitdiff
|
tree
2019-03-18
Vassil
M
la
d
enov
B
a
n
n
ew static in c
l
a
sses th
a
t have
reified ge
n
eri
c
s
commit
|
commitdiff
|
tree
2019-03-18
Vassil Mladenov
Rel
a
x
r
es
t
rictio
n
o
n shape keys
commit
|
commitdiff
|
tree
2019-03-17
Vassil Mladenov
Don't drop generics on t
h
e floo
r
when
l
owerin
g
scope
.
.
.
commit
|
commitdiff
|
tree
2019-03-15
V
a
ssil
Ml
a
denov
Quick
f
ix
t
o
t
es
t
commit
|
commitdiff
|
tree
2019-03-15
Vassil Mlad
e
n
o
v
Ban type
paramet
e
rs w
i
th type
a
rguments in n
e
w expressions
commit
|
commitdiff
|
tree
2019-03-08
Vassil Mla
d
eno
v
Turn on is/as for enforceable type constant
s
commit
|
commitdiff
|
tree
2019-03-08
Vassil Mladenov
Constrain t
y
pes
f
or enforceable typ
e
co
n
stants
commit
|
commitdiff
|
tree
2019-03-08
Vassil Mladenov
Fix integration tests for re
l
ease
commit
|
commitdiff
|
tree
2019-03-07
Vas
s
il
Mladenov
Constructor type c
h
ecki
n
g fo
r
new T()
commit
|
commitdiff
|
tree
next