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
New inference: expand type before applying narrowing logic
2019-05-08
Andre
w
Kenn
e
dy
New
inference: expand type b
e
fore applying narrowing
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
And
r
ew K
e
nnedy
Fl
a
g er
r
o
rs wh
o
se primary
position isn't
t
he current
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
A
n
dr
e
w Ken
n
edy
New i
n
ference: ad
d
performance reg
r
essi
o
n test
commit
|
commitdiff
|
tree
2019-05-01
Andrew Ke
n
nedy
N
ew inference: simplify freshen_
t
y
to just freshen
.
.
.
commit
|
commitdiff
|
tree
2019-04-30
Andrew Kennedy
A
dd timeout
option t
o
h
h_
s
i
n
gle_type_check
commit
|
commitdiff
|
tree
2019-04-29
Andrew Kenn
e
dy
Ne
w
infere
n
ce: better error message for unresolved
.
.
.
commit
|
commitdiff
|
tree
2019-04-23
Andre
w
Kennedy
New inf
e
r
en
c
e: na
r
row
bounds for array updat
e
commit
|
commitdiff
|
tree
2019-04-18
A
nd
r
ew Kennedy
Ne
w
in
f
e
re
n
ce: eagerly solv
e
type vari
a
ble scrut
i
n
e
e
.
.
.
commit
|
commitdiff
|
tree
2019-04-16
Andrew Kennedy
New inference: do not a
p
ply key t
y
pe
ch
e
ck
s
for array
.
.
.
commit
|
commitdiff
|
tree
2019-04-15
Andrew K
e
nnedy
New
i
nference: better treatment
o
f
u
n
i
o
n
i
n
coales
c
e
.
.
.
commit
|
commitdiff
|
tree
2019-04-14
A
n
drew Kennedy
Trea
t
array as s
u
btype of Tr
a
versable
<
an
y
>
commit
|
commitdiff
|
tree
2019-04-12
Andrew Kennedy
N
e
w infe
r
e
n
ce:
c
heck legac
y
lambdas usin
g
constraints
.
.
.
commit
|
commitdiff
|
tree
2019-04-10
Andr
e
w Ken
n
edy
New inference: narrow t
y
pes for
array a
c
cess t
h
rough
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
Andr
e
w Kennedy
Type u
n
typed parameters wi
t
h default exp
r
ession
s
as
.
.
.
commit
|
commitdiff
|
tree
2019-04-08
And
r
ew Kennedy
New inference:
r
e
m
ove no-e
a
ger-s
o
lve o
p
tion
commit
|
commitdiff
|
tree
2019-04-04
Andrew
K
enne
d
y
N
ew in
f
erence: deal with u
n
io
n
s
co
n
t
a
in
i
ng ty
p
e
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
A
n
drew
K
e
nnedy
N
ew
inference: don't reject
array
i
ndexing where nothing
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
Andre
w
Kennedy
Fix type ch
e
cking of nullsafe shape accesses
commit
|
commitdiff
|
tree
2019-03-28
A
ndrew Ke
n
nedy
New
inf
e
re
n
ce: logging of changes to
e
nvironment between
.
.
.
commit
|
commitdiff
|
tree
2019-03-28
An
d
rew
K
en
n
edy
M
o
re conci
s
e and useful
type checke
r
loggin
g
commit
|
commitdiff
|
tree
2019-03-22
Andrew K
e
nnedy
New inference: check index type in array g
e
t during
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
Andrew Kennedy
New
inference:
l
amb
d
as
b
y constraint solv
i
ng
commit
|
commitdiff
|
tree
2019-03-05
Andrew
K
ennedy
N
e
w inf
e
rence: e
a
g
e
r sol
v
e f
o
r null ref
i
nement
o
n
ly
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
A
ndrew K
e
nnedy
New i
n
ference: apply nar
r
owing to type varia
b
le bounds
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew
Kenn
e
dy
N
ew inference:
remo
v
e redundant
typ
e
vari
a
bles
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2019-03-01
Andrew Kennedy
New inf
e
rence
:
flag eagerly-solved type v
a
riables and
.
.
.
commit
|
commitdiff
|
tree
2019-02-15
And
r
ew Kennedy
New inference: error if eager sol
v
in
g
to no
t
hin
g
commit
|
commitdiff
|
tree
2019-02-13
Andrew Kenned
y
New inferenc
e
: clean
up var
i
ance setting
commit
|
commitdiff
|
tree
2019-02-13
Andrew Kennedy
Add null
a
ble
s
mart const
r
u
ctor to Typing_mak
e
_type
commit
|
commitdiff
|
tree
2019-02-11
Andr
e
w Kennedy
New inference: flatten unions when solving
for
lower
.
.
.
commit
|
commitdiff
|
tree
2019-02-07
Andrew Kennedy
Check use
o
f
v
ariant
p
arameters
in wh
e
r
e
cons
t
rai
n
ts
commit
|
commitdiff
|
tree
2019-02-07
An
d
rew Kennedy
N
e
w inference
:
maintain position information i
n
type
.
.
.
commit
|
commitdiff
|
tree
2019-02-06
Andrew Kenned
y
Report err
o
r for *all* incorrect
u
ses
o
f
variant
ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2019-02-05
Andr
e
w Kennedy
Ne
w
infere
n
c
e: u
s
e
lis
t
s not sets f
o
r tyva
r
s
commit
|
commitdiff
|
tree
2019-02-04
Andrew K
e
nned
y
New inference:
s
et tyva
r
variance
t
o a
c
count fo
r
l
a
mbd
a
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Andrew
Kenned
y
New inference:
r
emove
e
ven mor
e
ty
v
ars
p
l
u
m
b
ing
commit
|
commitdiff
|
tree
2019-01-31
Andrew Kenne
d
y
New
i
nfer
e
nce: r
e
move m
o
re ty
v
a
r
s plumbing
commit
|
commitdiff
|
tree
2019-01-31
A
n
d
r
e
w Ke
n
nedy
Ne
w
i
n
f
erenc
e
: simp
l
ify tyva
r
s plum
b
i
n
g
commit
|
commitdiff
|
tree
2019-01-30
Andrew Ke
n
nedy
T
y
pe inf
e
rence: tra
c
k
t
yvars for static_class_id,
in
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
A
n
drew
Kenne
d
y
New i
n
ference: do not check index
t
ype
o
f cova
r
iant
.
.
.
commit
|
commitdiff
|
tree
2019-01-26
Andr
e
w Kenned
y
New i
n
fere
n
ce: more
t
e
s
t
s
commit
|
commitdiff
|
tree
2019-01-25
Andrew Kennedy
Clean up
printing of t
y
p
e
s in error mes
s
ag
e
s
commit
|
commitdiff
|
tree
2019-01-25
And
r
ew Kennedy
New inference: t
y
pe variable type in TypeStruct
u
re
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
And
r
ew Ken
n
edy
New inf
e
rence: instanceof
o
n
cl
a
ss exp
r
es
s
i
on of type
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Kennedy
Produce error
for type c
h
ecker
t
imeout on fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andre
w
K
e
nne
d
y
New inferen
c
e: new
test cases t
h
at a
r
e
correctly rejected
.
.
.
commit
|
commitdiff
|
tree
2019-01-23
An
d
r
ew Kennedy
New i
n
ference
:
spurious c
i
r
c
ular ty
p
es
commit
|
commitdiff
|
tree
2019-01-21
Andrew Kenned
y
New infe
r
en
c
e: remove
r
edundant upper bo
u
nds when solving
.
.
.
commit
|
commitdiff
|
tree
2019-01-21
A
n
d
r
ew Ken
n
edy
New i
n
ference: update varianc
e
of
type va
r
iables after
.
.
.
commit
|
commitdiff
|
tree
2019-01-19
Andrew Kenne
d
y
Rej
e
ct use of superglobals in strict mode
commit
|
commitdiff
|
tree
2019-01-19
Andrew Kennedy
New
i
nference:
ov
e
rloaded idx
commit
|
commitdiff
|
tree
2019-01-17
Andrew
Kennedy
New i
n
fer
e
nc
e
:
permit no
n
-arraykey index
i
n
g
of array
.
.
.
commit
|
commitdiff
|
tree
2019-01-16
Andrew K
e
nnedy
Do not
i
n
fer
t
he any
type w
h
e
n
l
a
m
bd
a
has no
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2019-01-15
Andrew Kennedy
N
ew inf
e
r
enc
e
: fix do
u
ble nullable issue
commit
|
commitdiff
|
tree
2019-01-11
Andrew Kenned
y
N
e
w Inference: new test that
s
h
o
ul
d
be rej
e
cted
commit
|
commitdiff
|
tree
2019-01-11
Andre
w
K
e
nnedy
New infer
e
nce
:
eage
r
solvin
g
of t
y
p
e
variable for n
u
llable
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
Andrew Ken
n
edy
New inference: repl
a
ce new
-
inf
e
ren
c
e-eager
-
s
ol
v
e fla
g
.
.
.
commit
|
commitdiff
|
tree
2019-01-10
Andrew
K
ennedy
New
i
nference: tests
f
or lamb
d
a
s
commit
|
commitdiff
|
tree
2019-01-09
An
d
rew Kenne
d
y
N
e
w inf
e
rence: less con
s
trai
n
ing
eager solv
i
ng
commit
|
commitdiff
|
tree
2019-01-08
Andrew Ke
n
nedy
New Inferenc
e
:
Don't chec
k
t
y
pe of ind
e
x aga
i
nst collec
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2019-01-08
Andrew
K
en
n
edy
New inf
e
rence: R
e
vert unsound array app
e
n
d
change
commit
|
commitdiff
|
tree
2019-01-08
Andrew Kennedy
Cl
e
an up type checking of
c
oll
e
c
t
ion lite
r
als
commit
|
commitdiff
|
tree
2019-01-04
A
n
drew Kennedy
Remove s
u
pport for shape-like arrays
commit
|
commitdiff
|
tree
2018-12-21
And
r
ew K
e
n
n
ed
y
New inference: array
append
commit
|
commitdiff
|
tree
2018-12-20
Andre
w
Kennedy
Typing_make_type cleanup and i
s
_
hac
k
_c
o
llect
i
on
commit
|
commitdiff
|
tree
2018-12-19
A
ndrew Kenne
d
y
New inference: eager solving f
o
r fun
c
tion applicati
o
n
commit
|
commitdiff
|
tree
2018-12-15
Andrew K
e
nnedy
Contro
l
verbos
e
di
s
pla
y
of types wi
t
h hh
_
l
o
g_l
e
vel
commit
|
commitdiff
|
tree
2018-12-13
A
n
drew Ken
n
edy
Smart cons
t
ructors for primitive types
commit
|
commitdiff
|
tree
2018-12-11
Andrew Kennedy
Pre-
e
mpt
i
vely solve if acce
s
si
n
g mem
b
er
o
n a type variable
commit
|
commitdiff
|
tree
2018-12-11
Andrew
Ke
n
nedy
G
a
t
e
eage
r
s
olv
i
ng of invariant type
v
ariables b
e
hind
.
.
.
commit
|
commitdiff
|
tree
2018-12-11
An
d
r
e
w
Kennedy
Record f
r
e
sh
typ
e
v
ari
a
b
l
es f
r
om
i
n
stanc
e
methods
commit
|
commitdiff
|
tree
2018-12-10
Andrew Kennedy
Ty
p
e infe
r
ence for arra
y
get operation w
h
en a
r
r
a
y
h
as
.
.
.
commit
|
commitdiff
|
tree
2018-12-10
A
ndr
e
w Kennedy
Simplify unions and nullables subtyping a
ty
p
e va
r
ia
b
le
commit
|
commitdiff
|
tree
2018-12-07
Andrew Kennedy
Enable new_inf
e
rence f
o
r sample of file
s
under hh
commit
|
commitdiff
|
tree
2018-12-06
Andrew Kennedy
A
nother test for
constra
i
nt
based
i
nfe
r
e
n
ce
commit
|
commitdiff
|
tree
2018-12-05
And
r
ew Kennedy
Match l
e
gacy
t
reatme
n
t of Tany in co
n
straint-based
.
.
.
commit
|
commitdiff
|
tree
2018-12-05
An
d
rew Kenned
y
R
ecord
t
ype variables for l
a
mb
d
a return type
commit
|
commitdiff
|
tree
2018-12-05
And
r
ew
Kenne
d
y
Imp
l
em
e
nt s
u
b_string using subtyping
commit
|
commitdiff
|
tree
2018-12-04
Andrew Kennedy
Properly detec
t
generic parame
t
ers in statics
u
n
d
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-12-04
Andrew Kennedy
Sim
p
l
i
f
y subtyp
e
:
unions
o
n rig
h
t
commit
|
commitdiff
|
tree
2018-12-03
Andrew Ke
n
ne
d
y
A
d
d
r
e
gres
s
io
n
te
s
ts
t
o
n
e
w_inference d
i
r
ectory
commit
|
commitdiff
|
tree
2018-12-03
Andrew
K
ennedy
Remove unifica
t
ion from
f
old_unresol
v
ed
commit
|
commitdiff
|
tree
2018-12-03
Andr
e
w Kennedy
R
e
move use of iunify
commit
|
commitdiff
|
tree
2018-11-30
Andrew
K
ennedy
Ignore
leading and trailing space in test output
commit
|
commitdiff
|
tree
2018-11-30
An
d
r
ew K
e
nnedy
Remember fr
e
sh type
v
ar
i
a
b
l
es
f
or unio
n
s and await
.
.
.
commit
|
commitdiff
|
tree
2018-11-30
A
ndr
e
w Kenned
y
Retur
n
e
x
panded
type f
r
om fold_unr
e
solv
e
d
commit
|
commitdiff
|
tree
2018-11-29
Andrew Kennedy
M
o
ve
m
ore logic into simplify_subtype (3)
commit
|
commitdiff
|
tree
2018-11-29
Andrew Kennedy
Set va
r
ia
n
ce and
s
o
l
ve
type variables for arr
a
y_map etc
commit
|
commitdiff
|
tree
2018-11-28
An
d
rew Kennedy
M
o
ve mo
r
e logic into simplify_subtype (2)
commit
|
commitdiff
|
tree
2018-11-28
A
n
dre
w
Kenned
y
Move
m
ore
l
o
g
ic
i
n
t
o simpl
i
fy_subt
y
pe
commit
|
commitdiff
|
tree
2018-11-28
A
n
drew Ke
n
nedy
Set
and solve tyv
a
rs f
o
r Shapes:
:
i
dx
commit
|
commitdiff
|
tree
2018-11-28
A
ndrew Kennedy
Set tyvar varia
n
ce
d
u
ring che
c
king
o
f memoize
commit
|
commitdiff
|
tree
2018-11-28
An
d
rew
Ke
n
nedy
Set
v
a
riance and solve
type va
r
iables fo
r
await statem
e
nt
commit
|
commitdiff
|
tree
2018-11-27
Andrew Kennedy
Do
n
't a
d
d redun
d
a
n
t boun
d
s to tv
e
nv
commit
|
commitdiff
|
tree
2018-11-27
Andrew Ken
n
edy
Implem
e
n
t
--h
h
-log-level on
h
h_sin
g
l
e_type_check
commit
|
commitdiff
|
tree
2018-11-26
Andrew Kennedy
A
d
d logic
f
or AK
d
e
pen
d
ent to
simplify
_
subtype
commit
|
commitdiff
|
tree
2018-11-23
Andrew Kenned
y
Re
p
la
c
e hh
_
show by expect(
.
.
.
)
i
n t
e
sts (
1
)
commit
|
commitdiff
|
tree
2018-11-23
Andrew Kennedy
A
dd typechec
k
er t
e
st
option to ign
o
re error t
e
xt
commit
|
commitdiff
|
tree
2018-11-22
Andrew Kennedy
Solve type variables gen
e
rated f
o
r
foreach
commit
|
commitdiff
|
tree
2018-11-22
An
d
rew
K
ennedy
S
o
l
ve constraints for construc
t
o
r
c
a
ll
s
commit
|
commitdiff
|
tree
next