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
handle typeconst inheritance
2022-02-09
And
r
ew Kenned
y
Remove fu
n
_varia
d
icity from AAST
commit
|
commitdiff
|
tree
2022-02-02
Andr
e
w
Kenned
y
Clean
u
p
v
aria
d
ics part 1
:
add
v
a
ri
a
dic fl
a
g
to fun_type
commit
|
commitdiff
|
tree
2022-01-31
And
r
ew
K
en
n
edy
A
void unneces
s
ary dis
j
u
nction in subtyping
commit
|
commitdiff
|
tree
2022-01-31
Andr
e
w
K
ennedy
Simplify intersecti
o
ns with Tany in subtyping
commit
|
commitdiff
|
tree
2022-01-27
Andrew
Kenned
y
Option to log non-singleton disjunc
t
io
n
s
i
n subtyping
commit
|
commitdiff
|
tree
2022-01-25
Andrew Kennedy
Fix e
m
p
ty position
s
commit
|
commitdiff
|
tree
2022-01-19
Andr
e
w
Ke
n
nedy
Imple
m
ent
like pu
s
h
i
n
g for
newtyp
e
commit
|
commitdiff
|
tree
2022-01-19
Andrew
Kennedy
Add logging
of subtype propositio
n
s from subtyping
commit
|
commitdiff
|
tree
2022-01-18
Andrew Kenned
y
Clean up
stri
p
_dynamic
commit
|
commitdiff
|
tree
2022-01-17
Andrew Kennedy
Increa
s
e threshold for typechecker perf test
commit
|
commitdiff
|
tree
2022-01-13
A
n
drew
Kennedy
Reject ca
l
ls in l-value
p
o
sition
commit
|
commitdiff
|
tree
2022-01-12
Andrew Kennedy
Set expected ty
p
e to dy
n
ami
c
for argumen
t
s t
o
dynamic
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Andrew K
e
nne
d
y
Add typeh
o
le
t
est for override issue
commit
|
commitdiff
|
tree
2022-01-11
Andrew Ke
n
ned
y
Suppo
r
t throw on dynam
i
c
commit
|
commitdiff
|
tree
2022-01-10
And
r
ew Kennedy
E
n
s
u
re
that classn
a
me<E> for enu
m
E supports d
y
namic
commit
|
commitdiff
|
tree
2022-01-10
Andrew Ken
n
edy
Mor
e
fixes for
l
i
ke-pushing
commit
|
commitdiff
|
tree
2022-01-07
A
ndrew Kennedy
P
essimisation
smoke
t
est for hhi e
r
rors
commit
|
commitdiff
|
tree
2022-01-06
Andrew
K
ennedy
Fix
i
s
s
u
e
with
l
ike-pushing
commit
|
commitdiff
|
tree
2022-01-06
Andrew Kenned
y
Gener
a
lize lik
e
-subtyping to
u
ser-
d
e
f
ined gene
r
ic typ
e
s
commit
|
commitdiff
|
tree
2021-12-29
A
n
drew
K
ennedy
P
u
s
h li
k
e t
h
rough type constructors
commit
|
commitdiff
|
tree
2021-12-29
Andrew Ke
n
nedy
Do not
c
reate exact types from fina
l
classes
commit
|
commitdiff
|
tree
2021-12-17
An
d
re
w
K
e
nnedy
Correc
t
ly
elide UN
S
AFE
_
CAST
commit
|
commitdiff
|
tree
2021-12-15
Andrew Kennedy
Eliminate
F
I
XME fro
m
test
commit
|
commitdiff
|
tree
2021-12-15
Andrew Kennedy
O
b
serve su
p
por
t
dyn of fu
n
c
tion
t
yp
e
as expected typ
e
commit
|
commitdiff
|
tree
2021-12-14
And
r
ew Ken
n
edy
Fix emitter so that al
l
correct uses o
f
UNSAFE_CAST
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
A
n
drew Kennedy
Avoid
c
ollecting tyvar
varianc
e
if
env tyvars is empt
y
commit
|
commitdiff
|
tree
2021-12-10
Andrew Kennedy
Reject u
s
e of UN
S
AFE_
C
AST as
oper
a
nd of awa
i
t
o
peration
commit
|
commitdiff
|
tree
2021-12-10
Andrew Kennedy
Ban UNSAFE_CAST in lval
u
es
commit
|
commitdiff
|
tree
2021-12-08
Andrew Kenned
y
C
orrectly
check SDT lambd
a
under dynamic
assumptio
n
s
commit
|
commitdiff
|
tree
2021-12-07
Andrew Kennedy
R
e
m
ove F
V
elli
p
sis
commit
|
commitdiff
|
tree
2021-12-06
An
d
rew Kennedy
Refine
m
ent of supportdyn open shapes
commit
|
commitdiff
|
tree
2021-12-02
A
ndrew Kennedy
s
u
ppo
r
tdynamic as a generic type alias
commit
|
commitdiff
|
tree
2021-11-18
Andrew Kennedy
More accur
a
t
e
is/as l
i
n
ting
commit
|
commitdiff
|
tree
2021-11-17
Andrew Kennedy
Variance linter shou
l
d i
g
nore
reified generic
parameters
commit
|
commitdiff
|
tree
2021-11-10
Andre
w
K
e
nnedy
Support SDT on lambdas
commit
|
commitdiff
|
tree
2021-11-10
Andrew Kennedy
supp
o
rtd
y
namic shoul
d
be a subtype o
f
nonnull
commit
|
commitdiff
|
tree
2021-11-09
Andrew Kennedy
Move s
o
m
e
parameter
-
related func
t
ions
i
nto
a
ne
w
module
commit
|
commitdiff
|
tree
2021-11-09
A
nd
r
ew
Kennedy
Prep work for SDT on
lamb
d
a
commit
|
commitdiff
|
tree
2021-11-09
Andrew Kenned
y
E
asy
re
f
actoring of some coeffects code
commit
|
commitdiff
|
tree
2021-11-09
Andrew Kennedy
Move d
y
namic t
e
st into dynamic test directory
commit
|
commitdiff
|
tree
2021-11-05
Andrew Kenn
e
dy
Move lambda inference
c
od
e
o
ut into its own func
t
ion
commit
|
commitdiff
|
tree
2021-11-04
And
r
ew K
e
nnedy
Remove redundant partial mode
f
or
l
ambd
a
commit
|
commitdiff
|
tree
2021-11-04
And
r
e
w
K
en
n
edy
R
e
m
o
ve
support for dynami
c
view
commit
|
commitdiff
|
tree
2021-11-03
Andrew Kennedy
Move some funct
i
ons
o
ut
o
f
t
y
ping
commit
|
commitdiff
|
tree
2021-11-03
Andrew Kennedy
Move c
h
ecking of t
y
pedefs into own mod
u
le, clean
u
p
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Andr
e
w Ke
n
nedy
Clea
n
u
p checking of a
t
tribut
e
s
commit
|
commitdiff
|
tree
2021-11-02
Andrew
Kennedy
D
isable pe
s
simi
s
a
tio
n
i
n
se
l
ected test dire
c
tories
commit
|
commitdiff
|
tree
2021-10-27
Andrew
K
e
n
nedy
D
o
not visi
t
final
l
y block twice durin
g
NAS
T
visit
commit
|
commitdiff
|
tree
2021-10-26
Andre
w
Kennedy
Re
m
ov
e
dynam
i
c
f
rom like-type
e
nfor
c
ed
p
a
r
ameters before
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Andrew Kenne
d
y
Read
p
essimised hhi fi
l
es to hh_sin
g
le_typ
e
_check on
.
.
.
commit
|
commitdiff
|
tree
2021-10-25
An
d
rew
Kenne
d
y
Clean up magi
c
_builtins i
n
hh_single_t
y
p
e_chec
k
commit
|
commitdiff
|
tree
2021-10-21
A
n
drew Ken
n
edy
Skip HK an
d
class leve
l
w
here fe
a
t
u
r
e
tests
commit
|
commitdiff
|
tree
2021-10-20
And
r
e
w
Kennedy
Skip le
g
a
cy like type
s
tests
commit
|
commitdiff
|
tree
2021-10-20
Andrew Kennedy
S
DT function types
should be subt
y
pe of supportdynamic
commit
|
commitdiff
|
tree
2021-10-19
A
n
d
r
ew Ken
n
e
d
y
Change AST nodes Obj_g
e
t
a
nd C
l
ass_get to includ
e
a
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
A
nd
r
e
w
K
ennedy
A
dd SDT flag to function t
y
pes
commit
|
commitdiff
|
tree
2021-10-13
A
ndr
e
w Ken
n
edy
Cha
n
ge A
S
T no
d
e
s
Obj_get and
Class
_
g
et to inclu
d
e
a
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Andre
w
Kenne
d
y
Add
t
est for require ext
e
nds t
y
pehole
commit
|
commitdiff
|
tree
2021-09-29
Andrew
K
e
nnedy
Linte
r
a
dv
i
ce
o
n va
r
iance
commit
|
commitdiff
|
tree
2021-09-17
Andrew
Ke
n
nedy
is_dispo
s
able via get_
a
ncestor
commit
|
commitdiff
|
tree
2021-09-13
Andrew Kennedy
Fast exit
from subtypi
n
g with Terr
commit
|
commitdiff
|
tree
2021-08-26
An
d
rew Ke
n
nedy
Remov
e
membe
r
s_fully_k
n
o
w
n fiel
d
commit
|
commitdiff
|
tree
2021-08-23
A
n
d
rew Ke
n
n
e
dy
Clean up exten
d
s ch
e
c
k
s to
improve performance
commit
|
commitdiff
|
tree
2021-08-20
Andrew Ken
n
ed
y
U
s
e
required-ancestor
s
as we
l
l a
s
normal ancestors
.
.
.
commit
|
commitdiff
|
tree
2021-08-20
Andrew Kennedy
D
o not
c
h
e
ck consts agai
n
st the
m
selv
e
s in ove
r
ride
.
.
.
commit
|
commitdiff
|
tree
2021-08-18
A
ndrew Kennedy
Improved bidirect
i
onal chec
k
i
ng for ImmVector l
i
ter
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2021-08-18
Andrew Kennedy
Treat
expressi
o
n-depe
n
dent types as fi
n
a
l
wh
e
n compu
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2021-08-06
A
nd
r
ew Kennedy
Deal wit
h
f
i
nal types sp
e
cially when con
s
tructing u
n
ions
commit
|
commitdiff
|
tree
2021-08-02
Andrew Kennedy
A
dd option to
skip hierarchy checks
commit
|
commitdiff
|
tree
2021-07-18
Andrew Kenned
y
L
inter for det
e
ct
i
n
g
di
s
j
oint
type arguments on selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2021-06-28
Andrew Kennedy
Remove
a
l
l_
e
xt
e
nds_a
n
cestors
commit
|
commitdiff
|
tree
2021-06-24
Andr
e
w Kennedy
Repla
c
e use
of Cls
.
e
xtends
b
y Cls
.
ha
s
_an
c
e
st
o
r
commit
|
commitdiff
|
tree
2021-06-17
Andrew Kennedy
Ch
e
ck acce
s
sib
i
lity o
f
types
in is/as hints
commit
|
commitdiff
|
tree
2021-06-16
Andrew
K
ennedy
C
h
eck accessibility of classes in
clas
s
exp
r
essions
commit
|
commitdiff
|
tree
2021-06-15
Andrew Kennedy
Simplify logic for protected access
commit
|
commitdiff
|
tree
2021-06-14
A
n
d
rew Kennedy
Simpli
f
y logic for
private ac
c
ess
commit
|
commitdiff
|
tree
2021-06-10
Andrew
Ke
n
nedy
Introduce internal
c
lass
e
s, and check use in
types
.
.
.
commit
|
commitdiff
|
tree
2021-06-07
Andrew Kenne
d
y
Ad
d
c
u
rren
t
m
odule
to environment
commit
|
commitdiff
|
tree
2021-06-04
Andrew K
e
nned
y
M
o
dule
a
ttribute on
top-le
v
el en
t
ities
commit
|
commitdiff
|
tree
2021-06-03
An
d
rew Ken
n
e
d
y
Add som
e
c
omments for
ty
p
e
v
a
r
iable
scopes
commit
|
commitdiff
|
tree
2021-06-03
Andrew K
e
n
nedy
Flag for modules
commit
|
commitdiff
|
tree
2021-06-01
A
n
drew Kenne
d
y
Typing_phase c
o
mments
and renam
e
commit
|
commitdiff
|
tree
2021-05-14
And
r
ew Kennedy
R
em
o
ve
c
heck_c
o
nstraint
s
parameter
from static_class_
i
d
commit
|
commitdiff
|
tree
2021-05-12
An
d
rew Kenn
e
dy
Type hole test for yield-send
issue
commit
|
commitdiff
|
tree
2021-05-11
A
n
d
rew K
e
nnedy
Array s
e
t
m
ight throw
commit
|
commitdiff
|
tree
2021-05-11
A
n
drew Ke
n
nedy
Add ty
p
ehole test
commit
|
commitdiff
|
tree
2021-05-10
Andrew Kennedy
Add one m
o
r
e
ty
p
ehole test
commit
|
commitdiff
|
tree
2021-05-10
Andrew Ken
n
ed
y
Spur
i
ous
e
r
r
or when acc
e
ssing method
on c
l
ass with
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
Andrew Kennedy
A
dd more typehole
tests
commit
|
commitdiff
|
tree
2021-05-05
Andrew Kenne
d
y
Imp
l
e
ment
c
onditionally-dynamic
classes
commit
|
commitdiff
|
tree
2021-05-05
A
n
drew Kennedy
A
d
d
regressi
o
n t
e
sts for
t
ypeh
o
l
e
s
commit
|
commitdiff
|
tree
2021-04-30
Andrew K
e
nned
y
Renam
e
a
t
tribu
t
e
commit
|
commitdiff
|
tree
2021-04-28
Andrew Kennedy
Re
f
actor e
n
v
_
w
ith_self
commit
|
commitdiff
|
tree
2021-04-28
Andrew Ken
n
edy
Imple
m
ent
t
his as an implicit
g
e
n
eric paramet
e
r
commit
|
commitdiff
|
tree
2021-04-28
Andrew
Kennedy
Dead code in typing
commit
|
commitdiff
|
tree
2021-04-06
Andr
e
w Kennedy
Fi
x
ref
i
n
e
ment when
cla
s
s isn't
direct ancestor
commit
|
commitdiff
|
tree
2021-03-30
Andrew
K
ennedy
D
o
not for
c
e GC at st
a
r
t
of fi
l
e pr
o
ce
s
sing
commit
|
commitdiff
|
tree
2021-03-30
Andre
w
Kennedy
Check dyn
a
mic m
e
mber acc
e
ss wit
h
i
n dyna
m
ic c
l
ass for
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
An
d
rew Ke
n
n
edy
Rem
o
v
e implements dyn
a
mi
c
syntax
commit
|
commitdiff
|
tree
2021-03-30
Andrew Kenned
y
Use d
y
namic-awa
r
e sub
t
yping f
o
r constraint checks on
.
.
.
commit
|
commitdiff
|
tree
next