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
Track free bytes held in slab alocators
2020-03-03
Andrew
K
ennedy
First
s
ta
b
a
t
h
h_chec
k
commit
|
commitdiff
|
tree
2020-03-03
Andr
e
w Kennedy
Mo
v
e more code ou
t
of ty
p
ing
.
ml
commit
|
commitdiff
|
tree
2020-03-03
Andrew
K
e
nnedy
S
plit typing
.
ml into multiple mo
d
u
l
es
commit
|
commitdiff
|
tree
2020-02-24
And
r
ew Kennedy
Re
f
actor co
n
t
inuations map to
assist Rust oxi
d
ize
commit
|
commitdiff
|
tree
2020-02-19
Andrew
Kenne
d
y
Remo
v
e Tnoth
i
ng de
c
l typ
e
commit
|
commitdiff
|
tree
2020-02-12
Andrew Kennedy
En
a
ble new_inference_lambda by defa
u
lt, remove all
.
.
.
commit
|
commitdiff
|
tree
2020-02-04
Andrew K
e
nnedy
Avoid Reaso
n
.
to_p
o
s in validate type
commit
|
commitdiff
|
tree
2020-01-29
An
d
rew Kenne
d
y
Avoid
acce
s
sing reason
o
n
t
ype
commit
|
commitdiff
|
tree
2020-01-29
A
ndre
w
Kennedy
I
n
in
h
eritance checks get posit
i
ons direct
l
y fro
m
cl
a
s
s
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Andrew
K
enn
e
dy
Fix ba
d
posit
i
on bug
commit
|
commitdiff
|
tree
2020-01-23
A
nd
r
ew Kennedy
Fix bu
i
l
d bre
a
k
commit
|
commitdiff
|
tree
2020-01-23
Andrew
Kenn
e
dy
Actuall
y
ma
k
e t
y
a
n
d constraint_
t
ype opaque
commit
|
commitdiff
|
tree
2020-01-23
Andrew
Kenn
e
d
y
M
a
ke ty opaque in Typin
g
_defs (part 13)
commit
|
commitdiff
|
tree
2020-01-23
A
ndrew
Kenn
e
dy
M
ake t
y
opaque
in T
y
p
i
ng_defs
(
part 1
2
)
commit
|
commitdiff
|
tree
2020-01-23
An
d
r
ew Kenn
e
dy
Make ty opa
q
ue in Typing_
d
efs (p
a
rt
11)
commit
|
commitdiff
|
tree
2020-01-21
Andrew
K
enned
y
M
ake t
y
opaque in Typing_
d
ef
s
(part 10)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Kennedy
Ma
k
e ty opa
q
u
e
in Typi
n
g_d
e
f
s (part
9
)
commit
|
commitdiff
|
tree
2020-01-20
And
r
ew Ke
n
ne
d
y
Make
ty opaque
i
n Typing_defs (p
a
rt 8)
commit
|
commitdiff
|
tree
2020-01-20
A
ndrew Kennedy
Make ty opaque in Typ
i
ng_d
e
fs
(part 7)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Kenn
e
dy
Make ty o
p
a
q
ue in Ty
p
ing_defs (part 6)
commit
|
commitdiff
|
tree
2020-01-20
An
d
rew Kenned
y
Make t
y
opa
q
ue in Typing_defs (pa
r
t 5)
commit
|
commitdiff
|
tree
2020-01-20
Andrew
Kenne
d
y
M
a
k
e
t
y
opaque in
T
yping_
d
efs (
p
art 4
)
commit
|
commitdiff
|
tree
2020-01-20
A
ndre
w
Ke
n
ne
d
y
Make ty opaque
i
n Typing
_
defs (part 3)
commit
|
commitdiff
|
tree
2020-01-16
Andrew Kennedy
Make ty o
p
aque in Typing_defs (par
t
1)
commit
|
commitdiff
|
tree
2020-01-05
Andre
w
K
ennedy
Add on_error to
e
ty_env envi
r
onment
commit
|
commitdiff
|
tree
2019-12-18
A
ndrew Ken
n
edy
Return typ
e
for
hh
p
seu
d
o fun
c
tions sho
u
ld be void
commit
|
commitdiff
|
tree
2019-12-06
An
d
rew Kennedy
End fixed poin
t
iterati
o
n
e
arly if we
reach a
f
ixed
.
.
.
commit
|
commitdiff
|
tree
2019-12-05
Andrew Kennedy
Remove
unnecessary use
of Erro
r
s
.
try
commit
|
commitdiff
|
tree
2019-11-28
Andrew Kenne
d
y
Remo
v
e some uses of Errors
.
try (5)
commit
|
commitdiff
|
tree
2019-11-28
A
n
drew
Kennedy
R
em
o
ve use of Errors
.
try in co
e
r
c
ion processing
commit
|
commitdiff
|
tree
2019-11-27
Andrew Kennedy
Remove an
o
ther use
of Er
r
o
rs
.
try
commit
|
commitdiff
|
tree
2019-11-27
A
n
dre
w
Kennedy
Remove Errors
.
t
ry_add_err
commit
|
commitdiff
|
tree
2019-11-27
Andrew Kenned
y
Report type const subsumptio
n
erro
r
at
u
se site
commit
|
commitdiff
|
tree
2019-11-21
Andr
e
w Kennedy
Remove some uses of Er
r
ors
.
try (2)
commit
|
commitdiff
|
tree
2019-11-21
Andrew Kennedy
Remove some
us
e
s of Errors
.
try (3)
commit
|
commitdiff
|
tree
2019-11-21
And
r
ew Kennedy
Rem
o
ve
u
ses
o
f try
_
add_
e
r
r
commit
|
commitdiff
|
tree
2019-11-19
Andrew Kennedy
R
e
move some
u
se
s
of
Error
s
.
t
ry (4
)
commit
|
commitdiff
|
tree
2019-11-08
A
n
drew Kenned
y
Re
m
ove fin
a
l uses
o
f is_sub_type_LEGAC
Y
_DEPRECATED
commit
|
commitdiff
|
tree
2019-11-08
Andrew
Ken
n
e
d
y
R
e
move
more uses of is
_
sub_type_LEGACY_DEPREC
A
TED
commit
|
commitdiff
|
tree
2019-11-07
And
r
ew Kennedy
Put subtype_pr
o
p helpers in separate module
commit
|
commitdiff
|
tree
2019-11-06
Andre
w
Kenne
d
y
Remove so
m
e uses of
i
s
_sub_
t
ype_LEGA
C
Y_
D
EPREC
A
TED
commit
|
commitdiff
|
tree
2019-11-01
Andrew Kenn
e
dy
Run s
i
mplify_subtype during trans
i
tiv
e
clo
s
ur
e
commit
|
commitdiff
|
tree
2019-10-16
Andrew Kennedy
Analyse scop
e
o
f pipe
v
ariabl
e
i
n
typing, not
naming
commit
|
commitdiff
|
tree
2019-10-14
And
r
ew Kennedy
F
ix leak of using vari
a
b
l
e
int
o
ca
t
c
h
commit
|
commitdiff
|
tree
2019-10-10
A
ndrew Kennedy
R
e
move tyvars
functions fr
o
m T
A
ST
i
nte
r
face
commit
|
commitdiff
|
tree
2019-10-10
And
r
ew
Kenned
y
S
i
mpl
i
fy linter_equality_check by usi
n
g infer
r
e
d
t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2019-10-09
Andrew Ken
n
edy
Persis
t
inferred type arguments in
T
AST
commit
|
commitdiff
|
tree
2019-10-08
A
n
drew Kennedy
Remo
v
e unused function
f
r
om Typ
i
ng_phas
e
commit
|
commitdiff
|
tree
2019-10-04
Andre
w
Ke
n
nedy
Use ty instea
d
of
fun
_
ty for shallow decl
methods
commit
|
commitdiff
|
tree
2019-10-04
Andr
e
w Kennedy
Support syntax f
o
r union a
n
d
intersection types
commit
|
commitdiff
|
tree
2019-10-03
A
n
d
rew Kenned
y
Remo
v
e
ft_p
o
s
a
n
d add position
s
to elements
commit
|
commitdiff
|
tree
2019-10-03
Andrew Kennedy
Remove ft_deprecated and ft_decl_errors
commit
|
commitdiff
|
tree
2019-10-03
Andrew Kennedy
Remove dea
d
m
i
n_vis functions
from Typing
_
v
isibil
i
ty
commit
|
commitdiff
|
tree
2019-09-23
Andr
e
w Kenned
y
G
enerate a
r
ray_map decl
type
commit
|
commitdiff
|
tree
2019-09-23
And
r
e
w
Kennedy
Split special fun
c
tion signature
c
reation into separ
a
te
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
And
r
ew Kenn
e
dy
R
emove ft_abstract from fun_typ
e
commit
|
commitdiff
|
tree
2019-09-05
A
n
drew Kennedy
Do not u
s
e
c
o
n
t
i
nuatio
n
for obj_get or class_get
commit
|
commitdiff
|
tree
2019-08-16
Andrew Kennedy
Correctly
acc
o
unt for v
a
riad
i
c par
a
me
t
ers in v
a
riance
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
And
r
ew Kennedy
Re
m
ove dec
l
_
t
y retur
n
from
o
bj_g
e
t
and class_get
commit
|
commitdiff
|
tree
2019-08-13
Andrew Kennedy
Remove redundant fty_decl fr
o
m ty
p
ing code
commit
|
commitdiff
|
tree
2019-08-13
Andrew Kenne
d
y
Add "enforced
"
attr
i
bute to
para
m
e
t
e
r and return types
commit
|
commitdiff
|
tree
2019-08-12
Andrew Kennedy
E
xplicit attribute for
g
enerics
commit
|
commitdiff
|
tree
2019-07-31
Andrew Kenne
d
y
Replace checks on e
n
um dec
l
ara
t
ion w
i
th subtype checks
commit
|
commitdiff
|
tree
2019-07-30
Andrew Ke
n
nedy
Simplify obj_get
i
m
pl
e
mentation
(par
t
1)
commit
|
commitdiff
|
tree
2019-07-30
A
ndrew Kennedy
Implement generic typing
r
ul
e
s
f
or unions, intersecti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2019-07-29
Andrew Kennedy
Simplify c
l
ass
_
get implem
e
ntation (par
t
2)
commit
|
commitdiff
|
tree
2019-07-29
Andrew Ke
n
nedy
Simplify class_ge
t
implementa
t
ion (part 1)
commit
|
commitdiff
|
tree
2019-07-25
Andr
e
w Kennedy
Do
not n
e
edlessly
compute typ
e
of result of
a
rray
appe
n
d
commit
|
commitdiff
|
tree
2019-07-25
Andrew Kennedy
D
o not
needlessl
y
co
m
pute type of
r
e
sult
o
f array a
s
s
ignment
commit
|
commitdiff
|
tree
2019-07-23
A
ndrew Kennedy
Brea
k
m
u
tual recur
s
ion: solver
commit
|
commitdiff
|
tree
2019-07-23
A
n
drew Kenn
e
dy
B
reak
m
utual recursion: sub_s
t
ring
commit
|
commitdiff
|
tree
2019-07-23
A
ndrew
K
ennedy
New inference: const
r
aint-based async lam
b
da
commit
|
commitdiff
|
tree
2019-07-23
A
ndrew Kennedy
I
ntroduc
e
chec
k
for red
u
n
d
ant use of g
e
n
eric parameters
commit
|
commitdiff
|
tree
2019-07-22
Andre
w
Ke
n
n
ed
y
T
reat
i
n
o
ut parameters as invariant f
o
r
purpos
e
s of
.
.
.
commit
|
commitdiff
|
tree
2019-07-17
Andrew Kenned
y
U
n
ify
n
ewtype and enum repr
e
sentati
o
ns
commit
|
commitdiff
|
tree
2019-07-17
Andrew Ken
n
edy
Inout parameters
should be treat
e
d invar
i
antl
y
fo
r
.
.
.
commit
|
commitdiff
|
tree
2019-07-16
Andrew K
e
n
n
edy
Make arra
y
key
t
he default bound on e
n
ums
commit
|
commitdiff
|
tree
2019-07-16
Andrew Kennedy
Par
t
ial revert of remo
v
al of generics
i
n
h
hi f
i
les
commit
|
commitdiff
|
tree
2019-07-15
Andre
w
Kennedy
Move type parame
t
er e
n
vironmen
t
into per
-
conti
n
uation
.
.
.
commit
|
commitdiff
|
tree
2019-07-15
And
r
ew Kennedy
G
e
n
erate fr
e
s
h
t
y
pe
param
e
ters
a
way from others in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
A
n
d
rew K
e
nnedy
Avoid generating fresh type
n
ames in refinement
i
n
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew Kennedy
Subtyping rules
f
or int
e
r
s
ec
t
ion
commit
|
commitdiff
|
tree
2019-07-08
Andrew Kenn
e
d
y
Remove redundan
t
generics fro
m
hhi
files
commit
|
commitdiff
|
tree
2019-07-05
Andrew Kenned
y
New inferenc
e
: properly generate typ
e
variables
f
or
.
.
.
commit
|
commitdiff
|
tree
2019-07-04
Andr
e
w
K
ennedy
F
ix
u
nsoundness bug with arithmetic an
d
unre
s
olved
.
.
.
commit
|
commitdiff
|
tree
2019-06-30
Andre
w
Kennedy
A
pply equa
l
i
ties before do
i
ng is
_
su
b
_type
commit
|
commitdiff
|
tree
2019-06-21
Andr
e
w Kennedy
Sub
t
ypi
n
g of n
u
llable <: union
commit
|
commitdiff
|
tree
2019-06-21
Andrew Kenned
y
Simplify XHP
check
i
n TAST c
h
e
cking
commit
|
commitdiff
|
tree
2019-06-19
Andrew Ke
n
n
e
dy
C
lean up two us
e
s if TUtils
.
is
_
o
p
tion
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
Rej
e
ct unset by ass
e
rting subtypes
commit
|
commitdiff
|
tree
2019-06-19
An
d
rew Kennedy
Clean up is_
s
ub
_
t
ype (part 2)
commit
|
commitdiff
|
tree
2019-06-18
Andrew Kennedy
Clean up is_sub_type (
p
art 1)
commit
|
commitdiff
|
tree
2019-06-18
Andrew
K
e
nne
d
y
Cleanu
p
:
rem
o
v
e fresh_tenv
commit
|
commitdiff
|
tree
2019-06-13
Andrew Kennedy
Remov
e
redu
n
dant de
f
inition of
fresh_type
commit
|
commitdiff
|
tree
2019-06-13
And
r
ew
K
ennedy
New inference:
move
a
rraykey index
checks
in
t
o type
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
Andrew Kenn
e
dy
Move fa
k
e
members info in
t
o per-continuation
environ
m
ent
commit
|
commitdiff
|
tree
2019-06-07
And
r
ew Kennedy
Separate off
universal
v
alue representation for logging
commit
|
commitdiff
|
tree
2019-06-02
Andrew
K
ennedy
Ne
w
inference: cle
a
n
u
p sol
v
e_ty
v
ar
entry po
i
nts
commit
|
commitdiff
|
tree
2019-05-31
Andrew Ken
n
ed
y
Fix unsoundness in is/instanceof
o
n variable of ge
n
eric
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
Andrew Kennedy
New inf
e
rence
cleanup: rem
o
ve p
o
s from Typing_env
.
env
commit
|
commitdiff
|
tree
next