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
Emit an implicit break at the end of last case block in switch statements
2020-02-12
Andrew Kennedy
Enable
n
ew_in
f
er
e
nce_lambda
b
y default, remove all
.
.
.
commit
|
commitdiff
|
tree
2020-02-04
Andr
e
w
Kennedy
Avoi
d
Reason
.
to_pos in validate type
commit
|
commitdiff
|
tree
2020-01-29
A
ndre
w
Kenne
d
y
A
v
o
i
d accessing reason
on type
commit
|
commitdiff
|
tree
2020-01-29
Andrew Ken
n
ed
y
In inheritance
c
hec
k
s get
p
osition
s
d
irectly
from
c
lass
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
A
ndre
w
Kennedy
Fix b
a
d pos
i
tion bug
commit
|
commitdiff
|
tree
2020-01-23
Andrew Kennedy
Fix build break
commit
|
commitdiff
|
tree
2020-01-23
Andrew Kennedy
Act
u
all
y
m
a
ke
t
y
a
n
d
constraint_
t
y
p
e o
p
aque
commit
|
commitdiff
|
tree
2020-01-23
A
n
drew
Kennedy
Make ty opaque
i
n Typing_defs
(
part 13)
commit
|
commitdiff
|
tree
2020-01-23
Andrew Kennedy
Make ty opaque in Ty
p
ing_defs (part 12)
commit
|
commitdiff
|
tree
2020-01-23
A
ndrew
Kennedy
Ma
k
e ty opaque i
n
T
yping
_
defs
(part 11)
commit
|
commitdiff
|
tree
2020-01-21
Andrew Kennedy
M
ake
t
y opaque
in Typing_defs (part 1
0
)
commit
|
commitdiff
|
tree
2020-01-20
Andrew K
e
n
n
edy
Make ty opa
q
ue in Typ
i
n
g
_defs
(
part 9)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Kennedy
Make ty opaque in Typi
n
g_de
f
s (part
8
)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Ken
n
edy
M
ake ty
o
p
aque in Typing_de
f
s (part
7
)
commit
|
commitdiff
|
tree
2020-01-20
And
r
ew Kenn
e
dy
Make
t
y opaque in T
y
ping_d
e
f
s (pa
r
t 6)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Kennedy
M
ake ty opaque i
n
Typing_defs (part
5
)
commit
|
commitdiff
|
tree
2020-01-20
Andrew
K
en
n
e
dy
M
ake ty opa
q
ue in T
y
pi
n
g_defs (part 4)
commit
|
commitdiff
|
tree
2020-01-20
Andrew
K
enn
e
dy
Make ty opaque i
n
Typing_defs (par
t
3)
commit
|
commitdiff
|
tree
2020-01-16
Andrew Kennedy
Make ty o
p
aque in Typin
g
_def
s
(part 1)
commit
|
commitdiff
|
tree
2020-01-05
Andrew Kennedy
Add on_error
t
o e
t
y_env en
v
ironm
e
nt
commit
|
commitdiff
|
tree
2019-12-18
A
n
drew Kennedy
Return ty
p
e for hh
p
s
eudo
function
s
s
hould be void
commit
|
commitdiff
|
tree
2019-12-06
A
n
dre
w
K
ennedy
End fixed
p
oint iterat
i
on early i
f
we reach a fixed
.
.
.
commit
|
commitdiff
|
tree
2019-12-05
An
d
re
w
K
enn
e
d
y
Re
m
o
v
e un
n
ecessar
y
use of Errors
.
tr
y
commit
|
commitdiff
|
tree
2019-11-28
Andrew Kennedy
Remove
s
ome u
s
es o
f
Errors
.
t
ry
(
5)
commit
|
commitdiff
|
tree
2019-11-28
Andrew
Kennedy
R
e
move use of E
r
rors
.
t
r
y i
n
coercion processing
commit
|
commitdiff
|
tree
2019-11-27
Andr
e
w Kennedy
Remo
v
e
anothe
r
u
se of
E
rrors
.
try
commit
|
commitdiff
|
tree
2019-11-27
Andrew Kennedy
R
emov
e
Errors
.
try_ad
d
_err
commit
|
commitdiff
|
tree
2019-11-27
Andrew Kenne
d
y
Rep
o
rt ty
p
e const subs
u
mption
e
rror at use site
commit
|
commitdiff
|
tree
2019-11-21
Andrew
Kennedy
Remove some us
e
s
of Errors
.
try (2)
commit
|
commitdiff
|
tree
2019-11-21
And
r
ew
K
ennedy
Rem
o
ve som
e
uses
of
E
rrors
.
try (
3
)
commit
|
commitdiff
|
tree
2019-11-21
Andrew
K
e
nne
d
y
Remove uses of
try
_
add_err
commit
|
commitdiff
|
tree
2019-11-19
Andre
w
Kennedy
Remove
some uses of
E
r
rors
.
try (
4
)
commit
|
commitdiff
|
tree
2019-11-08
Andre
w
Kennedy
Remo
v
e fi
n
al us
e
s
of is
_
sub_type_LEGACY_DEPR
E
CATED
commit
|
commitdiff
|
tree
2019-11-08
A
n
d
r
e
w Kenned
y
R
e
m
ov
e
more uses of is_sub_type_
L
E
G
ACY_DEPRECATED
commit
|
commitdiff
|
tree
2019-11-07
Andr
e
w
K
enn
e
d
y
P
u
t
s
ubty
p
e
_pr
o
p
helpers in separate module
commit
|
commitdiff
|
tree
2019-11-06
Andre
w
Ken
n
edy
Re
m
ove some uses o
f
is_sub_ty
p
e_LEGACY_DEPRECATED
commit
|
commitdiff
|
tree
2019-11-01
Andrew Kennedy
Ru
n
simplify
_
subt
y
pe during transitive closure
commit
|
commitdiff
|
tree
2019-10-16
Andrew Kennedy
Anal
y
se s
c
o
pe o
f
pipe
v
ariable in typi
n
g, not nam
i
ng
commit
|
commitdiff
|
tree
2019-10-14
Andrew
K
ennedy
Fix leak of using
variabl
e
into
catch
commit
|
commitdiff
|
tree
2019-10-10
Andrew Kennedy
Remove tyvars f
u
nctions from TA
S
T interfa
c
e
commit
|
commitdiff
|
tree
2019-10-10
Andrew Kennedy
Simplify linter_equali
t
y_check
by using inferre
d
type
.
.
.
commit
|
commitdiff
|
tree
2019-10-09
Andre
w
Ke
n
n
e
dy
Pers
i
st inf
e
r
r
ed type a
r
gum
e
n
ts in T
A
ST
commit
|
commitdiff
|
tree
2019-10-08
Andrew Kenne
d
y
Re
m
ove unused function from Typi
n
g
_
phase
commit
|
commitdiff
|
tree
2019-10-04
A
ndrew
K
enne
d
y
U
s
e
ty instead o
f
fun_ty fo
r
shall
o
w decl method
s
commit
|
commitdiff
|
tree
2019-10-04
A
n
d
rew Kennedy
Suppo
r
t
synt
a
x for u
n
ion and intersec
t
ion type
s
commit
|
commitdiff
|
tree
2019-10-03
A
n
dre
w
Ken
n
edy
Remov
e
f
t_pos
a
nd
a
dd positions to elem
e
nts
commit
|
commitdiff
|
tree
2019-10-03
Andrew K
e
nned
y
Re
m
ove f
t
_d
e
pr
e
c
ated and ft_dec
l
_
e
rrors
commit
|
commitdiff
|
tree
2019-10-03
Andr
e
w
K
e
nnedy
Remove dead
m
in_vis functions fr
o
m Typing_visibility
commit
|
commitdiff
|
tree
2019-09-23
Andrew Kenn
e
dy
Generate arr
a
y_m
a
p
d
ecl
type
commit
|
commitdiff
|
tree
2019-09-23
Andrew Kennedy
S
p
lit spe
c
ial function signature
cr
e
ati
o
n into separate
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Andrew
K
e
n
ne
d
y
Remove ft_abstr
a
c
t
f
ro
m
fun_
t
ype
commit
|
commitdiff
|
tree
2019-09-05
An
d
rew Kennedy
Do no
t
u
se contin
u
ation for obj_get or class_get
commit
|
commitdiff
|
tree
2019-08-16
Andrew Kennedy
C
o
rrectly account for v
a
riadic parame
t
ers
in vari
a
nce
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Andrew Kennedy
R
e
move de
c
l_ty return f
r
om obj_
g
et and class
_
g
e
t
commit
|
commitdiff
|
tree
2019-08-13
Andr
e
w Kennedy
Remove
r
edun
d
ant fty_
d
ecl from typi
n
g code
commit
|
commitdiff
|
tree
2019-08-13
Andrew
Kennedy
Add "enforced" attribute to par
a
meter and re
t
urn
t
ypes
commit
|
commitdiff
|
tree
2019-08-12
Andrew Kennedy
Explicit at
t
ribute for ge
n
erics
commit
|
commitdiff
|
tree
2019-07-31
Andr
e
w Kennedy
Rep
l
ace checks on enum
decla
r
ation with s
u
btype c
h
e
c
ks
commit
|
commitdiff
|
tree
2019-07-30
Andrew
K
ennedy
Si
m
p
l
i
f
y
o
b
j_g
e
t imple
m
en
t
ation (part 1)
commit
|
commitdiff
|
tree
2019-07-30
And
r
e
w Kennedy
Implement generic typing rule
s
for un
i
ons, inter
s
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2019-07-29
An
d
re
w
Kennedy
Simplify
class_g
e
t implementation
(
p
art
2
)
commit
|
commitdiff
|
tree
2019-07-29
A
n
d
r
ew K
e
n
nedy
S
i
mplify class
_
get im
p
l
e
mentation (part 1)
commit
|
commitdiff
|
tree
2019-07-25
Andrew
Kenne
d
y
Do
n
ot needle
s
s
l
y
c
ompu
t
e type of result of array app
e
n
d
commit
|
commitdiff
|
tree
2019-07-25
And
r
ew K
e
n
nedy
Do
n
o
t nee
d
l
e
ssly compute ty
p
e of r
e
s
ult of array assignment
commit
|
commitdiff
|
tree
2019-07-23
Andrew K
e
n
n
edy
Break
mutual recursi
o
n: sol
v
e
r
commit
|
commitdiff
|
tree
2019-07-23
Andrew Kennedy
Bre
a
k mutual
recursion:
sub
_
stri
n
g
commit
|
commitdiff
|
tree
2019-07-23
An
d
rew Kennedy
New inferen
c
e
: co
n
straint-based async
l
a
m
bda
commit
|
commitdiff
|
tree
2019-07-23
A
n
dr
e
w Ken
n
edy
Introduce
c
he
c
k
for redundant use of generic
parameters
commit
|
commitdiff
|
tree
2019-07-22
Andrew Kennedy
Trea
t
inout para
m
eters as in
v
a
r
iant for pu
r
p
o
ses of
.
.
.
commit
|
commitdiff
|
tree
2019-07-17
Andrew Ken
n
edy
Unify newtype
an
d
enum representations
commit
|
commitdiff
|
tree
2019-07-17
Andre
w
Kennedy
Inout parameters should be trea
t
ed inv
a
ri
a
ntly for
.
.
.
commit
|
commitdiff
|
tree
2019-07-16
Andr
e
w Kennedy
Make arraykey t
h
e def
a
ult bound on enums
commit
|
commitdiff
|
tree
2019-07-16
Andrew K
e
nnedy
Partial
r
ev
e
rt of removal of
generics i
n
hhi files
commit
|
commitdiff
|
tree
2019-07-15
Andrew
Kennedy
Move ty
p
e
p
arameter environment
in
t
o per-c
o
ntinuation
.
.
.
commit
|
commitdiff
|
tree
2019-07-15
A
n
d
r
e
w Kenne
d
y
Ge
n
er
a
te fr
e
s
h
type param
e
t
e
r
s awa
y
from others in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew K
e
nnedy
Av
o
id generati
n
g fresh type names in refinement in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
A
n
d
rew Kenn
e
d
y
Subtyping rules for
i
n
t
ersection
commit
|
commitdiff
|
tree
2019-07-08
An
d
rew
K
e
nnedy
Remove r
e
du
n
d
a
nt ge
n
erics
f
r
o
m hhi f
i
les
commit
|
commitdiff
|
tree
2019-07-05
Andrew Kennedy
N
ew inference: p
r
o
p
erly generate
type variables for
.
.
.
commit
|
commitdiff
|
tree
2019-07-04
A
ndrew Kennedy
F
i
x unsoundness
b
ug
with arithmetic and unre
s
o
lved
.
.
.
commit
|
commitdiff
|
tree
2019-06-30
A
ndre
w
Kennedy
Apply eq
u
al
i
t
i
es before doi
n
g is_sub_type
commit
|
commitdiff
|
tree
2019-06-21
Andrew Kennedy
Subtyping of nul
l
able <: u
n
ion
commit
|
commitdiff
|
tree
2019-06-21
An
d
rew K
e
n
nedy
Simplif
y
XHP c
h
ec
k
in TAST c
h
ecking
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
Clean up two uses if TUt
i
ls
.
i
s
_opti
o
n
commit
|
commitdiff
|
tree
2019-06-19
A
n
dre
w
Ken
n
e
d
y
Reject
u
nset by asserting
s
ubtypes
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
C
l
ean up is
_
su
b
_ty
p
e
(
p
art
2
)
commit
|
commitdiff
|
tree
2019-06-18
Andrew Kennedy
Clean up is_sub_
t
ype (part 1)
commit
|
commitdiff
|
tree
2019-06-18
A
nd
r
ew
Kennedy
Cl
e
a
n
up:
remove fresh_tenv
commit
|
commitdiff
|
tree
2019-06-13
Andrew Ken
n
e
d
y
Remove redundant definition
o
f fresh_type
commit
|
commitdiff
|
tree
2019-06-13
Andre
w
Ke
n
nedy
Ne
w
inference: m
o
ve arraykey index checks into ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
And
r
ew
K
ennedy
Mov
e
f
a
ke memb
e
rs inf
o
i
nto per-continuat
i
on environment
commit
|
commitdiff
|
tree
2019-06-07
Andre
w
Ken
n
e
dy
S
eparate off univer
s
al valu
e
representation f
o
r logg
i
ng
commit
|
commitdiff
|
tree
2019-06-02
A
ndrew
Kenn
e
dy
New inference: clean up
solv
e
_tyvar e
n
try points
commit
|
commitdiff
|
tree
2019-05-31
Andrew Kennedy
F
ix u
n
soundness in is/i
n
stanceof on variable of
gen
e
ric
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Andrew
Kenned
y
New inference cleanup: re
m
ove
pos from Typing_env
.
env
commit
|
commitdiff
|
tree
2019-05-29
A
n
drew Kennedy
New
i
nference: easy cleanup
commit
|
commitdiff
|
tree
2019-05-29
A
n
drew Kennedy
Ne
w
inference: rename fresh_un
r
esolved_typ
e
commit
|
commitdiff
|
tree
2019-05-29
Andre
w
K
e
nn
e
dy
New inference:
r
em
o
ve old-inference legacy expected
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
A
n
dr
e
w Kennedy
New inference: remove new_
i
nference flag and old
paths
commit
|
commitdiff
|
tree
2019-05-22
Andrew Ke
n
nedy
Make new_
i
n
f
erence = 1
.
0
t
he de
f
a
u
lt if not spe
c
ifie
d
.
.
.
commit
|
commitdiff
|
tree
next