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
migrate ext_icu_collator to use inout parameters instead of references
2019-09-27
Vassil Mlade
n
ov
Remo
v
e the
b
r
a
nch wh
e
re we sho
r
tcut Tapply localization
.
.
.
commit
|
commitdiff
|
tree
2019-09-25
Vass
i
l Mladenov
Remove
l
ik
e
casts w
h
en usi
n
g
t
h
e alia
s
commit
|
commitdiff
|
tree
2019-09-19
V
a
ssil Mladenov
Al
l
o
w
coercion to arrayk
e
y
for d
i
ctionar
y
key constru
c
t
ion
commit
|
commitdiff
|
tree
2019-09-18
V
a
ssil
Mladen
o
v
C
r
eate HH\INCORRECT
_
TYPE<
T
> alias for lik
e
casts
commit
|
commitdiff
|
tree
2019-09-17
V
a
s
s
il Mladenov
Enable coerci
o
n to const t
y
p
es, pessimize property
.
.
.
commit
|
commitdiff
|
tree
2019-09-13
V
a
ssil Mla
d
enov
R
emove en
f
orceability
judg
e
ment
f
rom loca
l
izati
o
n
commit
|
commitdiff
|
tree
2019-09-13
Vassil Mladen
o
v
Enable
c
oercion to default parameter types
commit
|
commitdiff
|
tree
2019-09-13
Vassil Ml
a
d
enov
Do not i
n
tersect for dynamic a
n
d like cast
s
commit
|
commitdiff
|
tree
2019-09-12
Vassil Mla
d
enov
Separat
e
gati
n
g between
like casts and like type hints
commit
|
commitdiff
|
tree
2019-09-10
Vassil
M
ladenov
Allow like ca
s
ts
i
n the typechecker
commit
|
commitdiff
|
tree
2019-09-10
Vas
s
i
l Mladeno
v
Inline uerror fun
c
tion into subtyp
i
ng
commit
|
commitdiff
|
tree
2019-09-10
Vas
s
il M
l
a
d
e
n
ov
Add one more fl
a
g to gate
union
c
oercion
commit
|
commitdiff
|
tree
2019-09-09
Vassil Mladenov
Make
like casts no-ops in constant
i
nitiali
z
ers
a
nd
.
.
.
commit
|
commitdiff
|
tree
2019-09-05
Vassil Mla
d
enov
Sep
a
rate compl
e
x coercion rul
e
s
from dynamic ~> enforceable T
commit
|
commitdiff
|
tree
2019-09-04
Vassil Mladenov
Pessimize soft ty
p
e
hints
commit
|
commitdiff
|
tree
2019-09-04
Vassil Mlade
n
o
v
C
l
ean
up coercion
commit
|
commitdiff
|
tree
2019-09-04
Vassil Mladenov
Rem
o
v
e
coerci
o
n to ?d
y
namic
commit
|
commitdiff
|
tree
2019-08-30
Vassil Mladenov
Remove Tast_env
.
can_
c
oerce in fa
v
o
r
of
t
ry_c
o
erce
commit
|
commitdiff
|
tree
2019-08-30
Vassil Mlad
e
nov
M
a
ke typeche
c
k
_
like_t
y
pe
s
use simple
p
e
ssimizati
o
n
commit
|
commitdiff
|
tree
2019-08-29
Vassil Mlade
n
ov
Properly pess
i
mize the argument type of Shap
e
s::
f
unctions
commit
|
commitdiff
|
tree
2019-08-29
Vassi
l
Mla
d
enov
Fix gating
f
or
simple
p
essim
i
z
a
tion
commit
|
commitdiff
|
tree
2019-08-29
Va
s
sil Mladeno
v
F
ix
p
essimiz
a
tion
a
s
ync functi
o
ns that return Aw
a
itabl
e
commit
|
commitdiff
|
tree
2019-08-28
Vassil Mladenov
P
essimiz
e
xhp at
t
rib
u
tes
commit
|
commitdiff
|
tree
2019-08-28
Vas
s
il M
l
a
denov
Pess
i
m
ize
m
e
thods
commit
|
commitdiff
|
tree
2019-08-23
Vassil Ml
a
den
o
v
Pessimize c
a
lls t
o
HHI
f
unctions,
prevent coercion
commit
|
commitdiff
|
tree
2019-08-20
Vassil Mladenov
Pessimize g
e
t
a
nd se
t
on
o
bject and class properties
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mladenov
Implement
simple pessimization for fun
c
tion calls
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mladenov
Sta
n
dardize 2 spac
e
s and trai
l
ing newline for new Hack
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mla
d
eno
v
Don't
sort typ
e
variables in list destructuring subtyping
commit
|
commitdiff
|
tree
2019-08-19
Vassil Mladenov
Dis
a
ble typ
e
check_like_types
commit
|
commitdiff
|
tree
2019-08-17
Vass
i
l Mlade
n
ov
F
i
x tru
s
t for i
n
ner function types
commit
|
commitdiff
|
tree
2019-08-17
Vassil Mladenov
Fix ty_com
p
are for
T
d
estruct
u
re
commit
|
commitdiff
|
tree
2019-08-16
Va
s
sil Mladenov
Follow
t
ransparent
t
ype aliases for
e
nfor
c
eability
.
.
.
commit
|
commitdiff
|
tree
2019-08-15
Vass
i
l Mladenov
Implement
b
asic simpl
e
pessimization
commit
|
commitdiff
|
tree
2019-08-15
V
a
ssil Mladenov
Rename variab
l
es
in
cl
a
ss_
g
et
f
or clarit
y
commit
|
commitdiff
|
tree
2019-08-13
Vass
i
l
M
l
a
d
en
o
v
Add flag for a
l
ternate pessimization al
g
orithm
commit
|
commitdiff
|
tree
2019-08-13
Vas
s
il M
l
a
denov
Flip on coercion_
f
rom_dynamic for typecheck targets
commit
|
commitdiff
|
tree
2019-08-13
Vass
i
l
Mla
d
enov
Remove coe
r
cion
f
ro
m
generi
c
s to enforceab
l
e types
commit
|
commitdiff
|
tree
2019-08-12
Vassil Mladenov
Make coe
r
cion re
p
ort
t
he ori
g
inal subty
p
i
ng e
r
ror
commit
|
commitdiff
|
tree
2019-08-08
Vassil Mla
d
e
n
ov
Refactor
T
yping_phase
.
local
i
ze_g
e
neric_parameters_with_bound
.
.
.
commit
|
commitdiff
|
tree
2019-08-08
Vass
i
l Mladenov
Support d
y
namic t
y
pe in reactiv
i
ty checks
f
o
r
c
ollecti
o
n
s
commit
|
commitdiff
|
tree
2019-08-07
Vassil Mladen
o
v
Strip like t
y
pe for
l
ambda in
f
erence
commit
|
commitdiff
|
tree
2019-08-06
Vassil Ml
a
de
n
ov
Fix invariant wit
h
like t
y
p
es
commit
|
commitdiff
|
tree
2019-08-02
Va
s
sil
M
ladenov
Fix
ban on usi
n
g reified gener
i
cs
in static meth
o
d
commit
|
commitdiff
|
tree
2019-08-02
Vassil Mladenov
Ban acce
s
sing
static p
r
operties on
r
eifie
d
generic
s
commit
|
commitdiff
|
tree
2019-07-29
Vassil M
l
adenov
Do not pessimize Tany
a
nd
T
e
rr
commit
|
commitdiff
|
tree
2019-07-25
V
assi
l
Mladenov
Fix positions, begin cl
e
a
n
up of coercion
commit
|
commitdiff
|
tree
2019-07-24
Vassil M
l
a
d
enov
Add dune typ
e
check_like_
t
ypes te
s
t
commit
|
commitdiff
|
tree
2019-07-23
Vassil Mlad
e
nov
R
emove
.
like_types
.
exp
f
o
r deleted
t
ests
commit
|
commitdiff
|
tree
2019-07-23
V
a
s
s
il Ml
a
denov
Fix typecheck_like_types
commit
|
commitdiff
|
tree
2019-07-22
Vassil Mladenov
A
dd typecheck_lik
e
_types
t
ar
g
et
commit
|
commitdiff
|
tree
2019-07-22
Vas
s
il Mla
d
eno
v
Replace
t
ype cas
e
analysis fo
r
destruc
t
uring with subtyping
commit
|
commitdiff
|
tree
2019-07-19
Vassil Mladenov
Suppo
r
t coe
r
cion from abst
r
act types to
en
f
orceable
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
V
a
ssil Ml
a
denov
Add coercion for classes
p
a
rametri
z
ed by like types
commit
|
commitdiff
|
tree
2019-06-26
Vass
i
l Mladenov
Pessimize
e
xpli
c
it fu
n
c
tion type a
r
guments
commit
|
commitdiff
|
tree
2019-06-26
Vassil Mladenov
P
e
ss
i
mize bounds on type para
m
eters w
h
e
n
s
u
bstitu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2019-06-26
V
a
ssil Mlad
e
nov
Fix await
a
b
l
e pessimization
commit
|
commitdiff
|
tree
2019-06-26
Vass
i
l Ml
a
denov
Pessimize unenfo
r
ceable type
s
at function
r
eturn boundari
e
s
commit
|
commitdiff
|
tree
2019-06-24
Vassil Mladenov
Fix
list destructuring o
f
un
i
ons
commit
|
commitdiff
|
tree
2019-06-21
V
assil M
l
adenov
Check __Enforceable
type constants for
cases th
a
t
are
.
.
.
commit
|
commitdiff
|
tree
2019-06-21
Vas
s
il
Mladeno
v
Further
r
es
t
rict abs
t
ract type
const
a
nts
with
defaults
commit
|
commitdiff
|
tree
2019-06-21
Vassil
M
ladenov
Fix
r
egre
s
sion on defaults for abstrac
t
t
y
pe constants
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
A
dd s
w
itch to di
s
able partially abstract type con
s
tant
s
commit
|
commitdiff
|
tree
2019-06-19
Vassil Mladenov
Add coercion for static methods a
c
cesse
d
via parent::
commit
|
commitdiff
|
tree
2019-06-19
V
as
s
i
l
M
la
d
enov
Add coercion for
s
ta
t
ic metho
d
s
commit
|
commitdiff
|
tree
2019-06-19
Vas
s
il Mla
d
enov
F
i
x decl inhe
r
itance of abstract type const
a
n
t
with
.
.
.
commit
|
commitdiff
|
tree
2019-06-19
Vassi
l
Mladen
o
v
Add coercion
f
or
static pro
p
ertie
s
commit
|
commitdiff
|
tree
2019-06-18
Vassil
M
l
a
denov
R
e
fac
t
o
r dispatch_cal
l
i
n typi
n
g
commit
|
commitdiff
|
tree
2019-06-18
V
as
s
i
l
Mladenov
Move a
b
str
a
ct parent check to Ta
s
t c
h
eck
commit
|
commitdiff
|
tree
2019-06-17
Vas
s
il Mladeno
v
Add
coercion for parent:: calls to instance methods
commit
|
commitdiff
|
tree
2019-06-17
Va
s
s
i
l
Mladenov
A
d
d
c
oerci
o
n for con
s
tructors
commit
|
commitdiff
|
tree
2019-06-15
Vas
s
il Mladeno
v
Don'
t
lose arguments to parent::
m
e
t
hod calls
commit
|
commitdiff
|
tree
2019-06-13
Vassil Mladenov
Move s
t
atic me
t
hod call checks ou
t
of typing
.
ml
commit
|
commitdiff
|
tree
2019-06-12
Vassi
l
Mladenov
Add
coercion t
o
method
p
ara
m
e
t
er types
commit
|
commitdiff
|
tree
2019-06-12
Vassi
l
Mladeno
v
A
d
d coercion to pro
p
erty types
commit
|
commitdiff
|
tree
2019-06-12
Va
s
s
i
l Mladeno
v
Allow coerci
o
n in function p
a
rameters
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mla
d
en
o
v
Do not have s
h
ad
o
wing e
r
ror
for re
i
fied type parameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-12
Vassil Mladenov
Ban
some reif
i
ed type argum
e
n
ts
commit
|
commitdiff
|
tree
2019-06-12
Vassil M
l
a
denov
Clean up logic
th
a
t g
o
v
er
n
s
v
a
lid reif
i
ed arguments
commit
|
commitdiff
|
tree
2019-06-12
Va
s
sil Mladeno
v
Back o
u
t "[easy] Do not
h
ave
s
ha
d
o
w
in
g
err
o
r
f
or
reif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vas
s
il Mladenov
Do not h
a
ve shadowing
e
r
r
or for
r
eified ty
p
e p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2019-06-11
Vass
i
l Ml
a
denov
Update
genva tests
commit
|
commitdiff
|
tree
2019-06-11
V
a
s
s
i
l Mladenov
Allow coercion fro
m
like ty
p
es
commit
|
commitdiff
|
tree
2019-06-11
V
a
ssil Mladenov
A
d
d
coercio
n
dyna
m
ic ~>
T
whe
n
T is
e
nf
o
r
ceab
l
e
commit
|
commitdiff
|
tree
2019-06-10
Vassil
Mladenov
A
d
d decl type
coe
r
cion t
a
rget from
r
eturn
positio
n
s
commit
|
commitdiff
|
tree
2019-06-10
Vassil Mladenov
Fix hhco
n
fig o
p
t for
pessimize
_
types
commit
|
commitdiff
|
tree
2019-06-09
Vassil
M
l
a
d
enov
Intro
d
uce
E
xp
e
cted
T
y
module, refact
o
r typing
t
o use
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Vassil
M
ladenov
Flip some
tests to use t
h
e <?
h
h header instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
V
a
ssil Mladenov
Ban reified generic
s
o
n
fu
n
ctions or methods
that take
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
nov
Alwa
y
s aut
o
import in the
e
mitter
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mla
d
enov
Remove
i
s
_
h
h
_syntax_enabled and is_hh_fi
l
e_
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
no
v
Emit
inou
t
w
rapper func
t
ion
s
in
php files
commit
|
commitdiff
|
tree
2019-06-06
V
assil
M
l
ad
e
nov
Emit is for is
_
* special fu
n
cti
o
ns in PHP
commit
|
commitdiff
|
tree
2019-06-06
V
a
ssil
Mladenov
C
h
eck PHP clas
s
names in t
h
e global namespa
c
e against
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mladenov
Em
i
t in
v
a
r
iant functio
n
in
PHP files
commit
|
commitdiff
|
tree
2019-06-06
Vass
i
l Mla
d
e
nov
Inline g
e
n fu
n
ctions in PH
P
files
commit
|
commitdiff
|
tree
2019-06-06
V
a
s
si
l
Mlade
n
ov
Al
w
a
y
s emit the HHType
c
onstrai
n
t for simple types
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mlad
e
nov
Do n
o
t
emi
t
explicit typ
e
constra
i
nts for mixe
d
and
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Mladenov
Do n
o
t always
emit nul
l
able for pa
r
am type
h
ints in
.
.
.
commit
|
commitdiff
|
tree
2019-06-06
Vassil Ml
a
de
n
ov
Unify parameter default checking b
e
tween PHP
and Hack
commit
|
commitdiff
|
tree
next