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
Introduce secondary errors in place of explicit application of reasons to `Typing...
2021-12-29
Andrew Kennedy
Push l
i
ke through type constructors
commit
|
commitdiff
|
tree
2021-12-29
A
n
d
rew Kenn
e
dy
Do not
c
reat
e
exac
t
t
ypes
from
final classe
s
commit
|
commitdiff
|
tree
2021-12-17
Andrew Kennedy
Correctly elide U
N
SAFE_C
A
ST
commit
|
commitdiff
|
tree
2021-12-15
A
nd
r
e
w
Kennedy
Eliminate FIXM
E
fro
m
test
commit
|
commitdiff
|
tree
2021-12-15
Andr
e
w Kennedy
O
bser
v
e supportd
y
n of
f
u
nction ty
p
e as expected
type
commit
|
commitdiff
|
tree
2021-12-14
Andrew
Ken
n
e
d
y
Fix
emit
t
e
r
so that a
l
l correct u
s
es
of
UNSAFE_CAST
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
A
n
drew Kenne
d
y
Avoid collec
t
ing tyv
a
r variance i
f
env tyvars is empty
commit
|
commitdiff
|
tree
2021-12-10
Andrew Kennedy
Reject u
s
e of
U
NSAFE_
C
AS
T
as operand of await
o
peration
commit
|
commitdiff
|
tree
2021-12-10
A
n
drew
Kenne
d
y
Ban UNSAFE_CAST i
n
l
values
commit
|
commitdiff
|
tree
2021-12-08
A
n
dr
e
w Kennedy
Cor
r
ectly check SDT lambda un
d
er dynamic as
s
umptions
commit
|
commitdiff
|
tree
2021-12-07
Andrew Ke
n
nedy
Remove FVel
l
ip
s
i
s
commit
|
commitdiff
|
tree
2021-12-06
Andrew Kenn
e
dy
Refinement of
suppor
t
dyn o
p
en shapes
commit
|
commitdiff
|
tree
2021-12-02
Andrew Kennedy
sup
p
o
r
tdynamic as a generi
c
type alias
commit
|
commitdiff
|
tree
2021-11-18
Andrew Kennedy
More accura
t
e is/as linting
commit
|
commitdiff
|
tree
2021-11-17
Andrew Ken
n
edy
Var
i
ance l
i
nter should ignore r
e
ifi
e
d gene
r
ic
p
ar
a
mete
r
s
commit
|
commitdiff
|
tree
2021-11-10
Andrew Kennedy
S
upport
S
DT
o
n
lambdas
commit
|
commitdiff
|
tree
2021-11-10
Andrew
K
en
n
e
dy
supportd
y
namic should be a subtype
o
f
n
o
nnull
commit
|
commitdiff
|
tree
2021-11-09
An
d
re
w
Kennedy
Mov
e
some parameter-related functions into a new mo
d
u
l
e
commit
|
commitdiff
|
tree
2021-11-09
Andrew K
e
nnedy
Pre
p
wo
r
k for
S
DT on lam
b
d
a
commit
|
commitdiff
|
tree
2021-11-09
Andrew K
e
n
n
edy
Easy refactor
i
ng
o
f
som
e
coeffects
code
commit
|
commitdiff
|
tree
2021-11-09
Andrew Kennedy
Mov
e
dyna
m
ic test into dy
n
a
m
i
c test directory
commit
|
commitdiff
|
tree
2021-11-05
A
ndrew
K
ennedy
Move
lambda
inference code out int
o
i
t
s own function
commit
|
commitdiff
|
tree
2021-11-04
Andrew Kennedy
Remo
v
e redunda
n
t parti
a
l mode for lambda
commit
|
commitdiff
|
tree
2021-11-04
And
r
ew Kenn
e
d
y
Remove support
for dynamic view
commit
|
commitdiff
|
tree
2021-11-03
Andrew Kennedy
Mo
v
e some functions out
of typing
commit
|
commitdiff
|
tree
2021-11-03
And
r
ew Kennedy
Move checking of typede
f
s
into own
module, clean up
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Andrew
Kennedy
Cleanup checki
n
g of attributes
commit
|
commitdiff
|
tree
2021-11-02
A
nd
r
ew Kennedy
Disa
b
l
e
pessimisatio
n
i
n selected te
s
t d
i
rector
i
es
commit
|
commitdiff
|
tree
2021-10-27
Andrew
K
e
nnedy
Do
n
o
t vis
i
t
f
inally block
t
w
ice
during N
A
ST visit
commit
|
commitdiff
|
tree
2021-10-26
A
n
drew Kenne
d
y
Remove
dynamic f
r
om like-type
enforced parameters
be
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2021-10-26
Andrew Kennedy
Read pessimised hh
i
files to
h
h_single_ty
p
e
_chec
k
on
.
.
.
commit
|
commitdiff
|
tree
2021-10-25
Andrew Kennedy
Clean up
m
a
gic_bu
i
lti
n
s in hh_s
i
ngl
e
_type_check
commit
|
commitdiff
|
tree
2021-10-21
Andrew K
e
nn
e
dy
Skip H
K
and clas
s
level
w
her
e
feature tests
commit
|
commitdiff
|
tree
2021-10-20
Andrew Kenn
e
dy
Skip legacy
l
i
ke
t
ype
s
tests
commit
|
commitdiff
|
tree
2021-10-20
A
ndre
w
Kennedy
SDT function types should be subty
p
e of supp
o
rtdynamic
commit
|
commitdiff
|
tree
2021-10-19
An
d
rew Kennedy
Change AST nodes Obj_get and
Class_g
e
t t
o
i
nc
l
ude a
.
.
.
commit
|
commitdiff
|
tree
2021-10-15
Andrew Kennedy
A
d
d SD
T
flag to function types
commit
|
commitdiff
|
tree
2021-10-13
Andrew K
e
nnedy
Change A
S
T nod
e
s Obj_get and Class_get to incl
u
de a
.
.
.
commit
|
commitdiff
|
tree
2021-10-07
Andrew Kenned
y
Add test for requ
i
re exte
n
ds typehole
commit
|
commitdiff
|
tree
2021-09-29
And
r
ew
K
en
n
edy
Linter advice o
n
varia
n
ce
commit
|
commitdiff
|
tree
2021-09-17
Andrew Kenne
d
y
is_disposable
v
ia get_anc
e
sto
r
commit
|
commitdiff
|
tree
2021-09-13
A
ndrew Kennedy
Fast exit f
r
om
su
b
typing with T
e
rr
commit
|
commitdiff
|
tree
2021-08-26
Andrew Kennedy
Remo
v
e
m
embe
r
s_
f
u
ll
y
_known field
commit
|
commitdiff
|
tree
2021-08-23
An
d
rew
Kennedy
Clean up extends c
h
e
c
k
s to improve performan
c
e
commit
|
commitdiff
|
tree
2021-08-20
Andre
w
Kennedy
Use requir
e
d-ancest
o
rs as well as normal an
c
estors
.
.
.
commit
|
commitdiff
|
tree
2021-08-20
Andrew Kennedy
Do not check
consts
a
gainst themse
l
ves
i
n override
.
.
.
commit
|
commitdiff
|
tree
2021-08-18
Andre
w
Kennedy
Improved
bi
d
i
r
ection
a
l checking f
o
r
ImmVector lit
e
rals
.
.
.
commit
|
commitdiff
|
tree
2021-08-18
Andrew Kenned
y
Treat expression
-
d
ependent types as
f
ina
l
when computin
g
.
.
.
commit
|
commitdiff
|
tree
2021-08-06
Andrew Kenne
d
y
Deal
w
ith final types specia
l
ly when constr
u
c
t
ing unions
commit
|
commitdiff
|
tree
2021-08-02
Andr
e
w Kenne
d
y
Ad
d
option to s
k
ip hierarchy checks
commit
|
commitdiff
|
tree
2021-07-18
Andr
e
w Kenned
y
L
i
nter for detecting
disjoi
n
t
t
ype arguments
o
n sel
e
ct
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-06-28
Andr
e
w Kennedy
R
e
m
o
ve all_extends_ancestors
commit
|
commitdiff
|
tree
2021-06-24
An
d
rew Kennedy
Replace us
e
of Cls
.
extends
b
y
C
l
s
.
has_
a
n
cestor
commit
|
commitdiff
|
tree
2021-06-17
Andrew Ken
n
edy
Check accessibility of types in is/as hints
commit
|
commitdiff
|
tree
2021-06-16
An
d
rew
K
e
nnedy
Check acces
s
i
bili
t
y
o
f
c
l
asses i
n
class e
x
pressions
commit
|
commitdiff
|
tree
2021-06-15
Andrew
K
ennedy
Simplify l
o
gic for protected access
commit
|
commitdiff
|
tree
2021-06-14
Andre
w
K
e
nnedy
Si
m
plify logic
for priva
t
e access
commit
|
commitdiff
|
tree
2021-06-10
Andrew Kennedy
I
n
tr
o
duce intern
a
l classes,
a
n
d ch
e
ck use in t
y
pe
s
.
.
.
commit
|
commitdiff
|
tree
2021-06-07
And
r
ew K
e
nned
y
A
dd current module to environment
commit
|
commitdiff
|
tree
2021-06-04
Andrew Ken
n
edy
Modu
l
e attrib
u
te
o
n top-level entities
commit
|
commitdiff
|
tree
2021-06-03
Andrew Kennedy
A
d
d
some co
m
ment
s
for
type
varia
b
l
e
scopes
commit
|
commitdiff
|
tree
2021-06-03
Andr
e
w
Kennedy
Flag for module
s
commit
|
commitdiff
|
tree
2021-06-01
An
d
r
e
w
K
en
n
edy
Typ
i
ng_phase comments and rename
commit
|
commitdiff
|
tree
2021-05-14
Andrew Kennedy
R
e
m
ov
e
check_constrain
t
s param
e
ter from static_c
l
ass
_
i
d
commit
|
commitdiff
|
tree
2021-05-12
Andrew Kenned
y
Type hole test fo
r
yield-
s
end
issue
commit
|
commitdiff
|
tree
2021-05-11
Andrew
Kenn
e
dy
Array set m
i
g
h
t throw
commit
|
commitdiff
|
tree
2021-05-11
Andrew Kennedy
Add typehole tes
t
commit
|
commitdiff
|
tree
2021-05-10
Andrew Ken
n
edy
Add one more
typehole
t
es
t
commit
|
commitdiff
|
tree
2021-05-10
Andrew Kennedy
Sp
u
rious error when
a
cce
s
sing method on cla
s
s with
.
.
.
commit
|
commitdiff
|
tree
2021-05-06
And
r
ew Kennedy
Add mo
r
e typ
e
hole t
e
sts
commit
|
commitdiff
|
tree
2021-05-05
Andrew Kenn
e
dy
Implement conditionally-dynamic
c
l
a
sses
commit
|
commitdiff
|
tree
2021-05-05
A
n
drew K
e
nnedy
Add
regression tests for typeh
o
les
commit
|
commitdiff
|
tree
2021-04-30
Andrew Kennedy
Ren
a
m
e
attribute
commit
|
commitdiff
|
tree
2021-04-28
Andrew Ke
n
nedy
Refactor env_
w
ith_self
commit
|
commitdiff
|
tree
2021-04-28
Andrew Kennedy
Impleme
n
t thi
s
as an i
m
plicit
g
eneric
p
a
ramet
e
r
commit
|
commitdiff
|
tree
2021-04-28
Andrew
K
enn
e
dy
Dead cod
e
in typing
commit
|
commitdiff
|
tree
2021-04-06
Andrew Kennedy
F
i
x refinement w
h
en
c
lass isn't dir
e
ct ancestor
commit
|
commitdiff
|
tree
2021-03-30
A
ndrew Kennedy
Do not force
G
C
a
t start of file
p
rocessing
commit
|
commitdiff
|
tree
2021-03-30
Andrew K
e
nnedy
Check dynamic membe
r
a
c
cess w
i
t
h
in
dynamic class
for
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
A
n
d
rew Kenned
y
Remove implements dynamic
syn
t
ax
commit
|
commitdiff
|
tree
2021-03-30
Andrew Kenn
e
dy
Use dynami
c
-
aware
s
ub
t
yp
i
ng
f
or cons
t
r
aint checks on
.
.
.
commit
|
commitdiff
|
tree
2021-03-30
Andrew Kenned
y
Implement __SoundDyn
a
micCall
a
b
le attribute f
o
r class
commit
|
commitdiff
|
tree
2021-03-23
Andrew Kenn
e
dy
Permit priv
a
te
m
emb
e
rs to have non-dyna
m
ically-
c
allab
l
e
.
.
.
commit
|
commitdiff
|
tree
2021-03-23
Andrew K
e
nnedy
Correctl
y
merge the consis
t
ent flag o
n
tpenv
commit
|
commitdiff
|
tree
2021-03-23
Andrew Kennedy
F
o
r
c
e
GC at start
of file proce
s
sing only if longlived_worke
.
.
.
commit
|
commitdiff
|
tree
2021-03-22
Andrew
K
e
nne
d
y
Su
b
t
y
ping of
f
unctio
n
s agai
n
s
t
dynamic
commit
|
commitdiff
|
tree
2021-03-19
A
ndrew Kenned
y
C
l
ear
c
aches and do
a GC when memory c
a
p is e
x
ceeded
commit
|
commitdiff
|
tree
2021-03-19
Andrew
Ken
n
edy
Use longlived_work
e
rs flag
in hh
.
conf to co
n
tr
o
l use
.
.
.
commit
|
commitdiff
|
tree
2021-03-18
A
ndrew Kenn
e
dy
Impro
v
e
prett
y
p
r
i
n
ting of types
w
i
th where
c
o
n
straints
commit
|
commitdiff
|
tree
2021-03-17
Andrew Kennedy
F
i
x
use of p
r
otected
m
e
mbers in traits
commit
|
commitdiff
|
tree
2021-02-26
Andrew Kennedy
Do not set expect
e
d type if
i
t
's an
u
nsolv
e
d type va
r
iable
commit
|
commitdiff
|
tree
2021-02-19
Andrew Kenn
e
dy
Dead code: decl_tany
commit
|
commitdiff
|
tree
2021-02-19
And
r
e
w
Kennedy
C
l
ea
n
u
p use of get_s
e
l
f
commit
|
commitdiff
|
tree
2021-02-17
A
n
drew
Ken
n
edy
Check prope
r
tie
s
in c
l
ass
that im
p
lements
d
ynamic
commit
|
commitdiff
|
tree
2021-02-04
Andrew
K
ennedy
Sound Dynamic: support su
b
t
y
pi
n
g to dynamic when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2021-02-02
A
n
d
rew Kenned
y
Com
p
are t
y
pes and subtype prop when computi
n
g delta
.
.
.
commit
|
commitdiff
|
tree
2021-01-26
And
r
ew
Kenned
y
Fi
x
memory leak in
Timer
commit
|
commitdiff
|
tree
2021-01-21
Andre
w
Kennedy
Remove from_class fr
o
m
ety_env
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kennedy
Rem
o
ve
fi
n
al use
o
f from_
c
la
s
s in clas
s
_
g
et
commit
|
commitdiff
|
tree
2021-01-21
Andrew Kenned
y
Eliminat
e
unnec
e
ssary
u
se of f
r
om_class
commit
|
commitdiff
|
tree
next