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
2018-11-19
Andr
e
w Kenned
y
Appl
y
transi
t
ive subtyping whe
n
addin
g
l
ower or uppe
r
.
.
.
commit
|
commitdiff
|
tree
2018-11-18
A
n
dre
w
Kennedy
Use -
-
flags op
t
ion to *append* flags o
n
hh_singl
e
_type_
c
he
c
k
commit
|
commitdiff
|
tree
2018-11-17
Andrew Ken
n
edy
Make e
x
act types expli
c
i
t
in o
u
r type repre
s
entation
commit
|
commitdiff
|
tree
2018-11-15
Andrew Kennedy
S
olve type
v
ariabl
e
s by u
s
ing their v
a
r
i
ance
commit
|
commitdiff
|
tree
2018-11-15
Andr
e
w Kennedy
Add variance of
type varia
b
l
e
s based on
e
x
p
r
e
ss
i
on
.
.
.
commit
|
commitdiff
|
tree
2018-11-13
Andrew Kennedy
A
dd varia
n
ce
informa
t
ion to
t
ype variable
e
nviro
n
ment
commit
|
commitdiff
|
tree
2018-11-12
Andrew Kennedy
Impr
o
v
e
e
rror
m
es
s
age
s
for calls t
h
r
ough unknown type
.
.
.
commit
|
commitdiff
|
tree
2018-11-12
A
n
drew
K
ennedy
Ad
d
t
y
pe
variable
e
nv
i
r
o
nme
n
t
for constraint
so
l
ving
commit
|
commitdiff
|
tree
2018-11-08
Andrew Kenned
y
More fine-g
r
ained co
n
t
rol of l
o
gg
i
ng
commit
|
commitdiff
|
tree
2018-11-05
A
n
drew Kennedy
Remove <st
a
tic> fro
m
AKde
p
endent an
d
us
e
this
i
nste
a
d
commit
|
commitdiff
|
tree
2018-11-01
Andrew Kennedy
Gate all
unification by flag
commit
|
commitdiff
|
tree
2018-11-01
Andrew Kennedy
Re
m
ove eager
errors
f
rom simp
l
i
fy_subt
y
pe
commit
|
commitdiff
|
tree
2018-10-31
A
nd
r
ew Kennedy
Rej
e
ct concrete subtype
s
o
f AKdep
e
ndent in simp
l
i
f
y
_
subtype
commit
|
commitdiff
|
tree
2018-10-22
A
n
dr
e
w
K
ennedy
Move g
e
neric pa
r
ameter
l
ogic i
n
to si
m
plify_
s
u
b
type
commit
|
commitdiff
|
tree
2018-10-22
Andrew Kennedy
Report use-si
t
e
for constraint
v
iolations in e
x
t
e
nds
.
.
.
commit
|
commitdiff
|
tree
2018-10-08
Andrew Kenned
y
Re
m
o
v
e unify fro
m
typing_ops
commit
|
commitdiff
|
tree
2018-10-08
Andrew Ken
n
edy
Remove u
n
ification in implic
i
t return chec
k
ing
commit
|
commitdiff
|
tree
2018-10-05
A
n
d
rew
Kennedy
R
e
m
ove type s
u
g
ge
s
t service
commit
|
commitdiff
|
tree
2018-10-05
A
ndrew Kennedy
Re
m
ov
e
r
e
dundant
u
nificatio
n
commit
|
commitdiff
|
tree
2018-10-05
A
n
d
rew Ke
n
n
edy
Disable more le
g
a
c
y
u
ses of u
n
resolved types
commit
|
commitdiff
|
tree
2018-10-05
Andrew Kennedy
Make f
o
r
m
at
o
f hh_
s
how les
s
b
rittle
commit
|
commitdiff
|
tree
2018-10-04
A
ndrew Kennedy
Replace
u
nification b
y
b
oth
w
ays subty
p
ing in
p
arent
.
.
.
commit
|
commitdiff
|
tree
2018-10-04
A
ndrew
Kennedy
D
o not waste time constructing types for coll
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2018-10-03
Andrew Ke
n
nedy
Show use site as primary and d
e
f
i
nit
i
on site as s
e
co
n
dary
.
.
.
commit
|
commitdiff
|
tree
2018-10-02
And
r
ew K
e
n
n
e
dy
Add experimen
t
a
l fla
g
for
unresolved
-
as-un
i
on
commit
|
commitdiff
|
tree
2018-09-21
A
n
drew Kennedy
Fix
r
a
n
dom
gener
a
t
ion
o
f
names
commit
|
commitdiff
|
tree
2018-09-12
Andrew Kenne
d
y
Move more code
into simplify_subtype
commit
|
commitdiff
|
tree
2018-09-12
Andrew Kenne
d
y
Add use of disjunction to s
u
btype solver
commit
|
commitdiff
|
tree
2018-09-06
Andrew Kenne
d
y
Re
m
ove unwrappedToption_super parameter from subty
p
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-04
A
ndre
w
Kennedy
A
d
d s
m
all language
o
f
s
ubtype prop
o
s
i
tion
s
to check
e
r
commit
|
commitdiff
|
tree
2018-08-24
And
r
e
w
Kennedy
Reject static properties that use gener
i
c
p
a
r
amete
r
s
.
.
.
commit
|
commitdiff
|
tree
2018-08-24
Andrew Kennedy
Type
-
check non-hinted
l
a
m
bd
a
parame
t
ers as unty
p
ed
.
.
.
commit
|
commitdiff
|
tree
2018-08-07
A
n
dr
e
w Ken
n
edy
Lo
g
function
t
y
p
e
s
wit
h
Ta
n
y as separate instances
commit
|
commitdiff
|
tree
2018-08-07
Andrew Ke
n
n
edy
Fix
H
ack type
s
y
nta
x
commit
|
commitdiff
|
tree
2018-08-06
A
n
drew
K
ennedy
Recor
d
a
ll legacy lambda types
commit
|
commitdiff
|
tree
2018-07-30
Andrew Ke
n
nedy
N
ew test for i
n
v
ariant generi
c
s
commit
|
commitdiff
|
tree
2018-07-26
And
r
ew
K
e
n
nedy
Move
m
ore code from unification to subtyp
i
ng
commit
|
commitdiff
|
tree
2018-07-25
Andre
w
Kennedy
Remo
v
e redundan
t
calls to unify
commit
|
commitdiff
|
tree
2018-07-25
Andre
w
Kennedy
S
ub
t
yping c
o
n
t
inued: remove redundant ca
s
e
,
m
ov
e
some
.
.
.
commit
|
commitdiff
|
tree
2018-07-24
Andrew
K
ennedy
Merge c
l
ause
s
in s
u
btyping
f
u
nction
commit
|
commitdiff
|
tree
2018-07-24
Andrew Kenn
e
dy
M
ove some unification co
d
e
i
n
t
o subtyping
commit
|
commitdiff
|
tree
2018-07-20
A
n
drew Kenned
y
Remov
e
AKgeneric, just use Tg
e
ne
r
ic
commit
|
commitdiff
|
tree
2018-07-20
Andrew K
e
nnedy
F
ix t
y
pe
i
ntersection
b
ug involving nullab
l
es an
d
non
n
u
ll
commit
|
commitdiff
|
tree
2018-07-20
Andr
e
w
Kenne
d
y
Intersect or
union types when adding upper or l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2018-07-11
Andrew Kenne
d
y
Moving
f
unct
i
on ty
p
e s
u
btyp
i
ng int
o
s
u
b
type simpl
i
fication
commit
|
commitdiff
|
tree
2018-07-10
Andrew Kennedy
Return dynamic
commit
|
commitdiff
|
tree
2018-07-10
An
d
rew Ke
n
nedy
U
se
o
f
dynamic i
n
function application
commit
|
commitdiff
|
tree
2018-07-10
A
n
drew Kenne
d
y
Dynam
i
c type
commit
|
commitdiff
|
tree
2018-07-06
Andrew Kennedy
Refactor
s
u
b
typing fun
c
tions
commit
|
commitdiff
|
tree
2018-07-05
Andrew Ke
n
n
e
dy
Fix type checker
c
ra
s
h caused
b
y large nu
m
ber of uses
.
.
.
commit
|
commitdiff
|
tree
2018-06-28
Andrew K
e
nnedy
Reject yield except as statement
o
r
rhs of assignment
commit
|
commitdiff
|
tree
2018-06-26
Andrew
K
enn
e
dy
Reject b
a
d modifiers o
n
top-level functions
commit
|
commitdiff
|
tree
2018-06-23
And
r
ew Kennedy
Reject
i
llegal var
i
able names
commit
|
commitdiff
|
tree
2018-06-22
Andr
e
w Kennedy
The th
i
s
t
ype i
n
e
xtends
and implem
e
nts
commit
|
commitdiff
|
tree
2018-06-21
Andrew Kennedy
Reject and/or/xor operators
commit
|
commitdiff
|
tree
2018-06-20
A
n
drew Kennedy
Exact typ
e
s and new
commit
|
commitdiff
|
tree
2018-06-20
Andrew Ke
n
n
edy
class_meth with generic
c
la
s
s
commit
|
commitdiff
|
tree
2018-06-20
Andrew
Ken
n
edy
Check constraints on
c
las
s
ty
p
e parameters for cal
l
s
.
.
.
commit
|
commitdiff
|
tree
2018-06-19
A
n
d
r
e
w Kenne
d
y
Su
p
port
r
e
tur
n
await for Ret
u
rnDisposable
commit
|
commitdiff
|
tree
2018-06-08
Andrew K
e
nnedy
Type checki
n
g for
generator deleg
a
tion (yield
f
rom)
commit
|
commitdiff
|
tree
2018-06-07
Andrew Kennedy
Remove super
f
luous calls to unify
commit
|
commitdiff
|
tree
2018-06-07
Andrew Ken
n
edy
Function signat
u
re
a
nd
return t
y
pe ch
e
cking
commit
|
commitdiff
|
tree
2018-06-04
Andrew Kennedy
M
a
ke Generator
c
o
v
ariant
in its
T
k param
e
ter
commit
|
commitdiff
|
tree
2018-05-31
Andrew
Kennedy
Fix for ca
s
e omitted in D8198916
commit
|
commitdiff
|
tree
2018-05-30
Andrew Kennedy
M
o
ve
code for sha
p
e
s
into
subtype simp
l
ific
a
tion
commit
|
commitdiff
|
tree
2018-05-25
Andrew Kennedy
S
implify treatment of nu
l
lable in s
u
btyping and unification
commit
|
commitdiff
|
tree
2018-05-25
And
r
ew Kennedy
Pass t
h
is
_
ty
as separate paramet
e
r in subtyping
commit
|
commitdiff
|
tree
2018-05-24
Andrew K
e
nnedy
Add ne
w
language_feature_lo
g
ging opt
i
o
n to
.
h
hc
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
A
ndrew Ke
n
ned
y
Tuple and untyped array
type
s
s
hould be i
n
c
o
m
patible
commit
|
commitdiff
|
tree
2018-05-22
Andrew
Ken
n
edy
S
i
m
plify sub
t
yping for cl
a
s
sis
h
t
y
p
es
commit
|
commitdiff
|
tree
2018-05-22
Andrew Ken
n
edy
F
urther simplification
of subtyping
commit
|
commitdiff
|
tree
2018-05-21
Andrew K
e
nnedy
Int
r
oduce
subtyp
e
simplificati
o
n fun
c
tion
commit
|
commitdiff
|
tree
2018-05-10
Andre
w
Kenne
d
y
Fix conversion from small to
lar
g
e po
s
commit
|
commitdiff
|
tree
2018-05-10
Andrew Kennedy
Introdu
c
e
compact a
n
d non-c
o
mpact position sw
i
tchi
n
g
commit
|
commitdiff
|
tree
2018-05-10
Andrew
K
e
n
nedy
R
e
factor File_
p
os and
Pos
commit
|
commitdiff
|
tree
2018-05-09
Andre
w
Kennedy
M
o
ve
t
ype s
y
stem spec
t
o public
doc
dir
e
ct
o
ry
commit
|
commitdiff
|
tree
2018-05-03
Andrew
Kennedy
H
a
ck type checke
r
:
C
orrec
t
ly
deal
with us
i
ng constr
u
c
t
.
.
.
commit
|
commitdiff
|
tree
2018-04-30
Andrew Kenne
d
y
Use single int for fil
e
p
o
s
commit
|
commitdiff
|
tree
2018-04-30
Andrew K
e
nnedy
S
w
itch file_pos implementation
b
a
sed on word si
z
e
commit
|
commitdiff
|
tree
2018-03-26
Andrew Kennedy
F
a
ilure wh
e
n checking type-checker t
o
do li
s
t was rev
e
rting
.
.
.
commit
|
commitdiff
|
tree
2018-03-14
An
d
rew Ke
n
nedy
R
e
move Awaita
b
l
e
from return type when using it as
.
.
.
commit
|
commitdiff
|
tree
2018-03-10
Andrew Kennedy
Y
e
t
more srcl
o
c
commit
|
commitdiff
|
tree
2018-03-09
Andrew Kennedy
More
srcloc info
commit
|
commitdiff
|
tree
2018-03-09
Andrew
Kennedy
Rej
e
ct
r
et
u
rn type ?Awaitable in as
y
nc f
u
ncti
o
ns
commit
|
commitdiff
|
tree
2018-03-05
A
n
drew Kennedy
Source loca
t
ion fo
r
pipe, array ops and
o
th
e
rs
commit
|
commitdiff
|
tree
2018-03-05
And
r
ew Kenned
y
Saf
e
in
s
tanceof s
h
ould
elide nullable
commit
|
commitdiff
|
tree
2018-03-01
A
n
d
rew Ke
n
nedy
Fix parsi
n
g issue with
?: operator
commit
|
commitdiff
|
tree
2018-02-28
Andrew
K
enned
y
More srcloc impro
v
ement
commit
|
commitdiff
|
tree
2018-02-28
Andrew K
e
nnedy
Enable
srcloc
-
sensitive semdiff tests
commit
|
commitdiff
|
tree
2018-02-28
Andrew
K
e
nnedy
Emit mo
r
e
source locations to match HH
V
M
commit
|
commitdiff
|
tree
2018-02-28
Andrew Kenned
y
New opti
o
n to
check srcloc dir
e
ctive
s
in
s
e
mdiff
commit
|
commitdiff
|
tree
2018-02-22
Andrew Kenne
d
y
Add unimplemented ins
t
r
u
cti
o
ns to semdiff parser
commit
|
commitdiff
|
tree
2018-02-22
An
d
rew Kennedy
Attem
p
t
t
o simplify
in
s
tan
c
eof type
s
to avo
i
d ge
n
e
r
a
ted
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
Andrew Kennedy
Reject untyped l
a
mbda in
n
on-function-
t
yp
e
d context
.
.
.
commit
|
commitdiff
|
tree
2018-02-11
Andrew Kennedy
Experimental opt
i
o
n
to reject lambdas that can
n
ot
b
e
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Andrew Ke
n
nedy
Ty
p
e
c
heck l
a
mbd
a
s at definiti
o
n
s
ite
i
f used i
n
untyped
.
.
.
commit
|
commitdiff
|
tree
2018-01-24
And
r
ew Ken
n
edy
Redefinition
o
f HH t
y
pes that we
r
e implicitly
im
p
orte
d
commit
|
commitdiff
|
tree
2018-01-19
Andrew Kennedy
Update type constant
t
est
to use fe
a
t
u
res actua
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2018-01-19
Andrew K
e
nnedy
Context
u
a
l
t
ypes for conditional expressions
commit
|
commitdiff
|
tree
2018-01-18
A
ndrew
K
ennedy
Contextua
l
typ
e
inferenc
e
f
or varray/darray and classic
.
.
.
commit
|
commitdiff
|
tree
next