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
update version header
2019-07-10
Andr
e
w K
e
nnedy
A
v
oid generati
n
g fresh type names in
r
efine
m
ent in
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Andrew Kennedy
S
u
btyping
r
ules f
o
r intersection
commit
|
commitdiff
|
tree
2019-07-08
Andr
e
w
K
en
n
edy
Re
m
ove redun
d
ant
gen
e
ri
c
s from h
h
i
f
il
e
s
commit
|
commitdiff
|
tree
2019-07-05
Andrew Ke
n
n
edy
N
e
w inference:
prope
r
ly generate
t
ype variables for
.
.
.
commit
|
commitdiff
|
tree
2019-07-04
Andrew Kennedy
Fix
u
n
soundne
s
s bug
w
ith arithmetic
and unres
o
lve
d
.
.
.
commit
|
commitdiff
|
tree
2019-06-30
Andrew Kenned
y
Apply equali
t
i
es b
e
fore do
i
ng is_sub_
t
y
pe
commit
|
commitdiff
|
tree
2019-06-21
Andrew Ke
n
nedy
Subtyping of nul
l
able <
:
u
n
ion
commit
|
commitdiff
|
tree
2019-06-21
An
d
rew
K
ennedy
Simplif
y
XHP ch
e
ck in TAST checking
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
Clean up t
w
o
uses if
T
Utils
.
is_
o
ption
commit
|
commitdiff
|
tree
2019-06-19
Andrew Kennedy
Reject
unset by a
s
serting
subtypes
commit
|
commitdiff
|
tree
2019-06-19
Andrew Ke
n
n
e
dy
Clean u
p
is_sub_t
y
pe (part 2)
commit
|
commitdiff
|
tree
2019-06-18
A
ndrew Kennedy
Clean up is_sub_type
(
part 1)
commit
|
commitdiff
|
tree
2019-06-18
A
n
drew Kenned
y
C
l
e
anup: remov
e
fresh_tenv
commit
|
commitdiff
|
tree
2019-06-13
Andrew Kennedy
Remove redun
d
ant definiti
o
n of fresh
_
type
commit
|
commitdiff
|
tree
2019-06-13
And
r
ew
K
enne
d
y
N
e
w inf
e
rence: move arraykey
i
n
dex che
c
k
s into type
.
.
.
commit
|
commitdiff
|
tree
2019-06-07
A
n
dr
e
w Ken
n
edy
M
ove fake
memb
e
rs info
int
o
per-
c
ontinu
a
tion
e
nvironment
commit
|
commitdiff
|
tree
2019-06-07
A
n
drew Kennedy
S
e
par
a
te off u
n
iversal valu
e
repres
e
ntation fo
r
logging
commit
|
commitdiff
|
tree
2019-06-02
Andrew K
e
nnedy
New inferen
c
e: clean up solve_tyvar entry points
commit
|
commitdiff
|
tree
2019-05-31
Andrew
Kennedy
Fix unsound
n
ess in
is/instanc
e
of on vari
a
ble o
f
generic
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
A
n
drew Kennedy
Ne
w
inf
e
r
e
n
c
e
cleanup: remove p
o
s from Typ
i
ng_env
.
e
nv
commit
|
commitdiff
|
tree
2019-05-29
Andrew Ken
n
edy
New infere
n
ce: ea
s
y cleanup
commit
|
commitdiff
|
tree
2019-05-29
Andrew
Kennedy
N
e
w inference
:
r
e
name fresh_unresolved
_
ty
p
e
commit
|
commitdiff
|
tree
2019-05-29
A
nd
r
ew Kennedy
New i
n
fere
n
ce: remo
v
e old-infe
r
ence
l
egacy ex
p
ected
.
.
.
commit
|
commitdiff
|
tree
2019-05-29
An
d
rew K
e
nned
y
New inference: remove new_inference f
l
ag and old pa
t
hs
commit
|
commitdiff
|
tree
2019-05-22
A
n
dre
w
Kennedy
M
a
ke ne
w
_inferenc
e
= 1
.
0 the de
f
ault if not
s
p
e
cified
.
.
.
commit
|
commitdiff
|
tree
2019-05-22
Andrew Ke
n
nedy
Make new inferen
c
e default
f
or
hh_single_t
y
pe
_
ch
e
ck
commit
|
commitdiff
|
tree
2019-05-21
Andre
w
Kennedy
Do not drop
u
nions as
u
pp
e
r
bounds
o
n g
e
neric type
.
.
.
commit
|
commitdiff
|
tree
2019-05-14
A
nd
r
ew
K
enned
y
New
i
nf
e
rence: improved
e
rror mes
s
age for un
r
esolved
.
.
.
commit
|
commitdiff
|
tree
2019-05-13
And
r
e
w
Kenne
d
y
Inclu
d
e instantiation o
f
g
e
neric typ
e
s i
n
er
r
or mes
s
a
g
es
commit
|
commitdiff
|
tree
2019-05-13
Andrew Kennedy
N
e
w inference:
f
ix
--remo
v
e
-
d
e
ad
-
fixmes
for TAST ch
e
ck
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
An
d
re
w
Kennedy
N
ew in
f
erence: solv
e
for
type
v
ariables
w
ith sha
l
l
ow
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
Andrew Kennedy
New inf
e
r
en
c
e: expa
n
d typ
e
before a
p
plyi
n
g
n
arr
o
wing
.
.
.
commit
|
commitdiff
|
tree
2019-05-07
Andr
e
w Kennedy
Flag
e
rror
s
whose primary positi
o
n
i
sn't t
h
e cu
r
r
e
nt
.
.
.
commit
|
commitdiff
|
tree
2019-05-02
Andr
e
w Kennedy
New in
f
er
e
nce: add
p
e
rformance regression
t
est
commit
|
commitdiff
|
tree
2019-05-01
Andrew Kennedy
N
e
w
infere
n
ce: sim
p
lify freshen_ty
to jus
t
freshen
.
.
.
commit
|
commitdiff
|
tree
2019-04-30
Andrew Ke
n
nedy
A
d
d
t
i
meout
op
t
ion to hh_singl
e
_type_check
commit
|
commitdiff
|
tree
2019-04-29
Andrew Kenn
e
dy
N
e
w
inference: better error
message for unresolve
d
.
.
.
commit
|
commitdiff
|
tree
2019-04-23
And
r
ew Kennedy
Ne
w
i
n
ference: narro
w
bounds fo
r
array
u
pdate
commit
|
commitdiff
|
tree
2019-04-18
Andre
w
Kenne
d
y
New inference:
eagerly solve type
v
ariabl
e
sc
r
u
t
inee
.
.
.
commit
|
commitdiff
|
tree
2019-04-16
Andrew Ken
n
e
d
y
New inf
e
r
e
nce: do n
o
t
a
p
p
l
y ke
y
type checks fo
r
array
.
.
.
commit
|
commitdiff
|
tree
2019-04-15
Andrew Kenned
y
New inference: better tre
a
tment of uni
o
n in coalesce
.
.
.
commit
|
commitdiff
|
tree
2019-04-14
Andrew Kennedy
Trea
t
arra
y
as subtype of Traversable<any>
commit
|
commitdiff
|
tree
2019-04-12
Andrew Kennedy
New inference
:
check legacy lambd
a
s
using co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2019-04-10
Andrew
K
enne
d
y
New infere
n
ce: narrow types for
a
r
r
ay acc
e
s
s
through
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
A
n
drew Kenne
d
y
T
y
pe u
n
typed paramet
e
rs w
i
th default expressions
a
s
.
.
.
commit
|
commitdiff
|
tree
2019-04-08
Andrew Ken
n
edy
New inference: re
m
ove no-eager-s
o
l
v
e op
t
ion
commit
|
commitdiff
|
tree
2019-04-04
A
nd
r
ew Kennedy
N
ew i
n
ferenc
e
: deal with union
s
cont
a
in
i
ng type variables
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
Andrew Kenn
e
dy
New inference: don't reject
array indexing wher
e
nothing
.
.
.
commit
|
commitdiff
|
tree
2019-04-03
Andrew
Kennedy
Fix type checking of
n
ullsa
f
e sh
a
pe accesses
commit
|
commitdiff
|
tree
2019-03-28
Andrew Kenn
e
dy
N
ew inferenc
e
:
logg
i
ng of changes to envi
r
onment
b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2019-03-28
Andr
e
w Kennedy
More concise
and useful typ
e
checker logging
commit
|
commitdiff
|
tree
2019-03-22
Andrew K
e
nnedy
New in
f
ere
n
ce: c
h
eck inde
x
type in
a
rray get during
.
.
.
commit
|
commitdiff
|
tree
2019-03-21
A
n
drew Kennedy
New
i
n
fere
n
ce: lambd
a
s by con
s
traint solv
i
ng
commit
|
commitdiff
|
tree
2019-03-05
Andr
e
w Kenn
e
d
y
New infe
r
e
n
c
e: eager solve for
null refinement onl
y
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew Kenned
y
New inference: apply narrowing to type va
r
iable bou
n
ds
.
.
.
commit
|
commitdiff
|
tree
2019-03-04
Andrew Ke
n
nedy
New inference: remove red
u
ndant ty
p
e va
r
iab
l
es from
.
.
.
commit
|
commitdiff
|
tree
2019-03-01
Andrew K
e
nnedy
New inference: flag eag
e
rl
y
-sol
v
ed type variables
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2019-02-15
Andre
w
Kennedy
New inference:
erro
r
if
eager solving t
o
noth
i
ng
commit
|
commitdiff
|
tree
2019-02-13
A
n
drew Ken
n
edy
New inference:
c
l
ean up variance setting
commit
|
commitdiff
|
tree
2019-02-13
A
n
drew Kenned
y
A
d
d null
a
bl
e
smart constructor to
Typing_ma
k
e_
t
ype
commit
|
commitdiff
|
tree
2019-02-11
And
r
ew K
e
nnedy
N
e
w inference: flat
t
en
unio
n
s when
s
o
lving for l
o
w
er
.
.
.
commit
|
commitdiff
|
tree
2019-02-07
Andrew Kennedy
Chec
k
use of
v
ariant
parame
t
ers in
w
he
r
e
c
onstraints
commit
|
commitdiff
|
tree
2019-02-07
Andrew Kennedy
New inf
e
rence: m
a
i
nta
i
n position
i
n
f
o
rmat
i
o
n
in type
.
.
.
commit
|
commitdiff
|
tree
2019-02-06
Andrew Kennedy
Report err
o
r
for *all* incorrect
u
ses of v
a
riant type
.
.
.
commit
|
commitdiff
|
tree
2019-02-05
Andrew Ke
n
n
e
d
y
N
ew inference: us
e
lists not
s
ets for tyvars
commit
|
commitdiff
|
tree
2019-02-04
Andre
w
K
e
nnedy
New infere
n
ce: set tyvar variance to account f
o
r lambda
.
.
.
commit
|
commitdiff
|
tree
2019-01-31
Andrew Ke
n
nedy
New inference:
r
emove even more tyvars
plum
b
ing
commit
|
commitdiff
|
tree
2019-01-31
A
nd
r
ew K
e
nnedy
N
ew inference: remo
v
e mo
r
e tyvar
s
plumbing
commit
|
commitdiff
|
tree
2019-01-31
Andrew Kenn
e
d
y
New in
f
erence: simplify tyvars plumbing
commit
|
commitdiff
|
tree
2019-01-30
Andre
w
Kenne
d
y
Type inf
e
rence: t
r
ack tyvars for static_class_id, in
.
.
.
commit
|
commitdiff
|
tree
2019-01-30
Andrew Kennedy
New inference:
d
o
not check ind
e
x type of covariant
.
.
.
commit
|
commitdiff
|
tree
2019-01-26
A
n
drew Kennedy
New infere
n
c
e
:
m
o
r
e
test
s
commit
|
commitdiff
|
tree
2019-01-25
Andrew
K
e
nn
e
dy
Clean up printing of ty
p
es
in err
o
r
messages
commit
|
commitdiff
|
tree
2019-01-25
Andrew Kennedy
New
inference: type var
i
abl
e
typ
e
in Type
S
tr
u
cture
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Kenned
y
New
i
nfere
n
ce
:
inst
a
nceof on clas
s
expres
s
ion of
t
ype
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew Ke
n
nedy
Pr
o
duce error for type ch
e
cker ti
m
eout on f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2019-01-24
Andrew K
e
nnedy
New inference: new te
s
t cases that
are c
o
r
rectly
rej
e
cted
.
.
.
commit
|
commitdiff
|
tree
2019-01-23
Andrew
Ke
n
nedy
Ne
w
inference: spu
r
ious cir
c
ular types
commit
|
commitdiff
|
tree
2019-01-21
Andrew
Kenned
y
New inference: rem
o
ve
r
edundant
up
p
e
r
bounds when solving
.
.
.
commit
|
commitdiff
|
tree
2019-01-21
Andrew Ken
n
edy
N
e
w inference:
u
p
d
ate varia
n
c
e
of
t
ype variables after
.
.
.
commit
|
commitdiff
|
tree
2019-01-19
Andrew
Kennedy
R
e
ject
u
se of supe
r
glob
a
l
s in strict
m
ode
commit
|
commitdiff
|
tree
2019-01-19
Andrew
K
ennedy
N
e
w
inference: overloaded
i
dx
commit
|
commitdiff
|
tree
2019-01-17
Andrew
K
e
nnedy
New infe
r
enc
e
:
permi
t
n
o
n
-array
k
ey index
i
ng of
array
.
.
.
commit
|
commitdiff
|
tree
2019-01-16
Andrew Kennedy
Do no
t
infer th
e
any type when
lambda has no return
.
.
.
commit
|
commitdiff
|
tree
2019-01-15
Andrew Kennedy
N
ew infer
e
n
ce: fix
double
n
ullable
i
ssue
commit
|
commitdiff
|
tree
2019-01-11
Andrew Kennedy
N
e
w
I
nference: new test that should b
e
rejected
commit
|
commitdiff
|
tree
2019-01-11
Andrew
Kennedy
New inference:
e
ager solving of type
v
ariable fo
r
nulla
b
le
.
.
.
commit
|
commitdiff
|
tree
2019-01-11
Andre
w
Kennedy
New inference:
r
e
place new-inference-eager-solve
f
lag
.
.
.
commit
|
commitdiff
|
tree
2019-01-10
A
n
dr
e
w Kennedy
New
i
nference:
t
ests for la
m
bdas
commit
|
commitdiff
|
tree
2019-01-09
An
d
rew K
e
n
n
edy
New inference: less constraining eager solv
i
ng
commit
|
commitdiff
|
tree
2019-01-08
A
n
drew K
e
n
n
e
d
y
New Inference
:
D
o
n
't c
h
eck
type o
f
in
d
e
x
against
c
ollection
.
.
.
commit
|
commitdiff
|
tree
2019-01-08
Andre
w
Kenn
e
d
y
New i
n
ference: Revert
u
nsoun
d
ar
r
ay app
e
nd c
h
ange
commit
|
commitdiff
|
tree
2019-01-08
Andrew Kenn
e
d
y
C
l
ean u
p
type che
c
ki
n
g of
co
l
lecti
o
n l
i
ter
a
ls
commit
|
commitdiff
|
tree
2019-01-04
A
ndrew Ken
n
edy
R
emove supp
o
rt for shape-like arrays
commit
|
commitdiff
|
tree
2018-12-21
And
r
ew Ke
n
n
e
dy
New inference:
a
rr
a
y
a
ppend
commit
|
commitdiff
|
tree
2018-12-20
And
r
e
w
K
ennedy
T
y
ping_make_
t
ype c
l
eanup and
i
s_hack_collection
commit
|
commitdiff
|
tree
2018-12-19
Andrew Kennedy
New inf
e
rence: eager solvi
n
g for
f
unct
i
on a
p
plica
t
i
on
commit
|
commitdiff
|
tree
2018-12-15
Andrew Kennedy
Control
v
erbo
s
e displa
y
o
f
t
ypes with hh_log_l
e
vel
commit
|
commitdiff
|
tree
2018-12-13
Andrew Kennedy
Smart constructo
r
s for primitive types
commit
|
commitdiff
|
tree
2018-12-11
Andrew
K
enne
d
y
P
re-empt
i
v
ely solve if acc
e
ssing member on a type
v
ariable
commit
|
commitdiff
|
tree
next