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
Allow function pointer builtins in constant initializers
2019-09-17
Andrew
K
ennedy
Remove ft_abstrac
t
from fun_ty
p
e
commit
|
commitdiff
|
tree
2019-09-05
Andr
e
w Kennedy
Do
n
o
t
u
s
e co
n
tinua
t
ion for ob
j
_
g
et or cla
s
s_get
commit
|
commitdiff
|
tree
2019-08-16
Andrew
Kennedy
Correctly account for variadic parame
t
ers in
v
ari
a
nce
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Andrew Kennedy
Re
m
ove dec
l
_
ty return from obj
_
get
a
nd class_get
commit
|
commitdiff
|
tree
2019-08-13
Andrew K
e
nnedy
R
e
move r
e
d
undant
f
t
y_decl
fro
m
ty
p
in
g
cod
e
commit
|
commitdiff
|
tree
2019-08-13
Andrew Kenne
d
y
Add "enforced" att
r
ibute
t
o paramete
r
a
nd return types
commit
|
commitdiff
|
tree
2019-08-12
Andrew Kenne
d
y
Explicit attr
i
b
u
te f
o
r generics
commit
|
commitdiff
|
tree
2019-07-31
Andrew Kennedy
Replace checks on enum d
e
claration with
s
ub
t
yp
e
checks
commit
|
commitdiff
|
tree
2019-07-30
Andrew Ke
n
ne
d
y
Sim
p
lify obj_get
imp
l
ementation (part 1)
commit
|
commitdiff
|
tree
2019-07-30
Andrew K
e
nne
d
y
Im
p
lement gen
e
ri
c
typ
i
ng
r
ules
for unions, inter
s
ections
.
.
.
commit
|
commitdiff
|
tree
2019-07-29
Andrew Kenne
d
y
S
implif
y
class_get im
p
lementation (part 2)
commit
|
commitdiff
|
tree
2019-07-29
And
r
ew Kenne
d
y
Simplify class_get i
m
p
lem
e
n
t
ation (part 1)
commit
|
commitdiff
|
tree
2019-07-25
Andrew Kennedy
D
o
n
o
t nee
d
lessly
c
om
p
ute ty
p
e of
result
of array
a
ppen
d
commit
|
commitdiff
|
tree
2019-07-25
Andre
w
Kenne
d
y
Do not needlessly compute type o
f
r
e
su
l
t of
ar
r
ay assig
n
m
ent
commit
|
commitdiff
|
tree
2019-07-23
A
ndrew K
e
nnedy
Bre
a
k mutu
a
l recursi
o
n: s
o
l
v
e
r
commit
|
commitdiff
|
tree
2019-07-23
A
n
d
r
ew
K
e
nnedy
Break mutual
recursion: su
b
_strin
g
commit
|
commitdiff
|
tree
2019-07-23
Andre
w
K
e
nnedy
New inference: constraint
-
based as
y
n
c lambda
commit
|
commitdiff
|
tree
2019-07-23
A
n
drew Kennedy
Intro
d
uce check for redundan
t
use of gen
e
ric parameters
commit
|
commitdiff
|
tree
2019-07-22
Andr
e
w Kennedy
Treat inou
t
paramet
e
rs
as invarian
t
for purposes of
.
.
.
commit
|
commitdiff
|
tree
2019-07-17
Andr
e
w Kenn
e
d
y
U
n
ify ne
w
t
y
p
e and enum repre
s
e
n
ta
t
ions
commit
|
commitdiff
|
tree
2019-07-17
A
n
drew Kennedy
Inout
parameters sh
o
u
ld be treate
d
i
n
v
arian
t
ly f
o
r
.
.
.
commit
|
commitdiff
|
tree
2019-07-16
And
r
ew Kennedy
Make arraykey the default bound on enums
commit
|
commitdiff
|
tree
2019-07-16
Andrew Kenn
e
d
y
Part
i
al rever
t
of removal
o
f generics in h
h
i files
commit
|
commitdiff
|
tree
2019-07-15
Andrew Ken
n
edy
Move type paramete
r
environment in
t
o
per-cont
i
nuation
.
.
.
commit
|
commitdiff
|
tree
2019-07-15
A
n
drew Kennedy
G
e
ner
a
t
e
fresh t
y
pe pa
r
ameters
a
w
a
y from othe
r
s
in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew Kennedy
Avoid gene
r
ating fresh type n
a
mes
in re
f
inement in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew Ken
n
edy
Su
b
t
yping r
u
les for intersec
t
i
on
commit
|
commitdiff
|
tree
2019-07-08
Andrew Kenn
e
dy
R
emove redun
d
an
t
g
enerics f
r
om hhi files
commit
|
commitdiff
|
tree
2019-07-05
Andre
w
Kennedy
New infere
n
c
e
: properl
y
generate ty
p
e v
a
riables for
.
.
.
commit
|
commitdiff
|
tree
2019-07-04
Andrew Kennedy
Fix unsoundness bug wit
h
arithmet
i
c and unresolved
.
.
.
commit
|
commitdiff
|
tree
2019-06-30
Andrew Ke
n
nedy
Apply e
q
ualities be
f
ore doing is_s
u
b_type
commit
|
commitdiff
|
tree
2019-06-21
Andrew Kennedy
Sub
t
ypi
n
g of nullable <: union
commit
|
commitdiff
|
tree
2019-06-21
Andre
w
Kenn
e
dy
S
i
mplify X
H
P check in TAST checki
n
g
commit
|
commitdiff
|
tree
2019-06-19
Andr
e
w Ke
n
ned
y
Clean up two uses if TUtils
.
is_option
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
Reject u
n
set by assert
i
ng subtyp
e
s
commit
|
commitdiff
|
tree
2019-06-19
Andrew Ke
n
nedy
Cl
e
an
up is_sub_type (
p
art 2)
commit
|
commitdiff
|
tree
2019-06-18
Andrew
K
ennedy
Clean up is_sub_t
y
pe (par
t
1)
commit
|
commitdiff
|
tree
2019-06-18
Andrew Kenned
y
C
l
eanu
p
: r
e
move fre
s
h_ten
v
commit
|
commitdiff
|
tree
2019-06-13
Andrew Ke
n
nedy
Remov
e
r
e
dundant
d
efinition of fre
s
h_
t
ype
commit
|
commitdiff
|
tree
2019-06-13
Andr
e
w
Kennedy
New inference: move arraykey
ind
e
x
c
hecks
into type
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Andrew Kenn
e
d
y
Move fake members in
f
o into
p
e
r
-con
t
i
nuat
i
on environment
commit
|
commitdiff
|
tree
2019-06-07
Andrew Kenn
e
dy
Separate
o
ff universal value representa
t
ion fo
r
logging
commit
|
commitdiff
|
tree
2019-06-02
And
r
ew Kennedy
New infer
e
nce:
clean
u
p so
l
ve_tyva
r
entry poin
t
s
commit
|
commitdiff
|
tree
2019-05-31
Andrew Kennedy
Fix unsoundness in is/ins
t
anceof
o
n
va
r
iable
of
g
e
ner
i
c
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Andrew
Kennedy
Ne
w
i
n
ference
c
le
a
nu
p
: remove
p
o
s
f
ro
m
Typing_
e
n
v
.
env
commit
|
commitdiff
|
tree
2019-05-29
Andre
w
Kennedy
New inference
:
e
a
sy cleanup
commit
|
commitdiff
|
tree
2019-05-29
And
r
e
w Ke
n
nedy
New inference: rename fresh
_
unres
o
lved_
t
ype
commit
|
commitdiff
|
tree
2019-05-29
Andrew Kennedy
New inference: remove
o
l
d-
i
nferen
c
e
l
e
gacy
e
xpe
c
ted
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
An
d
rew Kennedy
New i
n
ference: remove
n
e
w_inference
f
lag
a
nd ol
d
p
a
t
h
s
commit
|
commitdiff
|
tree
2019-05-22
An
d
re
w
Ke
n
ne
d
y
Make
new
_
inference =
1
.
0 the
de
f
ault if not specifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-05-22
And
r
ew K
e
nnedy
Make ne
w
infe
r
ence default for hh
_
single_t
y
pe_chec
k
commit
|
commitdiff
|
tree
2019-05-21
Andrew Kennedy
Do not drop unio
n
s
as upper bounds
o
n g
e
neri
c
t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-05-14
Andrew Kennedy
New inferenc
e
: improve
d
error
mes
s
age
f
or unresolved
.
.
.
commit
|
commitdiff
|
tree
2019-05-13
And
r
ew Kennedy
Incl
u
d
e
inst
a
ntiation
o
f
generic types in error messages
commit
|
commitdiff
|
tree
2019-05-13
Andre
w
K
enned
y
New infer
e
n
c
e:
f
i
x --remov
e
-dead-fix
m
es for TAST check
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
A
ndrew Kenne
d
y
New inference: solve for type variables
with shallow
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
Andrew Kennedy
New inf
e
re
n
c
e
: expand type be
f
ore applyin
g
narrowi
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
An
d
rew Ke
n
nedy
Flag errors whose
primary pos
i
tion
isn
'
t the current
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Andr
e
w K
e
nn
e
dy
Ne
w
infe
r
ence
:
a
dd performance re
g
ression te
s
t
commit
|
commitdiff
|
tree
2019-05-01
Andrew Kennedy
New infer
e
nce: simplify f
r
eshen_ty to just
f
reshen
.
.
.
commit
|
commitdiff
|
tree
2019-04-30
Andrew
K
enned
y
A
d
d
time
o
ut option t
o
hh_single_
t
ype_
c
heck
commit
|
commitdiff
|
tree
2019-04-29
Andrew Kenn
e
dy
New in
f
er
e
nce:
better error m
e
ssage for u
n
r
e
solved
.
.
.
commit
|
commitdiff
|
tree
2019-04-23
Andrew Kenned
y
Ne
w
inference: narrow bounds for array update
commit
|
commitdiff
|
tree
2019-04-18
Andrew
K
e
nnedy
New
i
n
ference: ea
g
e
r
ly
s
olve t
y
pe vari
a
bl
e
scrutinee
.
.
.
commit
|
commitdiff
|
tree
2019-04-16
And
r
ew Kenne
d
y
N
e
w
inference: do not apply ke
y
type checks
for array
.
.
.
commit
|
commitdiff
|
tree
2019-04-15
A
ndrew Kennedy
New
inferenc
e
: better treatme
n
t of
union in coalesce
.
.
.
commit
|
commitdiff
|
tree
2019-04-14
A
ndrew Kenn
e
d
y
Trea
t
array
a
s s
u
bty
p
e of Tr
a
versable<any>
commit
|
commitdiff
|
tree
2019-04-12
Andrew Ken
n
e
dy
New infere
n
c
e
: check le
g
acy lambdas using
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2019-04-10
And
r
e
w Kennedy
New inference: nar
r
ow types for a
r
ray access through
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
An
d
rew Kennedy
T
yp
e
untyped par
a
meters with
d
efault exp
r
es
s
ions as
.
.
.
commit
|
commitdiff
|
tree
2019-04-08
Andrew Kennedy
New inferenc
e
:
r
emove no-eager-
s
olve option
commit
|
commitdiff
|
tree
2019-04-04
Andrew Ken
n
edy
New infer
e
nc
e
:
d
eal with unions contain
i
ng type va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
Andrew Kennedy
New infe
r
enc
e
: don't
r
eject a
r
r
ay indexing where
nothi
n
g
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
An
d
r
ew Kennedy
Fix t
y
pe checking of n
u
llsafe shape acces
s
es
commit
|
commitdiff
|
tree
2019-03-28
Andrew Kennedy
New inference: logging of changes to environment betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2019-03-28
Andrew Ke
n
n
e
dy
Mo
r
e concise a
n
d usef
u
l t
y
p
e checker log
g
ing
commit
|
commitdiff
|
tree
2019-03-22
Andr
e
w
K
enn
e
dy
N
e
w infere
n
ce: check index type in array get
dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
Andrew Kennedy
New inf
e
rence: lambdas by constraint solving
commit
|
commitdiff
|
tree
2019-03-05
A
n
drew Kenn
e
dy
New i
n
f
e
rence: eager solve for n
u
ll r
e
fi
n
ement only
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew
Kennedy
N
ew inferen
c
e: apply
narrowing to type variable b
o
unds
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew K
e
nnedy
New inference: r
e
mo
v
e redundant
t
ype variables from
.
.
.
commit
|
commitdiff
|
tree
2019-03-01
Andrew Kennedy
N
e
w
infer
e
nce: flag
e
agerl
y
-solved type v
a
riables and
.
.
.
commit
|
commitdiff
|
tree
2019-02-15
Andrew
Kennedy
New inf
e
ren
c
e: error if eager
solving to
n
oth
i
ng
commit
|
commitdiff
|
tree
2019-02-13
A
ndrew Kennedy
N
e
w
i
n
ference: clean u
p
var
i
a
nce se
t
ting
commit
|
commitdiff
|
tree
2019-02-13
Andrew K
e
nnedy
Ad
d
nu
l
lable sm
a
rt constru
c
tor to Typing_make
_
type
commit
|
commitdiff
|
tree
2019-02-11
A
ndrew Kennedy
New
inference: flatten unions w
h
en
s
olvin
g
for lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2019-02-07
An
d
rew Kennedy
Check use of variant
pa
r
amet
e
rs in where con
s
t
rai
n
ts
commit
|
commitdiff
|
tree
2019-02-07
Andr
e
w Kenned
y
New inference: maintain positio
n
i
n
formation in t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2019-02-06
Andre
w
Kenn
e
dy
R
e
port error for
*
all* incorrect uses of
v
ariant typ
e
.
.
.
commit
|
commitdiff
|
tree
2019-02-05
Andrew Kennedy
New i
n
f
e
r
enc
e
:
use l
i
sts not sets fo
r
ty
v
a
rs
commit
|
commitdiff
|
tree
2019-02-04
Andrew Kennedy
New
i
nference
:
set tyvar vari
a
nce to account
for lambd
a
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
An
d
rew
K
ennedy
New inference:
r
emove even
m
ore tyvars
p
lumbing
commit
|
commitdiff
|
tree
2019-01-31
Andrew
K
ennedy
New inferen
c
e: remove m
o
re tyvars plumbing
commit
|
commitdiff
|
tree
2019-01-31
Andrew K
e
nnedy
New inference: simplif
y
tyvars
plumbing
commit
|
commitdiff
|
tree
2019-01-30
Andr
e
w Kenne
d
y
T
yp
e
infe
r
ence: t
r
ack tyvars
for static_class_id
,
in
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
A
n
drew K
e
nnedy
New inf
e
rence: do n
o
t check index type o
f
co
v
ariant
.
.
.
commit
|
commitdiff
|
tree
2019-01-26
An
d
rew Ken
n
edy
New inference
:
more tests
commit
|
commitdiff
|
tree
2019-01-25
An
d
rew
Kenn
e
dy
Clea
n
up printing of typ
e
s in
e
rror messages
commit
|
commitdiff
|
tree
2019-01-25
Andrew
K
ennedy
New infe
r
ence: type
v
ariable
type in TypeStructure
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
A
ndrew
K
ennedy
New i
n
fer
e
n
c
e: instanceof on class expression
o
f typ
e
.
.
.
commit
|
commitdiff
|
tree
next