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
Undo verify.py changes from D14915435
2019-04-12
A
n
dre
w
K
enne
d
y
New infe
r
ence: check legacy
l
ambdas using constraints
.
.
.
commit
|
commitdiff
|
tree
2019-04-10
Andrew
Ke
n
nedy
New in
f
ere
n
ce: narrow ty
p
es for array a
c
c
e
s
s t
h
rough
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
A
ndrew Kenn
e
dy
Type u
n
t
yped parameters
w
ith default exp
r
e
ssion
s
as
.
.
.
commit
|
commitdiff
|
tree
2019-04-08
Andrew K
e
nnedy
N
e
w
inferen
c
e: rem
o
ve
n
o-eager-solve option
commit
|
commitdiff
|
tree
2019-04-04
A
ndr
e
w K
e
n
n
edy
New infer
e
nce: deal with uni
o
ns c
o
ntaining t
y
pe var
i
a
b
les
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
And
r
ew Kennedy
N
ew inference: don't
r
ej
e
ct array indexing where noth
i
ng
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
A
nd
r
ew K
e
nne
d
y
Fi
x
t
ype checking of nullsaf
e
shape access
e
s
commit
|
commitdiff
|
tree
2019-03-28
And
r
e
w
Kennedy
Ne
w
inference: logging of changes to environmen
t
between
.
.
.
commit
|
commitdiff
|
tree
2019-03-28
A
n
drew Kennedy
Mo
r
e
con
c
i
s
e
and usefu
l
t
y
pe che
c
k
e
r l
o
gging
commit
|
commitdiff
|
tree
2019-03-22
A
n
drew K
e
nnedy
Ne
w
i
n
f
erence: chec
k
index typ
e
in array get during
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
Andrew K
e
nnedy
New
i
nferen
c
e: lambdas by cons
t
rain
t
s
olving
commit
|
commitdiff
|
tree
2019-03-05
Andrew Kennedy
New inference: e
a
ger solve for null refinement only
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew Kennedy
New inf
e
rence: appl
y
narrowing to type v
a
ri
a
ble bou
n
ds
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew
Kenn
e
dy
N
ew
i
n
ference:
remove
r
edund
a
nt type varia
b
les from
.
.
.
commit
|
commitdiff
|
tree
2019-03-01
Andre
w
Ke
n
nedy
N
ew inference:
f
lag eagerly-
s
olved ty
p
e v
a
riables and
.
.
.
commit
|
commitdiff
|
tree
2019-02-15
An
d
rew Kennedy
New in
f
erenc
e
: e
r
r
o
r i
f
eager solving
t
o
nothing
commit
|
commitdiff
|
tree
2019-02-13
Andre
w
K
e
nnedy
New inferen
c
e
:
clean up variance setting
commit
|
commitdiff
|
tree
2019-02-13
And
r
ew Kennedy
Add nullable smart constructor t
o
Ty
p
in
g
_make_type
commit
|
commitdiff
|
tree
2019-02-11
Andrew Kennedy
New inf
e
rence: flatten unions
whe
n
solving for lower
.
.
.
commit
|
commitdiff
|
tree
2019-02-07
An
d
r
e
w
Ke
n
nedy
Check use of variant
p
arameters in where
constraints
commit
|
commitdiff
|
tree
2019-02-07
Andrew K
e
nnedy
New inference: maintain position information in typ
e
.
.
.
commit
|
commitdiff
|
tree
2019-02-06
Andrew
Ke
n
nedy
Report error
for *all*
i
ncorrect
uses of
v
aria
n
t type
.
.
.
commit
|
commitdiff
|
tree
2019-02-05
Andrew Kennedy
New inference: use lists not sets for tyvars
commit
|
commitdiff
|
tree
2019-02-04
Andr
e
w Ken
n
edy
New
inference: set tyvar va
r
iance to account
for la
m
bda
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Andrew Kennedy
New infer
e
nce: remove ev
e
n more tyvars plumbi
n
g
commit
|
commitdiff
|
tree
2019-01-31
An
d
rew Kennedy
New in
f
erence: remove more tyvar
s
p
l
umbing
commit
|
commitdiff
|
tree
2019-01-31
Andrew K
e
nned
y
New infer
e
nce: simpl
i
f
y
tyvars plumbi
n
g
commit
|
commitdiff
|
tree
2019-01-30
Andrew Kennedy
Type
in
f
ere
n
ce: track
t
yvars for static_cl
a
ss_
i
d, in
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
Andrew
Kennedy
New
i
nfer
e
nce: do not ch
e
ck index type of covariant
.
.
.
commit
|
commitdiff
|
tree
2019-01-26
Andrew Ken
n
edy
New inferen
c
e
: more t
e
sts
commit
|
commitdiff
|
tree
2019-01-25
An
d
rew Kenn
e
dy
Clean u
p
pr
i
n
ting of types in error
m
e
ssages
commit
|
commitdiff
|
tree
2019-01-25
A
nd
r
ew Kennedy
New inference: typ
e
vari
a
ble
t
ype in
T
ypeStr
u
cture
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Kennedy
New inference: instanceof on clas
s
expression of
type
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Kennedy
Pr
o
duce error for type checke
r
timeout on function
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Kennedy
New in
f
erence:
n
ew t
e
st cases that are
correctly reje
c
ted
.
.
.
commit
|
commitdiff
|
tree
2019-01-23
Andrew Kenn
e
dy
New inference: sp
u
rious cir
c
ular types
commit
|
commitdiff
|
tree
2019-01-21
Andrew Kennedy
New
i
nf
e
rence: remov
e
redundant upper
b
o
unds when solving
.
.
.
commit
|
commitdiff
|
tree
2019-01-21
Andrew Kennedy
New inference: u
p
da
t
e
v
ariance o
f
t
y
p
e
v
a
r
iab
l
es aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2019-01-19
Andrew K
e
nned
y
Reject
use of superglo
b
als i
n
strict mode
commit
|
commitdiff
|
tree
2019-01-19
Andrew Kenn
e
d
y
New infere
n
ce
:
overloaded idx
commit
|
commitdiff
|
tree
2019-01-17
Andre
w
Kenne
d
y
New inference: p
e
rmit n
o
n
-ar
r
aykey indexing of arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2019-01-16
Andrew
K
enne
d
y
Do n
o
t infer the any type when l
a
mbda has no return
.
.
.
commit
|
commitdiff
|
tree
2019-01-15
Andre
w
Kenn
e
dy
New inference: fi
x
double nulla
b
le issue
commit
|
commitdiff
|
tree
2019-01-11
A
n
dre
w
Kenn
e
dy
New
I
nference: new
t
est th
a
t
should be
r
e
jected
commit
|
commitdiff
|
tree
2019-01-11
Andrew Kenned
y
New inference:
eag
e
r
s
ol
v
i
n
g of type variabl
e
for nul
l
able
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
Andrew Kenn
e
dy
New i
n
f
erence: replace new-in
f
erence-e
a
ger-sol
v
e flag
.
.
.
commit
|
commitdiff
|
tree
2019-01-10
Andrew Kennedy
New inferenc
e
:
tests fo
r
la
m
bdas
commit
|
commitdiff
|
tree
2019-01-09
A
n
d
r
ew Kenn
e
dy
New
infer
e
nce: le
s
s
constrainin
g
eager solving
commit
|
commitdiff
|
tree
2019-01-08
An
d
rew Kennedy
New Inference: Don't c
h
eck typ
e
o
f
i
n
dex against collection
.
.
.
commit
|
commitdiff
|
tree
2019-01-08
A
n
drew
Ken
n
edy
New inference: Revert u
n
sound array append cha
n
ge
commit
|
commitdiff
|
tree
2019-01-08
Andrew
K
e
n
n
edy
Cl
e
an up t
y
pe check
i
n
g
of
collection literals
commit
|
commitdiff
|
tree
2019-01-04
Andrew Kennedy
Re
m
ove sup
p
o
r
t
f
or shape-like arrays
commit
|
commitdiff
|
tree
2018-12-21
Andrew Kenne
d
y
New
i
nference
:
array
a
ppend
commit
|
commitdiff
|
tree
2018-12-20
And
r
ew Kennedy
Typ
i
ng_make_type cle
a
nup a
n
d is_
h
ack_collection
commit
|
commitdiff
|
tree
2018-12-19
Andrew Kennedy
New
i
n
f
e
ren
c
e: e
a
ger solving fo
r
function a
p
p
l
i
c
atio
n
commit
|
commitdiff
|
tree
2018-12-15
A
n
drew
Kennedy
Control verbose dis
p
lay
of ty
p
es with hh_log_level
commit
|
commitdiff
|
tree
2018-12-13
Andrew Kennedy
Smart constructo
r
s
f
or
p
rim
i
t
i
ve types
commit
|
commitdiff
|
tree
2018-12-11
A
n
d
rew Kenned
y
P
r
e-emptively s
o
lve if a
c
c
es
s
i
n
g memb
e
r
o
n
a
t
y
pe variab
l
e
commit
|
commitdiff
|
tree
2018-12-11
An
d
rew Kenn
e
dy
Ga
t
e eager s
o
l
v
i
ng o
f
i
n
var
i
ant type variables behind
.
.
.
commit
|
commitdiff
|
tree
2018-12-11
And
r
ew Kennedy
Record fresh type variabl
e
s
f
r
om instance methods
commit
|
commitdiff
|
tree
2018-12-10
Andrew Kenn
e
dy
Type in
f
erence fo
r
ar
r
ay get
o
peration w
h
en
a
rray has
.
.
.
commit
|
commitdiff
|
tree
2018-12-10
Andr
e
w
Ke
n
n
edy
Si
m
plif
y
u
ni
o
n
s and nullables subtyping a type variabl
e
commit
|
commitdiff
|
tree
2018-12-07
A
nd
r
ew
K
ennedy
Enabl
e
ne
w
_inference for sam
p
le
of
f
ile
s
u
n
der hh
commit
|
commitdiff
|
tree
2018-12-06
Andrew Kennedy
A
nother
t
est
for co
n
stra
i
nt based inference
commit
|
commitdiff
|
tree
2018-12-05
Andrew
K
ennedy
Matc
h
l
egac
y
t
reat
m
e
n
t of Tany in
constraint-bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
Andrew Ke
n
ne
d
y
R
ecord
type v
a
riables for la
m
bda return type
commit
|
commitdiff
|
tree
2018-12-05
Andr
e
w Kennedy
Implement
sub
_
str
i
ng using su
b
typing
commit
|
commitdiff
|
tree
2018-12-04
Andr
e
w
K
e
nnedy
P
r
operly detect gene
r
ic parameters
i
n st
a
t
i
cs under
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Andrew K
e
nnedy
Simplify subty
p
e: unions on r
i
g
ht
commit
|
commitdiff
|
tree
2018-12-03
An
d
rew Kenne
d
y
Ad
d
regression tests to n
e
w_inference dire
c
tory
commit
|
commitdiff
|
tree
2018-12-03
Andre
w
Kennedy
Remove unific
a
t
ion f
r
om fold_unresolved
commit
|
commitdiff
|
tree
2018-12-03
Andr
e
w
Kennedy
Remove use of iunify
commit
|
commitdiff
|
tree
2018-11-30
A
n
dre
w
Kenne
d
y
I
gnore leading and
t
railing spac
e
in
t
est o
u
tput
commit
|
commitdiff
|
tree
2018-11-30
Andre
w
Kennedy
Remember fresh type
v
ariab
l
es for unions and await
.
.
.
commit
|
commitdiff
|
tree
2018-11-30
A
n
d
r
ew
K
ennedy
R
e
turn expanded
t
ype from fold_u
n
resolv
e
d
commit
|
commitdiff
|
tree
2018-11-29
Andrew Kenned
y
Move mo
r
e l
o
gic into
simplify_s
u
b
type (3)
commit
|
commitdiff
|
tree
2018-11-29
A
n
dre
w
Kenn
e
dy
Set vari
a
nce and solve type variabl
e
s for array_
m
ap etc
commit
|
commitdiff
|
tree
2018-11-28
Andre
w
Ken
n
edy
M
ove more l
o
gic into simplify_subtype (2)
commit
|
commitdiff
|
tree
2018-11-28
Andrew
K
ennedy
Move mo
r
e logi
c
into simplify_subtype
commit
|
commitdiff
|
tree
2018-11-28
Andrew Kennedy
Set and solve tyvars for Shapes::id
x
commit
|
commitdiff
|
tree
2018-11-28
Andrew Kenn
e
dy
Set tyv
a
r variance during checking of memo
i
ze
commit
|
commitdiff
|
tree
2018-11-28
An
d
rew Kennedy
Set varia
n
ce and solve type
variables
f
or await statement
commit
|
commitdiff
|
tree
2018-11-27
Andrew Kennedy
Don'
t
add re
d
unda
n
t bounds to
tven
v
commit
|
commitdiff
|
tree
2018-11-27
Andre
w
Kennedy
Imp
l
ement --hh-log-level on hh_single_ty
p
e_check
commit
|
commitdiff
|
tree
2018-11-26
Andrew Kennedy
Add l
o
gic
f
o
r AKdependent to simpl
i
fy_subtype
commit
|
commitdiff
|
tree
2018-11-23
A
n
d
rew Kenn
e
dy
Repla
c
e hh
_
show by expect(
.
.
.
) in tests
(1)
commit
|
commitdiff
|
tree
2018-11-23
A
n
drew
Kenned
y
Add typeche
c
ker test option to ignore error
t
ext
commit
|
commitdiff
|
tree
2018-11-22
An
d
rew
Kennedy
Solve type varia
b
les
generat
e
d
f
or foreach
commit
|
commitdiff
|
tree
2018-11-22
A
ndr
e
w Kennedy
Solve con
s
traint
s
for construc
t
or calls
commit
|
commitdiff
|
tree
2018-11-19
And
r
ew Kenne
d
y
Apply transi
t
ive subtyping when
a
d
d
ing
l
owe
r
or upper
.
.
.
commit
|
commitdiff
|
tree
2018-11-18
And
r
e
w
Kennedy
Use
-
-f
l
a
gs
option to
*
append*
flags on h
h
_single_type_check
commit
|
commitdiff
|
tree
2018-11-17
Andrew Ken
n
edy
Make
e
x
a
ct typ
e
s explicit in
o
ur type r
e
pr
e
sentation
commit
|
commitdiff
|
tree
2018-11-15
Andrew Kennedy
Solv
e
type variables by usin
g
their v
a
riance
commit
|
commitdiff
|
tree
2018-11-15
Andrew Kennedy
Add variance
o
f
t
ype variables
b
ase
d
o
n express
i
on
.
.
.
commit
|
commitdiff
|
tree
2018-11-13
Andrew Ken
n
edy
Add variance inform
a
tion to type
variable environment
commit
|
commitdiff
|
tree
2018-11-12
Andrew
Kennedy
I
mp
r
ove error mes
s
age
s
f
o
r
calls t
h
rough
u
n
known type
.
.
.
commit
|
commitdiff
|
tree
2018-11-12
Andrew Kenne
d
y
Add type vari
a
ble envir
o
nment
f
or constraint sol
v
ing
commit
|
commitdiff
|
tree
2018-11-08
Andrew Kenn
e
d
y
Mo
r
e fine-graine
d
control
of loggin
g
commit
|
commitdiff
|
tree
2018-11-05
A
n
d
rew
K
enned
y
R
e
m
ove <
s
t
atic> from
A
Kdepen
d
ent and
u
s
e this instead
commit
|
commitdiff
|
tree
2018-11-01
Andrew K
e
nned
y
G
ate all unific
a
ti
o
n by
flag
commit
|
commitdiff
|
tree
next