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
strongly type respond_jsonrpc
2019-12-06
An
d
r
ew Kennedy
End fi
x
ed
point i
t
eration
e
arly i
f
we
r
each
a fixe
d
.
.
.
commit
|
commitdiff
|
tree
2019-12-05
Andre
w
Kenne
d
y
Remove unnecessary use of E
r
r
o
rs
.
try
commit
|
commitdiff
|
tree
2019-11-28
Andrew Kenn
e
dy
Re
m
ove some uses
of Err
o
rs
.
try (5)
commit
|
commitdiff
|
tree
2019-11-28
Andrew Kennedy
Remove use of Erro
r
s
.
t
r
y in coercion processing
commit
|
commitdiff
|
tree
2019-11-27
A
ndrew Kennedy
Remove
a
no
t
her use of Errors
.
try
commit
|
commitdiff
|
tree
2019-11-27
Andrew Ken
n
edy
Remove
Err
o
rs
.
try_add_err
commit
|
commitdiff
|
tree
2019-11-27
A
ndrew
Kennedy
Report typ
e
const su
b
sumption error at use site
commit
|
commitdiff
|
tree
2019-11-21
Andrew Kenne
d
y
Remove some
u
ses of Errors
.
try (2)
commit
|
commitdiff
|
tree
2019-11-21
Andrew Kennedy
R
emov
e
some uses o
f
E
rrors
.
try (
3
)
commit
|
commitdiff
|
tree
2019-11-21
Andrew Kennedy
Remov
e
u
s
es
o
f try_add_err
commit
|
commitdiff
|
tree
2019-11-19
Andrew K
e
n
nedy
R
e
move
s
ome uses of
E
rrors
.
try (4)
commit
|
commitdiff
|
tree
2019-11-08
And
r
ew Kennedy
Remove f
i
na
l
uses of i
s
_sub_
t
y
pe_LEGACY_DEPRECATE
D
commit
|
commitdiff
|
tree
2019-11-08
Andrew Ken
n
edy
Remove
more uses of is_sub_ty
p
e
_L
E
GACY_DEP
R
ECATED
commit
|
commitdiff
|
tree
2019-11-07
Andre
w
Ke
n
nedy
Put
subtype_pr
o
p helpe
r
s in separate mo
d
ule
commit
|
commitdiff
|
tree
2019-11-06
A
n
drew Ke
n
nedy
Remove
s
ome uses of is_sub_type_LEGACY_DEPRECATED
commit
|
commitdiff
|
tree
2019-11-01
Andrew Kennedy
Run s
i
m
plify_su
b
type durin
g
t
r
ansit
i
ve cl
o
sure
commit
|
commitdiff
|
tree
2019-10-16
A
n
d
r
ew Ke
n
nedy
A
n
alyse
s
cop
e
o
f
pi
p
e variable in typing, no
t
na
m
ing
commit
|
commitdiff
|
tree
2019-10-14
Andrew Kennedy
F
ix
le
a
k of using variable
i
nto
catch
commit
|
commitdiff
|
tree
2019-10-10
A
n
dr
e
w Kennedy
Remove tyvars function
s
f
r
om TAST
i
n
ter
f
ace
commit
|
commitdiff
|
tree
2019-10-10
A
n
drew Kennedy
Simplify
li
n
ter_equality_check b
y
using inf
e
rred type
.
.
.
commit
|
commitdiff
|
tree
2019-10-09
Andr
e
w Kennedy
Per
s
ist inferred type
arguments in
T
AST
commit
|
commitdiff
|
tree
2019-10-08
Andrew
Kennedy
Remove
unused function from
T
yping_phase
commit
|
commitdiff
|
tree
2019-10-04
An
d
rew Kennedy
Use ty instead of fun_ty fo
r
shallow decl meth
o
ds
commit
|
commitdiff
|
tree
2019-10-04
Andrew Kennedy
Support syn
t
ax fo
r
u
nion and inter
s
ection types
commit
|
commitdiff
|
tree
2019-10-03
Andrew
Kennedy
Re
m
ove ft
_
pos an
d
a
d
d
positions
t
o
elements
commit
|
commitdiff
|
tree
2019-10-03
Andrew Kennedy
Remove f
t
_depre
c
ated and
ft_dec
l
_errors
commit
|
commitdiff
|
tree
2019-10-03
Andrew Ke
n
nedy
Remove d
e
ad min_
v
is functi
o
n
s f
r
om T
y
ping_visib
i
l
i
ty
commit
|
commitdiff
|
tree
2019-09-23
An
d
r
e
w
K
e
nned
y
Gene
r
ate array_m
a
p
decl
t
ype
commit
|
commitdiff
|
tree
2019-09-23
Andrew Ken
n
edy
Split sp
e
c
ial f
u
ncti
o
n signa
t
ure creation into sepa
r
ate
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Andrew Kenne
d
y
R
e
move ft_abstract from fun_type
commit
|
commitdiff
|
tree
2019-09-05
Andrew
K
ennedy
Do not use continuation for obj_get or class_g
e
t
commit
|
commitdiff
|
tree
2019-08-16
Andrew Kennedy
Corre
c
tly ac
c
o
unt for varia
d
ic p
a
rameters in
v
a
ri
a
nce
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Andrew Kennedy
R
e
mo
v
e decl_ty return
f
rom ob
j
_g
e
t and
c
lass
_
ge
t
commit
|
commitdiff
|
tree
2019-08-13
Andrew Kenn
e
dy
Remove re
d
undant
f
t
y
_decl from typi
n
g
code
commit
|
commitdiff
|
tree
2019-08-13
Andre
w
Kennedy
Add "enforced"
a
ttribute to parameter and
r
e
t
urn types
commit
|
commitdiff
|
tree
2019-08-12
Andr
e
w
Ke
n
nedy
Explicit attribut
e
f
or gener
i
cs
commit
|
commitdiff
|
tree
2019-07-31
Andrew Ken
n
edy
Replace checks on
e
num
d
e
claration
w
ith
s
u
b
t
y
pe checks
commit
|
commitdiff
|
tree
2019-07-30
A
ndrew Ke
n
nedy
Simplify
ob
j
_get imple
m
e
n
t
a
tion
(
par
t
1
)
commit
|
commitdiff
|
tree
2019-07-30
A
ndre
w
Kennedy
Implement generic typing rul
e
s for
u
n
ions,
inte
r
sect
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2019-07-29
An
d
r
e
w Kennedy
Si
m
plify class_g
e
t
impl
e
menta
t
io
n
(part 2)
commit
|
commitdiff
|
tree
2019-07-29
A
n
drew
Kennedy
Sim
p
lif
y
class_get i
m
p
leme
n
t
a
t
ion (pa
r
t
1)
commit
|
commitdiff
|
tree
2019-07-25
Andrew
Kennedy
Do n
o
t ne
e
dlessly compute typ
e
of result of arra
y
appe
n
d
commit
|
commitdiff
|
tree
2019-07-25
Andrew
Kennedy
Do not
n
eedles
s
ly compute t
y
pe of res
u
lt of a
r
ray
a
ssi
g
nmen
t
commit
|
commitdiff
|
tree
2019-07-23
Andrew Kennedy
Break
mutua
l
recursion: solver
commit
|
commitdiff
|
tree
2019-07-23
An
d
r
e
w Kennedy
Br
e
a
k mutual recursion: sub_string
commit
|
commitdiff
|
tree
2019-07-23
Andrew Kennedy
New inf
e
r
e
nce: con
s
tra
i
nt-b
a
sed as
y
n
c
lam
b
da
commit
|
commitdiff
|
tree
2019-07-23
Andrew
Kennedy
In
t
roduce check for redundan
t
use of
g
eneric param
e
te
r
s
commit
|
commitdiff
|
tree
2019-07-22
Andrew Ke
n
n
e
dy
Trea
t
inout
p
arameters as i
n
variant for pur
p
ose
s
of
.
.
.
commit
|
commitdiff
|
tree
2019-07-17
An
d
re
w
Kennedy
Unify newtype and en
u
m repr
e
sentations
commit
|
commitdiff
|
tree
2019-07-17
A
ndrew Kennedy
Inout parameters s
h
ould b
e
treated invar
i
a
n
tly for
.
.
.
commit
|
commitdiff
|
tree
2019-07-16
Andr
e
w
Ken
n
edy
Make array
k
e
y
the default bo
u
nd
on enums
commit
|
commitdiff
|
tree
2019-07-16
Andrew Kennedy
Partial reve
r
t
of
r
e
m
o
v
al of gen
e
r
ic
s
in hhi files
commit
|
commitdiff
|
tree
2019-07-15
A
n
d
rew Kennedy
Move ty
p
e paramete
r
environment into per-contin
u
ation
.
.
.
commit
|
commitdiff
|
tree
2019-07-15
A
ndrew Kenne
d
y
Gen
e
rate fr
e
sh type par
a
met
e
rs
away from
others i
n
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew K
e
nned
y
Avoid generating fresh type nam
e
s in ref
i
nement in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew Kennedy
Subtyp
i
ng rules f
o
r
intersec
t
ion
commit
|
commitdiff
|
tree
2019-07-08
Andr
e
w
K
ennedy
Re
m
ove
redun
d
ant generics from
hhi
f
iles
commit
|
commitdiff
|
tree
2019-07-05
A
n
d
rew Kenne
d
y
New inference
:
properly generate t
y
p
e vari
a
b
les for
.
.
.
commit
|
commitdiff
|
tree
2019-07-04
An
d
rew Kenn
e
d
y
Fix uns
o
undness
bug
with arithmetic and unre
s
olve
d
.
.
.
commit
|
commitdiff
|
tree
2019-06-30
Andrew K
e
nne
d
y
Apply
equalities before doin
g
is_sub_
t
yp
e
commit
|
commitdiff
|
tree
2019-06-21
Andrew Kennedy
Subt
y
ping of nullable <: un
i
on
commit
|
commitdiff
|
tree
2019-06-21
A
ndrew Kennedy
Simplify
XHP check in TAST checkin
g
commit
|
commitdiff
|
tree
2019-06-19
And
r
ew Kenn
e
dy
Clean
up
t
wo us
e
s
if T
U
tils
.
is_option
commit
|
commitdiff
|
tree
2019-06-19
And
r
ew K
e
nn
e
dy
R
eject unset by asser
t
i
ng
s
ubtype
s
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
Clea
n
up is_sub_type (part 2)
commit
|
commitdiff
|
tree
2019-06-18
Andrew Kennedy
Clean up is_sub_
t
ype (part
1
)
commit
|
commitdiff
|
tree
2019-06-18
And
r
ew Ke
n
nedy
Cleanup: r
e
move fresh_
t
e
n
v
commit
|
commitdiff
|
tree
2019-06-13
Andrew
Kenne
d
y
Remov
e
redund
a
nt d
e
finit
i
on of fresh_type
commit
|
commitdiff
|
tree
2019-06-13
Andrew Kennedy
New inference: move
a
rrayk
e
y index checks into
t
ype
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
A
ndrew Kennedy
Move fake member
s
info int
o
per-continuation environment
commit
|
commitdiff
|
tree
2019-06-07
Andr
e
w
K
ennedy
S
ep
a
rate off u
n
iversal value represent
a
ti
o
n for logging
commit
|
commitdiff
|
tree
2019-06-02
Andrew Kennedy
N
ew
i
nfer
e
nce: clean up solve_tyvar entry
po
i
nts
commit
|
commitdiff
|
tree
2019-05-31
Andr
e
w Kennedy
F
i
x
u
nsou
n
dness
i
n
is/inst
a
nceof on variable
o
f generic
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Andrew K
e
nnedy
New
i
nference
c
l
ean
u
p: remove
p
os from Typ
i
ng_e
n
v
.
env
commit
|
commitdiff
|
tree
2019-05-29
Andrew K
e
n
n
edy
N
ew inference:
e
asy
c
lea
n
u
p
commit
|
commitdiff
|
tree
2019-05-29
And
r
ew Kennedy
New inference: rename f
r
e
sh_unresolved
_
typ
e
commit
|
commitdiff
|
tree
2019-05-29
An
d
rew Ke
n
nedy
New infer
e
nce: remove old-inference legacy expected
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
A
ndre
w
Kennedy
N
e
w inference: remove new_in
f
e
rence f
l
ag and old paths
commit
|
commitdiff
|
tree
2019-05-22
Andrew Kennedy
Make new_inferen
c
e = 1
.
0
t
h
e
d
efault if not
specified
.
.
.
commit
|
commitdiff
|
tree
2019-05-22
Andrew Kenne
d
y
Make new i
n
ference defaul
t
for hh_single_type_che
c
k
commit
|
commitdiff
|
tree
2019-05-21
Andrew Kennedy
Do no
t
drop unions as upper bounds on generic type
.
.
.
commit
|
commitdiff
|
tree
2019-05-14
Andrew Kennedy
N
e
w
inference: improved
e
rror message for unresolv
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-05-13
Andrew Kennedy
Includ
e
inst
a
ntia
t
ion of generic
t
ypes in error messages
commit
|
commitdiff
|
tree
2019-05-13
A
n
d
rew Kenn
e
dy
New
i
nference: fix
-
-re
m
ove-dead-fixmes
f
o
r
T
AST
c
heck
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
Andrew Kennedy
New inference: solve for type variables with
s
hallow
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
And
r
ew K
e
n
nedy
New inference: e
x
pand type before applying
narro
w
ing
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
Andrew
K
e
nnedy
Fl
a
g
e
rror
s
w
hose primary
p
os
i
t
i
o
n isn't the current
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Andrew
K
ennedy
N
ew i
n
ference: add
pe
r
f
ormance
regress
i
on
t
es
t
commit
|
commitdiff
|
tree
2019-05-01
Andrew Ke
n
n
e
dy
New inf
e
rence: simplif
y
fresh
e
n_ty to just fr
e
shen
.
.
.
commit
|
commitdiff
|
tree
2019-04-30
Andr
e
w Kennedy
Add timeout option
t
o h
h
_sin
g
le_type_ch
e
ck
commit
|
commitdiff
|
tree
2019-04-29
Andre
w
K
e
nnedy
New infer
e
nce: be
t
t
e
r error m
e
ssage fo
r
unreso
l
ved
.
.
.
commit
|
commitdiff
|
tree
2019-04-23
Andr
e
w Ke
n
nedy
New inference: narrow bounds for a
r
ray update
commit
|
commitdiff
|
tree
2019-04-18
A
n
d
re
w
Ke
n
nedy
New inference:
ea
g
erl
y
s
olve
t
ype
v
a
riab
l
e scrutinee
.
.
.
commit
|
commitdiff
|
tree
2019-04-16
Andrew Kennedy
N
ew inference: do not apply ke
y
t
y
p
e c
h
ecks for array
.
.
.
commit
|
commitdiff
|
tree
2019-04-15
An
d
rew Kennedy
Ne
w
inf
e
rence: bet
t
er treatment of
union in coalesce
.
.
.
commit
|
commitdiff
|
tree
2019-04-14
Andr
e
w
K
ennedy
Treat array as subtype of
T
raversable<
a
ny
>
commit
|
commitdiff
|
tree
2019-04-12
Andr
e
w
K
ennedy
N
ew inference: check
legacy lambdas using constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2019-04-10
Andrew Kennedy
New inference
:
narr
o
w types for array
access throu
g
h
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
Andre
w
Kenne
d
y
Type unt
y
ped p
a
rameters with default expre
s
sions as
.
.
.
commit
|
commitdiff
|
tree
2019-04-08
Andrew K
e
nnedy
Ne
w
inference: remove
n
o-eager-s
o
lve
option
commit
|
commitdiff
|
tree
next