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
Implement color optimization for vasm-graph-color
2019-02-06
Andr
e
w Kennedy
Rep
o
rt err
o
r
f
or *all* incorrect uses of
variant type
.
.
.
commit
|
commitdiff
|
tree
2019-02-05
Andrew Kenn
e
dy
New inf
e
r
enc
e
: use li
s
ts
not
sets for tyvars
commit
|
commitdiff
|
tree
2019-02-04
Andrew Kennedy
New i
n
feren
c
e: set tyvar
variance to acc
o
unt for lambda
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Andrew Kenne
d
y
New inferenc
e
: remove even more tyv
a
r
s
plumbi
n
g
commit
|
commitdiff
|
tree
2019-01-31
A
n
dr
e
w Kennedy
New inf
e
renc
e
: remove more tyvars p
l
umbing
commit
|
commitdiff
|
tree
2019-01-31
Andre
w
K
enned
y
Ne
w
inference
:
s
impl
i
fy tyvars
plu
m
b
i
ng
commit
|
commitdiff
|
tree
2019-01-30
Andrew Ken
n
edy
Type
infe
r
ence
:
track ty
v
ars for static_cl
a
ss_id, in
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
Andrew Kennedy
New inference: do not check index
type of
c
ov
a
riant
.
.
.
commit
|
commitdiff
|
tree
2019-01-26
A
ndrew
K
enn
e
dy
New infere
n
c
e
: more tes
t
s
commit
|
commitdiff
|
tree
2019-01-25
Andrew Kennedy
Clea
n
up printin
g
of typ
e
s in error messa
g
es
commit
|
commitdiff
|
tree
2019-01-25
Andrew Ke
n
nedy
New inference: ty
p
e
v
ariable type in T
y
peStructure
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
An
d
rew Kennedy
N
ew inference: in
s
tanceof on
c
l
ass expressio
n
of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Ken
n
edy
Prod
u
ce error
for t
y
pe
c
h
e
cker timeout on function
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
A
n
d
rew Kennedy
New inferen
c
e
: new test
cases th
a
t ar
e
corre
c
tly rejected
.
.
.
commit
|
commitdiff
|
tree
2019-01-23
Andrew Ken
n
edy
New i
n
fe
r
ence: sp
u
rious c
i
rcula
r
t
y
pes
commit
|
commitdiff
|
tree
2019-01-21
Andrew Kennedy
New inference
:
remove red
u
ndant u
p
pe
r
bound
s
whe
n
solving
.
.
.
commit
|
commitdiff
|
tree
2019-01-21
Andrew Kennedy
New infere
n
ce:
update variance of type variabl
e
s after
.
.
.
commit
|
commitdiff
|
tree
2019-01-19
Andrew Kennedy
Reject use of super
g
loba
l
s in strict mode
commit
|
commitdiff
|
tree
2019-01-19
A
ndre
w
Kenned
y
New
inference:
over
l
o
a
ded i
d
x
commit
|
commitdiff
|
tree
2019-01-17
Andrew Kennedy
New infer
e
nce: permit non
-
arraykey indexing of array
.
.
.
commit
|
commitdiff
|
tree
2019-01-16
Andrew Kennedy
Do not
infer the any t
y
pe w
h
en lamb
d
a has
n
o return
.
.
.
commit
|
commitdiff
|
tree
2019-01-15
And
r
e
w Ken
n
e
d
y
New i
n
fe
r
ence: fix double nul
l
abl
e
i
s
s
u
e
commit
|
commitdiff
|
tree
2019-01-11
And
r
e
w
K
e
n
nedy
New I
n
ference: new test that sh
o
u
l
d be rejected
commit
|
commitdiff
|
tree
2019-01-11
Andrew Kennedy
Ne
w
i
n
ference: e
a
g
e
r solving of type variable
for
n
u
l
l
able
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
A
ndrew Kennedy
New
inference: r
e
pla
c
e
ne
w
-
infe
r
ence-eager-solve
flag
.
.
.
commit
|
commitdiff
|
tree
2019-01-10
Andre
w
Ken
n
e
d
y
Ne
w
inf
e
rence: tests fo
r
lambd
a
s
commit
|
commitdiff
|
tree
2019-01-09
Andrew Kennedy
New inference: l
e
ss constraining
e
ager solving
commit
|
commitdiff
|
tree
2019-01-08
Andrew Kennedy
Ne
w
I
n
ference: Don't
c
h
e
c
k type of index
a
ga
i
ns
t
c
o
llectio
n
.
.
.
commit
|
commitdiff
|
tree
2019-01-08
Andrew Kenned
y
New
i
nfe
r
ence
:
Revert unsound array append change
commit
|
commitdiff
|
tree
2019-01-08
Andrew Kennedy
C
le
a
n up type c
h
e
cking of c
o
llection literals
commit
|
commitdiff
|
tree
2019-01-04
Andrew K
e
nned
y
Remov
e
supp
o
rt
for
shape-like a
r
rays
commit
|
commitdiff
|
tree
2018-12-21
Andrew Kenn
e
dy
New inference:
array append
commit
|
commitdiff
|
tree
2018-12-20
And
r
ew Kennedy
T
yping_make_type cleanu
p
a
nd is_hack_collection
commit
|
commitdiff
|
tree
2018-12-19
Andrew Kennedy
N
e
w i
n
fer
e
nc
e
:
e
ager solving
for functio
n
a
pplication
commit
|
commitdiff
|
tree
2018-12-15
Andrew Kennedy
Cont
r
ol ve
r
bose display of types with hh_log_level
commit
|
commitdiff
|
tree
2018-12-13
An
d
r
ew Kennedy
Smart
c
onstructors for primitive types
commit
|
commitdiff
|
tree
2018-12-11
A
ndrew
K
enne
d
y
P
re-empt
i
ve
l
y solve if
accessing membe
r
o
n
a
t
y
pe va
r
iable
commit
|
commitdiff
|
tree
2018-12-11
Andrew Ken
n
ed
y
Gat
e
eager
s
olving of i
n
variant type variables behi
n
d
.
.
.
commit
|
commitdiff
|
tree
2018-12-11
A
nd
r
ew Kennedy
Record fresh type variables from instance methods
commit
|
commitdiff
|
tree
2018-12-10
Andrew Ke
n
nedy
Type infe
r
en
c
e
for array get operati
o
n when array has
.
.
.
commit
|
commitdiff
|
tree
2018-12-10
Andr
e
w Kennedy
Simplify
u
n
i
ons and
n
ullables subtyping
a
type
vari
a
ble
commit
|
commitdiff
|
tree
2018-12-07
Andrew Ken
n
e
d
y
E
nable new_infer
e
n
ce
f
or sample o
f
fi
l
es under hh
commit
|
commitdiff
|
tree
2018-12-06
Andrew
K
e
nnedy
Another t
e
st f
o
r constraint b
a
s
e
d inference
commit
|
commitdiff
|
tree
2018-12-05
A
ndrew Kenne
d
y
Match lega
c
y treatment of
T
an
y
in c
o
ns
t
raint-based
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Andrew Kenned
y
R
ecord t
y
pe
variables for lam
b
da return type
commit
|
commitdiff
|
tree
2018-12-05
Andrew
K
enned
y
Implem
e
n
t sub
_
string using s
u
btyping
commit
|
commitdiff
|
tree
2018-12-04
Andrew Ken
n
e
dy
Prop
e
r
l
y detect g
e
ne
r
ic par
a
mete
r
s in
s
tatics u
n
der
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
A
ndrew Ken
n
e
dy
S
implify
s
ubtype:
u
nion
s
on right
commit
|
commitdiff
|
tree
2018-12-03
An
d
rew
K
ennedy
Add regression tests to new_
i
nference
d
i
r
ectory
commit
|
commitdiff
|
tree
2018-12-03
Andre
w
Ke
n
nedy
Remove
u
nification from fold_unresolved
commit
|
commitdiff
|
tree
2018-12-03
Andrew Kenned
y
Remove use of iu
n
ify
commit
|
commitdiff
|
tree
2018-11-30
Andrew Kennedy
Ignore leading an
d
tr
a
iling space
i
n
test
out
p
ut
commit
|
commitdiff
|
tree
2018-11-30
Andre
w
Kennedy
Remember
f
resh type v
a
ri
a
b
l
es for unions a
n
d await
.
.
.
commit
|
commitdiff
|
tree
2018-11-30
Andrew Kennedy
Retu
r
n expanded type from f
o
ld_unresolved
commit
|
commitdiff
|
tree
2018-11-29
A
n
d
r
ew
Kenne
d
y
Move
more logic into simplify
_
subtype (3
)
commit
|
commitdiff
|
tree
2018-11-29
Andrew Kennedy
Set variance and solve type
v
ariables for
arra
y
_map
et
c
commit
|
commitdiff
|
tree
2018-11-28
Andrew Kenne
d
y
Mo
v
e m
o
re logi
c
into simplify_subtype (2)
commit
|
commitdiff
|
tree
2018-11-28
A
n
d
rew
Kennedy
Mo
v
e more l
o
g
ic into simplif
y
_subtype
commit
|
commitdiff
|
tree
2018-11-28
Andrew Kennedy
Se
t
and solv
e
t
yvars for Shape
s
::idx
commit
|
commitdiff
|
tree
2018-11-28
Andrew Ken
n
edy
Set t
y
var variance d
u
r
in
g
checking of me
m
o
i
ze
commit
|
commitdiff
|
tree
2018-11-28
Andrew Kennedy
S
e
t
v
a
riance and solve t
y
pe v
a
riables for await sta
t
ement
commit
|
commitdiff
|
tree
2018-11-27
Andrew Kennedy
D
o
n't ad
d
redundant boun
d
s to
t
venv
commit
|
commitdiff
|
tree
2018-11-27
Andrew
K
ennedy
Im
p
lement --hh-log-le
v
el on
h
h_single_type_chec
k
commit
|
commitdiff
|
tree
2018-11-26
Andrew Kennedy
Add logic for
A
Kdependent to simplify_su
b
type
commit
|
commitdiff
|
tree
2018-11-23
An
d
r
ew Kennedy
Replace hh
_
show by expect(
.
.
.
) i
n
tests (1)
commit
|
commitdiff
|
tree
2018-11-23
A
ndrew Ken
n
edy
Add
typechecker te
s
t
option
to ignore error t
e
xt
commit
|
commitdiff
|
tree
2018-11-22
An
d
rew Kennedy
Solve type variables
ge
n
e
rate
d
for fore
a
ch
commit
|
commitdiff
|
tree
2018-11-22
A
n
drew
K
e
nnedy
Solve constra
i
nts for c
o
nstructo
r
c
a
lls
commit
|
commitdiff
|
tree
2018-11-19
Andrew Kennedy
Apply transitive
s
ubt
y
p
i
n
g w
h
en add
i
ng lower or upp
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-11-18
An
d
rew Ken
n
edy
Use --fl
a
g
s
opt
i
on to *append* flags on hh_single_t
y
pe_c
h
eck
commit
|
commitdiff
|
tree
2018-11-17
An
d
rew Kenne
d
y
Mak
e
e
xact types
e
xplic
i
t in our type
representa
t
ion
commit
|
commitdiff
|
tree
2018-11-15
Andrew
K
e
nnedy
Solve type variables
b
y
using
th
e
ir va
r
iance
commit
|
commitdiff
|
tree
2018-11-15
Andrew
Kenned
y
Add variance of type varia
b
l
e
s
bas
e
d o
n
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2018-11-13
Andrew Kenne
d
y
Add varianc
e
information to t
y
p
e variable
e
nvironment
commit
|
commitdiff
|
tree
2018-11-12
Andr
e
w Ke
n
nedy
Improv
e
erro
r
messages for calls through
u
nknown ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2018-11-12
Andrew Kenne
d
y
Add type variable environment for constraint solv
i
ng
commit
|
commitdiff
|
tree
2018-11-08
A
n
dr
e
w Kennedy
More fine-grained
cont
r
o
l of
l
oggin
g
commit
|
commitdiff
|
tree
2018-11-05
And
r
ew Ken
n
edy
R
e
move <static> fr
o
m AKdepen
d
ent and use this instead
commit
|
commitdiff
|
tree
2018-11-01
Andrew Kennedy
Gate all unification by fl
a
g
commit
|
commitdiff
|
tree
2018-11-01
An
d
rew
Kennedy
Remove
e
ager errors from simplify_sub
t
ype
commit
|
commitdiff
|
tree
2018-10-31
And
r
ew Kennedy
Reject con
c
r
e
te
subtype
s
of AKdependent
in si
m
plify
_
sub
t
ype
commit
|
commitdiff
|
tree
2018-10-22
A
ndr
e
w Kennedy
M
ove generic parameter logic
i
n
to simplify
_
su
b
typ
e
commit
|
commitdiff
|
tree
2018-10-22
Andrew Kennedy
R
eport use-site for c
o
nstrai
n
t viol
a
tions in exten
d
s
.
.
.
commit
|
commitdiff
|
tree
2018-10-08
Andr
e
w K
e
nnedy
R
e
move unify from
t
y
pin
g
_o
p
s
commit
|
commitdiff
|
tree
2018-10-08
Andre
w
Ke
n
n
e
dy
Remove unifica
t
i
on i
n
imp
l
icit return checkin
g
commit
|
commitdiff
|
tree
2018-10-05
Andr
e
w Kennedy
Remove type suggest serv
i
ce
commit
|
commitdiff
|
tree
2018-10-05
Andrew Ke
n
nedy
Remove redundant unification
commit
|
commitdiff
|
tree
2018-10-05
Andrew Kennedy
Disable
m
ore legacy uses of unres
o
lved types
commit
|
commitdiff
|
tree
2018-10-05
Andrew Kennedy
M
a
ke for
m
at of hh_show less brittle
commit
|
commitdiff
|
tree
2018-10-04
Andrew Ken
n
edy
R
ep
l
ace un
i
fication
b
y both ways subt
y
ping in p
a
ren
t
.
.
.
commit
|
commitdiff
|
tree
2018-10-04
Andrew Kenne
d
y
Do not wa
s
te tim
e
constructing t
y
pes for collec
t
ions
.
.
.
commit
|
commitdiff
|
tree
2018-10-03
Andrew Kennedy
Show u
s
e site as pri
m
ary
a
nd definition site as secondary
.
.
.
commit
|
commitdiff
|
tree
2018-10-02
Andrew Ken
n
e
dy
Add ex
p
erimental
flag
for unresolved
-
a
s-un
i
on
commit
|
commitdiff
|
tree
2018-09-21
Andrew
Kennedy
Fix random generation of
n
ames
commit
|
commitdiff
|
tree
2018-09-12
Andrew Kennedy
M
o
ve more cod
e
into simplify_subtype
commit
|
commitdiff
|
tree
2018-09-12
Andrew K
e
nnedy
A
d
d use of disj
u
n
ction to s
u
btype solver
commit
|
commitdiff
|
tree
2018-09-06
And
r
ew
K
e
nned
y
Re
m
ove unwrap
p
edToption_sup
e
r
paramet
e
r from sub
t
yp
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-04
A
n
drew Kenned
y
Add small language of
s
u
btype propo
s
i
tions to chec
k
er
commit
|
commitdiff
|
tree
2018-08-24
Andrew Kennedy
Rejec
t
stat
i
c properties that use generic
parameters
.
.
.
commit
|
commitdiff
|
tree
2018-08-24
A
n
dre
w
Kennedy
Type-check non-hi
n
ted lambda parameters as untyped
.
.
.
commit
|
commitdiff
|
tree
next