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
fix assignment in conjunction of conditionals
2018-10-08
An
d
r
ew Kennedy
Remove unif
y
fr
o
m typing_o
p
s
commit
|
commitdiff
|
tree
2018-10-08
Andre
w
Kennedy
R
e
move unifica
t
ion in implic
i
t return
checking
commit
|
commitdiff
|
tree
2018-10-05
Andrew
Ke
n
nedy
Re
m
o
v
e type sugges
t
servic
e
commit
|
commitdiff
|
tree
2018-10-05
A
ndrew Kenn
e
dy
R
emove red
u
ndant u
n
ifi
c
ation
commit
|
commitdiff
|
tree
2018-10-05
Andrew Kenn
e
dy
Disable more legacy uses
of u
n
r
esolv
e
d
types
commit
|
commitdiff
|
tree
2018-10-05
And
r
e
w
Kennedy
Make format o
f
hh_show less
brittle
commit
|
commitdiff
|
tree
2018-10-04
Andrew K
e
nn
e
dy
Replace u
n
ifi
c
ation by both ways subtypi
n
g in
p
a
rent
.
.
.
commit
|
commitdiff
|
tree
2018-10-04
A
n
drew
Kennedy
Do not w
a
s
te time
constructing types
f
or collections
.
.
.
commit
|
commitdiff
|
tree
2018-10-03
Andrew Kennedy
Sho
w
use s
i
te as prima
r
y and def
i
nit
i
on
sit
e
as
second
a
ry
.
.
.
commit
|
commitdiff
|
tree
2018-10-02
And
r
e
w
Kenn
e
dy
Add
expe
r
imental fl
a
g fo
r
unresol
v
ed-as-union
commit
|
commitdiff
|
tree
2018-09-21
Andrew Ke
n
nedy
Fix random
g
enera
t
ion of
n
a
m
es
commit
|
commitdiff
|
tree
2018-09-12
Andrew Kenned
y
M
o
ve m
o
re
c
o
de into
s
implif
y
_
subtype
commit
|
commitdiff
|
tree
2018-09-12
Andrew Kenn
e
dy
Add use
of disju
n
ction to su
b
type solver
commit
|
commitdiff
|
tree
2018-09-06
Andrew Kenned
y
R
e
move unwrappe
d
T
o
ption
_
s
u
per paramet
e
r
fr
o
m subtype
.
.
.
commit
|
commitdiff
|
tree
2018-09-04
Andrew Ken
n
e
d
y
Add sm
a
ll languag
e
of subtype p
r
opositions
t
o che
c
k
e
r
commit
|
commitdiff
|
tree
2018-08-24
Andrew Kennedy
Reje
c
t s
t
atic pro
p
erties that
u
se
g
e
n
e
r
i
c
param
e
te
r
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-24
Andrew Kennedy
Typ
e
-check
non-hinted la
m
bda parame
t
ers as untyped
.
.
.
commit
|
commitdiff
|
tree
2018-08-07
Andrew K
e
nnedy
Log function types with Tany
as
s
epa
r
a
t
e
i
ns
t
ances
commit
|
commitdiff
|
tree
2018-08-07
A
n
d
r
ew Kennedy
F
ix H
a
ck type syntax
commit
|
commitdiff
|
tree
2018-08-06
A
ndrew Ken
n
edy
Recor
d
a
ll legacy
l
ambda
t
ypes
commit
|
commitdiff
|
tree
2018-07-30
Andrew
K
e
nn
e
d
y
New test for invariant ge
n
erics
commit
|
commitdiff
|
tree
2018-07-26
Andrew Ken
n
edy
Move more cod
e
f
r
om uni
f
ication to subtyp
i
ng
commit
|
commitdiff
|
tree
2018-07-25
Andrew
K
ennedy
Remove redun
d
a
nt calls to unify
commit
|
commitdiff
|
tree
2018-07-25
Andr
e
w Kennedy
Subtyping c
o
ntinued: rem
o
ve redunda
n
t cas
e
, move some
.
.
.
commit
|
commitdiff
|
tree
2018-07-24
A
n
d
r
ew Kennedy
Merge clauses in subtyping funct
i
on
commit
|
commitdiff
|
tree
2018-07-24
Andrew
Kennedy
Mov
e
some unif
i
cati
o
n
code into s
u
btyping
commit
|
commitdiff
|
tree
2018-07-20
Andrew Ken
n
edy
Remo
v
e AKgen
e
ric, just u
s
e Tgeneric
commit
|
commitdiff
|
tree
2018-07-20
Andre
w
K
en
n
e
dy
F
ix type
i
ntersection bug i
n
v
olving n
u
llab
l
es and
nonnu
l
l
commit
|
commitdiff
|
tree
2018-07-20
Andrew Kennedy
Intersect or
union types
w
h
en adding
u
pper
o
r
low
e
r
.
.
.
commit
|
commitdiff
|
tree
2018-07-11
Andrew Ken
n
edy
Mov
i
n
g function typ
e
s
u
btypin
g
into subtype s
i
mplification
commit
|
commitdiff
|
tree
2018-07-10
A
n
d
rew Ken
n
edy
Return dynamic
commit
|
commitdiff
|
tree
2018-07-10
And
r
ew K
e
nne
d
y
Use
of dynamic in function application
commit
|
commitdiff
|
tree
2018-07-10
Andrew
K
ennedy
Dy
n
amic type
commit
|
commitdiff
|
tree
2018-07-06
Andr
e
w Kenn
e
dy
R
e
factor
s
ubt
y
ping fun
c
tions
commit
|
commitdiff
|
tree
2018-07-05
Andrew Kennedy
Fix
t
ype
c
hecker crash caused by
l
arge
n
umber of
u
s
e
s
.
.
.
commit
|
commitdiff
|
tree
2018-06-28
And
r
ew
Kennedy
Reject yie
l
d
exc
e
pt as
s
t
a
t
ement or rhs o
f
a
s
s
ign
m
ent
commit
|
commitdiff
|
tree
2018-06-26
Andrew Kennedy
Rejec
t
bad modi
f
iers on top-level functions
commit
|
commitdiff
|
tree
2018-06-23
Andrew Kennedy
Reject illegal
v
ariable name
s
commit
|
commitdiff
|
tree
2018-06-22
Andrew Kennedy
The this type in extend
s
and
implemen
t
s
commit
|
commitdiff
|
tree
2018-06-21
A
n
d
rew Kennedy
Reject and/or/xor operators
commit
|
commitdiff
|
tree
2018-06-20
A
n
drew Kenne
d
y
Exact types and new
commit
|
commitdiff
|
tree
2018-06-20
A
ndrew Kennedy
class_meth w
i
t
h g
e
neric
class
commit
|
commitdiff
|
tree
2018-06-20
An
d
re
w
Ke
n
nedy
Che
c
k
c
ons
t
r
a
ints o
n
clas
s
type parameters for
calls
.
.
.
commit
|
commitdiff
|
tree
2018-06-19
Andrew Kennedy
Su
p
port
r
etur
n
awa
i
t for
R
e
turnDisposable
commit
|
commitdiff
|
tree
2018-06-08
A
n
drew Kennedy
Type
checking f
o
r
generator
delegation (yie
l
d
f
r
o
m)
commit
|
commitdiff
|
tree
2018-06-07
Andrew Kennedy
R
e
m
o
v
e sup
e
rfluous
calls
to unify
commit
|
commitdiff
|
tree
2018-06-07
Andrew Kennedy
F
unction signature and ret
u
rn type che
c
king
commit
|
commitdiff
|
tree
2018-06-04
A
n
drew
K
ennedy
Make Generato
r
covari
a
nt in its Tk para
m
e
t
er
commit
|
commitdiff
|
tree
2018-05-31
Andr
e
w
Kennedy
Fix fo
r
case omitted i
n
D
8198916
commit
|
commitdiff
|
tree
2018-05-30
Andrew Kennedy
Move code for shapes i
n
to subtype simplific
a
ti
o
n
commit
|
commitdiff
|
tree
2018-05-25
Andrew Kenne
d
y
Simplify treatment of nullable in subt
y
pin
g
and unification
commit
|
commitdiff
|
tree
2018-05-25
Andrew Ke
n
n
e
dy
P
a
s
s
this_ty a
s
separate parameter
i
n
su
b
typing
commit
|
commitdiff
|
tree
2018-05-24
A
ndre
w
Kenne
d
y
Ad
d
new language
_
fe
a
ture_logging option t
o
.
hh
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
Andrew Kennedy
Tuple and unty
p
ed array types should
b
e incomp
a
tible
commit
|
commitdiff
|
tree
2018-05-22
A
ndrew K
e
nnedy
Simpli
f
y subt
y
ping for classish types
commit
|
commitdiff
|
tree
2018-05-22
And
r
e
w
Ken
n
e
d
y
Further
simpli
f
icat
i
o
n of subtyping
commit
|
commitdiff
|
tree
2018-05-21
Andrew Kenned
y
Introd
u
ce subtype
simplifi
c
ati
o
n function
commit
|
commitdiff
|
tree
2018-05-10
Andrew Kennedy
F
ix conversion from small to lar
g
e pos
commit
|
commitdiff
|
tree
2018-05-10
Andre
w
Kennedy
Introduc
e
co
m
pact and non-compact
position
swit
c
h
ing
commit
|
commitdiff
|
tree
2018-05-10
And
r
ew Kennedy
Refactor File_
p
os and
P
os
commit
|
commitdiff
|
tree
2018-05-09
Andr
e
w Kenned
y
Move ty
p
e sys
t
em s
p
ec to pub
l
ic
d
oc direc
t
or
y
commit
|
commitdiff
|
tree
2018-05-03
A
n
drew Kennedy
Hack type che
c
k
er: C
o
rrectly d
e
a
l
with using constr
u
ct
.
.
.
commit
|
commitdiff
|
tree
2018-04-30
Andrew Kennedy
Use single
int for file po
s
commit
|
commitdiff
|
tree
2018-04-30
Andrew Kenne
d
y
Switch
f
ile_
p
os implementation based on word size
commit
|
commitdiff
|
tree
2018-03-26
A
n
drew
K
ennedy
Fail
u
re
w
hen chec
k
ing type-checker todo list was revertin
g
.
.
.
commit
|
commitdiff
|
tree
2018-03-14
A
ndrew
K
ennedy
Rem
o
ve Awa
i
table from return type when using it as
.
.
.
commit
|
commitdiff
|
tree
2018-03-10
Andrew Kennedy
Yet
more srcloc
commit
|
commitdiff
|
tree
2018-03-09
A
n
dre
w
Kenne
d
y
Mo
r
e srcloc i
n
fo
commit
|
commitdiff
|
tree
2018-03-09
Andrew
Kennedy
Reject ret
u
rn type ?Awaita
b
l
e in async fu
n
ctio
n
s
commit
|
commitdiff
|
tree
2018-03-05
Andrew
K
e
n
n
e
dy
Source lo
c
a
tion for pip
e
,
ar
r
ay ops and
oth
e
rs
commit
|
commitdiff
|
tree
2018-03-05
Andrew Kennedy
Safe
i
nstanceof should elide nullable
commit
|
commitdiff
|
tree
2018-03-01
Andrew Ke
n
ned
y
Fix
parsing issue
w
ith ?: o
p
erator
commit
|
commitdiff
|
tree
2018-02-28
Andrew
K
enne
d
y
M
o
r
e
srcloc
improv
e
ment
commit
|
commitdiff
|
tree
2018-02-28
Andrew Kennedy
Enabl
e
srclo
c
-sensitive semdiff tests
commit
|
commitdiff
|
tree
2018-02-28
Andr
e
w Kennedy
E
m
i
t
more sourc
e
locat
i
ons to ma
t
ch HHVM
commit
|
commitdiff
|
tree
2018-02-28
Andre
w
Kenned
y
New option to check src
l
oc
d
ire
c
ti
v
es in semdiff
commit
|
commitdiff
|
tree
2018-02-22
Andr
e
w Ke
n
nedy
Add
u
ni
m
p
l
emented instr
u
ctions to semdiff parser
commit
|
commitdiff
|
tree
2018-02-22
An
d
rew Ken
n
edy
Attempt to simplify instanceof types to avoid generat
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
Andrew Ke
n
nedy
Reject
u
ntyped
l
ambd
a
in non-function-typ
e
d co
n
t
e
xt
.
.
.
commit
|
commitdiff
|
tree
2018-02-11
Andrew
Kennedy
Ex
p
er
i
mental opt
i
o
n
to reject lambdas tha
t
can
n
ot
b
e
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
An
d
rew
Kennedy
Type
che
c
k lambdas at definit
i
on site if
u
s
ed in
u
ntyped
.
.
.
commit
|
commitdiff
|
tree
2018-01-24
Andrew Kenn
e
dy
Redefi
n
ition
o
f HH types that
were
implicitly
i
mported
commit
|
commitdiff
|
tree
2018-01-19
An
d
rew
K
en
n
ed
y
U
pdate type c
o
nstant test to use
f
e
a
t
ures
a
ctually
.
.
.
commit
|
commitdiff
|
tree
2018-01-19
An
d
r
e
w
K
ennedy
Contextual types
for condit
i
on
a
l expression
s
commit
|
commitdiff
|
tree
2018-01-18
Andrew Kennedy
Contextual type inf
e
rence
for var
r
ay/dar
r
a
y and
c
lassic
.
.
.
commit
|
commitdiff
|
tree
2018-01-16
Andr
e
w Kenn
e
d
y
Type hint
s
in P
H
P
compat
mo
d
e
commit
|
commitdiff
|
tree
2018-01-16
A
n
drew Kennedy
Con
t
ext
u
al infe
r
ence
f
or array constructors
,
avoid
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Andrew Kennedy
Do not in
j
ect names from global namespace into HH
commit
|
commitdiff
|
tree
2018-01-08
Andrew Kennedy
Self in default
expressions, de
a
d branch
c
ode
commit
|
commitdiff
|
tree
2018-01-08
A
n
drew
Kennedy
A
dd HH
B
C
t
ests to sc
r
i
p
t
tha
t
maintains Sc
u
ba t
a
ble
s
commit
|
commitdiff
|
tree
2018-01-04
An
d
r
e
w
K
ennedy
Strip nullabl
e
o
f
f
ex
p
ected type befor
e
decomposing
commit
|
commitdiff
|
tree
2018-01-03
A
n
drew
K
ennedy
R
e
move passing test
from re
p
o
fa
i
lures
commit
|
commitdiff
|
tree
2018-01-02
Andrew
Kennedy
Re
j
ect n
e
sted
u
se
o
f disposable
types
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kenne
d
y
E
m
it position information for try/finally
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kennedy
Im
p
rove position info for bad use of
a
w
ait
commit
|
commitdiff
|
tree
2018-01-02
A
ndrew
K
ennedy
Re
u
se of
classes in use statement
commit
|
commitdiff
|
tree
2018-01-02
Andrew
K
e
n
nedy
Mo
r
e
d
ebu
g
info, part
II
commit
|
commitdiff
|
tree
2017-12-22
Andrew
K
e
n
nedy
E
mit more debug
i
n
fo
commit
|
commitdiff
|
tree
2017-12-22
Andrew Ke
n
nedy
M
o
re precise locati
n
g of HHVM
e
rrors in fo
r
each
commit
|
commitdiff
|
tree
2017-12-18
Andrew
Ken
n
edy
Expe
c
t
ed types f
o
r c
l
ass
constants, globa
l
co
n
stants
.
.
.
commit
|
commitdiff
|
tree
next