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
Add a setting for disabling remote type checking if errors in certain phases are...
2020-05-05
A
n
d
rew
Kennedy
Bad
p
osition
for erro
r
re
l
ating
t
o dynamic property
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
Andr
e
w Kennedy
D
o not c
h
eck wrong class
when the
r
e are duplic
a
te
defin
i
tion
.
.
.
commit
|
commitdiff
|
tree
2020-04-30
Andr
e
w Kennedy
F
ix ar
r
a
y refinement
b
ug
commit
|
commitdiff
|
tree
2020-04-30
Andr
e
w
K
enn
e
dy
Remove ft_ari
t
y (par
t
1)
commit
|
commitdiff
|
tree
2020-04-23
Andrew
Kennedy
Propagate varianc
e
information t
o
bounds on
t
ype p
a
rameters
commit
|
commitdiff
|
tree
2020-04-20
A
nd
r
ew K
e
n
nedy
U
n
i
fy de
c
l
a
nd locl type
r
epresentation of arrays
commit
|
commitdiff
|
tree
2020-04-17
Andrew Ke
n
nedy
Add test harn
e
ss for h
h
_check
commit
|
commitdiff
|
tree
2020-04-17
Andr
e
w K
e
nned
y
Add tast op
t
ion to hh_check
commit
|
commitdiff
|
tree
2020-04-14
A
ndre
w
Kennedy
R
eplace Fell
i
p
s
i
s
b
y
u
se of Fvariadi
c
commit
|
commitdiff
|
tree
2020-04-14
Andrew Kenne
d
y
S
m
all changes to make TAST output compati
b
l
e
commit
|
commitdiff
|
tree
2020-04-09
A
ndre
w
Kennedy
Av
o
id r
e
dundan
t
get_cl
a
ss in expand_
t
ypeconst
commit
|
commitdiff
|
tree
2020-04-09
Andrew
Kennedy
Add d
e
f
i
nition site positio
n
to cyclic typedef error
commit
|
commitdiff
|
tree
2020-04-09
An
d
rew
Kenned
y
Rep
l
ace use of
bools in dec
l
elemen
t
by bitw
i
se flags
commit
|
commitdiff
|
tree
2020-04-09
A
n
d
r
ew Ke
n
nedy
Replace use of bools in par
a
m by bitwise flag
s
commit
|
commitdiff
|
tree
2020-04-07
Andrew Ke
n
nedy
Wrap unpack errors using on_error
commit
|
commitdiff
|
tree
2020-04-07
An
d
rew
Kennedy
Implement transit
i
ve inherita
n
ce
in s
u
btyping
commit
|
commitdiff
|
tree
2020-04-03
Andrew Kennedy
Strengthen redundant
gene
r
ics check to a type c
h
eck
e
r
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Andr
e
w
K
en
n
ed
y
Move xhp
_
at
t
r
i
nto ce_flags
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
Replace use
o
f bools
i
n class
e
l
ement by bitwise flags
commit
|
commitdiff
|
tree
2020-04-02
A
ndr
e
w Kennedy
R
e
mo
v
e
max arity in ft_arity, u
s
e List
.
length
f
p
_params
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Andrew Ke
n
nedy
R
e
place use
of bools etc in fun_type
b
y b
i
t
w
i
s
e flags
commit
|
commitdiff
|
tree
2020-04-01
Andrew Ke
n
n
e
d
y
Fix infin
i
te loop in is_e
n
forceable
commit
|
commitdiff
|
tree
2020-03-31
Andr
e
w K
e
nned
y
Av
o
id calls to get_class wher
e
possible
commit
|
commitdiff
|
tree
2020-03-30
Andrew K
e
nnedy
Use namin
g
convention
t
o determine varia
n
ce of
generic
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
Andrew Kennedy
Implement in
h
e
r
itance in subtyping
commit
|
commitdiff
|
tree
2020-03-30
A
n
drew
K
ennedy
Initial implementation of s
u
b
typing, return
statement
commit
|
commitdiff
|
tree
2020-03-20
Andrew Kennedy
K
i
ll AKempt
y
array
type
commit
|
commitdiff
|
tree
2020-03-10
Andrew Kenned
y
Allocate subtype pro
p
osit
i
ons in the
are
n
a
commit
|
commitdiff
|
tree
2020-03-10
Andrew Kennedy
A
u
x
iliary func
t
ions on
types
commit
|
commitdiff
|
tree
2020-03-06
A
n
drew
Ken
n
edy
Fix position bug
commit
|
commitdiff
|
tree
2020-03-05
Andrew Kennedy
C
l
ean
u
p
af
t
er o
p
aq
u
e ty change
commit
|
commitdiff
|
tree
2020-03-05
Andrew Kennedy
Extend TypeBuilder with classes and well-k
n
own
t
ypes
commit
|
commitdiff
|
tree
2020-03-04
Andrew Kennedy
Mo
v
e method_def out of typ
i
ng
.
ml
commit
|
commitdiff
|
tree
2020-03-03
Andrew Kennedy
F
i
r
st stab at hh_c
h
eck
commit
|
commitdiff
|
tree
2020-03-03
Andrew Kennedy
Move more
c
ode out of typing
.
m
l
commit
|
commitdiff
|
tree
2020-03-03
An
d
re
w
K
ennedy
S
p
l
i
t typing
.
m
l into multiple modu
l
es
commit
|
commitdiff
|
tree
2020-02-24
Andrew Kennedy
Refact
o
r continuations
m
ap to
a
s
sist Rust oxid
i
ze
commit
|
commitdiff
|
tree
2020-02-19
A
n
drew Ke
n
nedy
Remove Tnothing decl
t
ype
commit
|
commitdiff
|
tree
2020-02-12
Andrew Kenne
d
y
Enable new_i
n
ference_
l
a
mbda by default, r
e
m
ove all
.
.
.
commit
|
commitdiff
|
tree
2020-02-04
Andrew Kennedy
Avoid
R
eason
.
to_pos in v
a
lidate
type
commit
|
commitdiff
|
tree
2020-01-29
A
n
drew Kennedy
A
void accessing reason
o
n
t
ype
commit
|
commitdiff
|
tree
2020-01-29
A
ndrew Kennedy
In in
h
eritan
c
e c
h
e
c
ks get
p
ositions directly from
c
lass
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Andrew Kennedy
Fix b
a
d position b
u
g
commit
|
commitdiff
|
tree
2020-01-23
Andrew
K
ennedy
F
ix build bre
a
k
commit
|
commitdiff
|
tree
2020-01-23
A
n
d
r
ew Kennedy
Actuall
y
make t
y
an
d
constraint_
t
y
p
e o
p
aque
commit
|
commitdiff
|
tree
2020-01-23
A
n
d
r
ew Kenne
d
y
Make ty opaque in Typing_
d
efs (part 13)
commit
|
commitdiff
|
tree
2020-01-23
Andrew Kennedy
Make
t
y
opaque in Typing_defs
(part
1
2)
commit
|
commitdiff
|
tree
2020-01-23
Andrew K
e
nn
e
dy
Mak
e
ty opaque in Typing_def
s
(part 11)
commit
|
commitdiff
|
tree
2020-01-21
Andrew
K
ennedy
Make
t
y opaque in Typing_de
f
s (part
1
0
)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Ken
n
edy
M
ake ty opaque in
Typing_defs (pa
r
t 9)
commit
|
commitdiff
|
tree
2020-01-20
And
r
ew
K
ennedy
Make ty opaque
in Typing_de
f
s (p
a
rt 8
)
commit
|
commitdiff
|
tree
2020-01-20
An
d
rew Ke
n
nedy
Make ty
o
paqu
e
in
Typ
i
ng_defs
(part 7)
commit
|
commitdiff
|
tree
2020-01-20
Andrew K
e
nnedy
Ma
k
e ty o
p
aqu
e
in Typing_defs (part
6)
commit
|
commitdiff
|
tree
2020-01-20
An
d
r
e
w
K
enn
e
dy
Make
t
y
o
p
aq
u
e in Ty
p
ing_defs (part 5)
commit
|
commitdiff
|
tree
2020-01-20
A
n
d
rew Ken
n
edy
Make ty opaq
u
e i
n
Typ
i
ng_defs (pa
r
t 4)
commit
|
commitdiff
|
tree
2020-01-20
Andrew
K
enn
e
d
y
Make ty opaq
u
e i
n
T
y
pi
n
g_defs (part
3)
commit
|
commitdiff
|
tree
2020-01-16
A
n
drew Kennedy
Make ty opaque i
n
Typing_def
s
(part
1
)
commit
|
commitdiff
|
tree
2020-01-05
Andrew Kennedy
A
dd on
_
erro
r
to ety_
e
n
v
envi
r
o
n
ment
commit
|
commitdiff
|
tree
2019-12-18
Andrew Kennedy
Return
t
ype f
o
r hh pseudo
f
u
n
ctio
n
s should
b
e v
o
i
d
commit
|
commitdiff
|
tree
2019-12-06
Andrew
Ke
n
nedy
E
n
d fixed po
i
n
t
iteration
early if we re
a
c
h a fixed
.
.
.
commit
|
commitdiff
|
tree
2019-12-05
And
r
ew
Kennedy
Rem
o
ve
u
nnecessa
r
y use
of Erro
r
s
.
try
commit
|
commitdiff
|
tree
2019-11-28
Andrew
Kenn
e
dy
Remov
e
som
e
u
s
es of
E
r
rors
.
try (5)
commit
|
commitdiff
|
tree
2019-11-28
And
r
ew Kennedy
Remo
v
e use of Errors
.
try in coercion
p
r
o
cessi
n
g
commit
|
commitdiff
|
tree
2019-11-27
Andrew Kennedy
Rem
o
v
e another us
e
of Errors
.
try
commit
|
commitdiff
|
tree
2019-11-27
A
ndrew Kennedy
Remove Err
o
rs
.
try_add
_
err
commit
|
commitdiff
|
tree
2019-11-27
Andrew Ken
n
e
d
y
Report type c
o
nst subsum
p
tion er
r
or at
u
se si
t
e
commit
|
commitdiff
|
tree
2019-11-21
An
d
re
w
Kenne
d
y
Remo
v
e s
o
me uses of Errors
.
t
r
y (
2
)
commit
|
commitdiff
|
tree
2019-11-21
A
ndrew
K
ennedy
Remove some uses of Errors
.
try (3)
commit
|
commitdiff
|
tree
2019-11-21
Andr
e
w Kennedy
Remove uses of try_add_err
commit
|
commitdiff
|
tree
2019-11-19
A
n
d
rew Kenn
e
dy
Remove
some uses o
f
Er
r
ors
.
try (4)
commit
|
commitdiff
|
tree
2019-11-08
A
n
drew Kennedy
Remov
e
f
inal uses of i
s
_sub_type_
L
EGACY_DEP
R
ECATED
commit
|
commitdiff
|
tree
2019-11-08
A
ndrew Kenn
e
dy
Remove more uses of i
s
_sub_type_
L
EGACY_DEPR
E
CATED
commit
|
commitdiff
|
tree
2019-11-07
Andrew Kenn
e
d
y
Put subtype_prop h
e
lpers in separate mod
u
le
commit
|
commitdiff
|
tree
2019-11-06
An
d
rew
Ken
n
edy
R
emove some uses of is
_
sub_type_LEGACY_DEPRECATED
commit
|
commitdiff
|
tree
2019-11-01
Andrew
K
ennedy
Run
s
implify_su
b
type during t
r
a
ns
i
t
i
v
e
clo
s
ure
commit
|
commitdiff
|
tree
2019-10-16
Andrew Ke
n
nedy
An
a
lyse scope of pipe variable in ty
p
ing
,
n
o
t na
m
ing
commit
|
commitdiff
|
tree
2019-10-14
Andrew K
e
nn
e
dy
Fix leak of usi
n
g
varia
b
le into catch
commit
|
commitdiff
|
tree
2019-10-10
A
n
dr
e
w Kennedy
Remove t
y
v
ars func
t
ions
f
r
o
m
T
AST int
e
rface
commit
|
commitdiff
|
tree
2019-10-10
Andrew Kenn
e
dy
Simpli
f
y linter_equality_chec
k
by using infer
r
ed typ
e
.
.
.
commit
|
commitdiff
|
tree
2019-10-09
Andrew Kennedy
Persist i
n
ferred type a
r
gume
n
t
s
in TAST
commit
|
commitdiff
|
tree
2019-10-08
And
r
ew
K
en
n
edy
Remove
u
nused function from
T
yping_phase
commit
|
commitdiff
|
tree
2019-10-04
Andr
e
w
K
en
n
edy
Us
e
ty instead of fun_ty
for shall
o
w decl m
e
tho
d
s
commit
|
commitdiff
|
tree
2019-10-04
A
n
drew Ke
n
nedy
S
u
pport synt
a
x for u
n
ion and intersection types
commit
|
commitdiff
|
tree
2019-10-03
A
ndrew K
e
nnedy
Remo
v
e ft_pos and add p
o
sitio
n
s
to elemen
t
s
commit
|
commitdiff
|
tree
2019-10-03
A
n
drew Kennedy
Re
m
o
ve ft_d
e
pre
c
ated and ft_
d
ecl_er
r
ors
commit
|
commitdiff
|
tree
2019-10-03
Andrew Ke
n
nedy
Remov
e
dead min_vis fun
c
tions f
r
o
m
Ty
p
ing_visibil
i
ty
commit
|
commitdiff
|
tree
2019-09-23
Andrew Kennedy
Generate array
_
map dec
l
type
commit
|
commitdiff
|
tree
2019-09-23
A
n
drew Kennedy
S
plit special function signatur
e
cre
a
tion
i
nto
s
epara
t
e
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
A
n
dre
w
K
ennedy
Rem
o
v
e
ft_abs
t
ract from
fun_type
commit
|
commitdiff
|
tree
2019-09-05
A
n
drew Kennedy
Do
not us
e
continuati
o
n for obj_get or class
_
get
commit
|
commitdiff
|
tree
2019-08-16
A
n
drew
K
enned
y
C
o
rrec
t
ly ac
c
o
u
nt
fo
r
variadic
p
aram
e
ters in va
r
iance
.
.
.
commit
|
commitdiff
|
tree
2019-08-14
Andrew
K
e
nnedy
Remove d
e
cl_ty return from obj_get and class_g
e
t
commit
|
commitdiff
|
tree
2019-08-13
Andrew Kennedy
Remov
e
redundant
f
ty_decl fro
m
t
y
pi
n
g
cod
e
commit
|
commitdiff
|
tree
2019-08-13
An
d
rew Kennedy
Add "enforced" a
t
trib
u
t
e to param
e
ter
a
nd re
t
urn types
commit
|
commitdiff
|
tree
2019-08-12
Andrew Kennedy
Explicit att
r
ibute fo
r
gene
r
ics
commit
|
commitdiff
|
tree
2019-07-31
A
n
dre
w
Kennedy
R
eplace
c
hec
k
s
o
n enum declarat
i
on with subtype
c
h
e
ck
s
commit
|
commitdiff
|
tree
2019-07-30
Andre
w
Kennedy
S
i
mplify obj_get imple
m
ent
a
tion
(
part 1)
commit
|
commitdiff
|
tree
2019-07-30
Andrew Kennedy
Implement generi
c
t
yping
r
ules for
u
nio
n
s
,
intersecti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2019-07-29
Andrew Kenn
e
dy
Simplify
c
l
ass_get im
p
lemen
t
atio
n
(part 2)
commit
|
commitdiff
|
tree
2019-07-29
Andrew Kenned
y
Si
m
plify class_get imple
m
entation (part 1)
commit
|
commitdiff
|
tree
next