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
Improve refineLocation a little
2018-06-08
Andr
e
w K
e
nnedy
Typ
e
checking
f
or generator
d
e
legation (yield fr
o
m)
commit
|
commitdiff
|
tree
2018-06-07
A
ndrew Kennedy
Rem
o
ve
superfluous calls to unify
commit
|
commitdiff
|
tree
2018-06-07
A
ndrew Kennedy
Function signature
a
nd return type checking
commit
|
commitdiff
|
tree
2018-06-04
An
d
rew Kennedy
Make Gen
e
rator cov
a
riant in its Tk param
e
ter
commit
|
commitdiff
|
tree
2018-05-31
Andr
e
w Kenne
d
y
Fix for case
o
m
i
tted in D
8
19
8
916
commit
|
commitdiff
|
tree
2018-05-30
Andrew Kennedy
Mo
v
e
c
od
e
for sh
a
pes into subtype si
m
p
l
ific
a
tion
commit
|
commitdiff
|
tree
2018-05-25
Andrew Kenn
e
dy
S
i
mplify trea
t
m
e
nt of nul
l
able in subtyping an
d
un
i
fi
c
a
t
io
n
commit
|
commitdiff
|
tree
2018-05-25
Andre
w
Kennedy
Pass this
_
ty as separate
p
ara
m
e
t
e
r in subtyp
i
ng
commit
|
commitdiff
|
tree
2018-05-24
And
r
ew
Kennedy
Ad
d
new
l
a
nguage
_
feat
u
r
e_loggi
n
g option
to
.
hhconfig
.
.
.
commit
|
commitdiff
|
tree
2018-05-22
A
n
dr
e
w Kennedy
T
uple an
d
untyp
e
d array
t
ypes should be incompatibl
e
commit
|
commitdiff
|
tree
2018-05-22
Andrew Kennedy
Sim
p
lify subtyping for c
l
assish types
commit
|
commitdiff
|
tree
2018-05-22
An
d
rew Kenne
d
y
Further simplificati
o
n
o
f subty
p
ing
commit
|
commitdiff
|
tree
2018-05-21
A
nd
r
e
w Ke
n
ne
d
y
I
n
troduce
s
ubtype simplif
i
cation f
u
n
ction
commit
|
commitdiff
|
tree
2018-05-10
Andrew Ken
n
e
dy
Fix conver
s
i
o
n from small to lar
g
e pos
commit
|
commitdiff
|
tree
2018-05-10
Andrew Kennedy
I
ntrodu
c
e compact and non-com
p
act positi
o
n
s
witching
commit
|
commitdiff
|
tree
2018-05-10
A
n
drew Kenne
d
y
Refactor Fil
e
_pos and
P
os
commit
|
commitdiff
|
tree
2018-05-09
And
r
ew
Kennedy
M
ove
type
s
ystem spec t
o
p
ublic doc
directo
r
y
commit
|
commitdiff
|
tree
2018-05-03
Andrew Kenne
d
y
Hack type checker: C
o
rrectly deal with using co
n
stru
c
t
.
.
.
commit
|
commitdiff
|
tree
2018-04-30
Andrew
Kennedy
Use sing
l
e int
f
or
file pos
commit
|
commitdiff
|
tree
2018-04-30
Andrew K
e
nn
e
dy
Switch file_pos implementation based on w
o
rd size
commit
|
commitdiff
|
tree
2018-03-26
Andrew Kennedy
F
ailure when c
h
ecki
n
g type-checker todo lis
t
was reve
r
ting
.
.
.
commit
|
commitdiff
|
tree
2018-03-14
Andrew Kennedy
Remov
e
A
waitable from
r
eturn ty
p
e when u
s
i
n
g it as
.
.
.
commit
|
commitdiff
|
tree
2018-03-10
Andrew Kennedy
Ye
t
more src
l
o
c
commit
|
commitdiff
|
tree
2018-03-09
Andre
w
Ken
n
edy
More
srcloc info
commit
|
commitdiff
|
tree
2018-03-09
Andrew
Kennedy
Reject return type ?
A
waitable
in
a
sync fun
c
tions
commit
|
commitdiff
|
tree
2018-03-05
Andrew Kennedy
Source location for pi
p
e,
a
rray ops and others
commit
|
commitdiff
|
tree
2018-03-05
Andrew Kennedy
Safe ins
t
a
nceof should
elide nullable
commit
|
commitdiff
|
tree
2018-03-01
A
nd
r
ew K
e
nnedy
Fix parsing issue with ?: operator
commit
|
commitdiff
|
tree
2018-02-28
Andrew
Kennedy
More srclo
c
improve
m
e
nt
commit
|
commitdiff
|
tree
2018-02-28
Andrew
K
ennedy
Enable s
r
cloc-se
n
siti
v
e semdif
f
t
es
t
s
commit
|
commitdiff
|
tree
2018-02-28
Andrew Kennedy
Emit more source locations to match
H
HVM
commit
|
commitdiff
|
tree
2018-02-28
Andrew Kennedy
New option to check
s
r
c
loc
d
i
re
c
t
i
ves
i
n semdiff
commit
|
commitdiff
|
tree
2018-02-22
Andrew
Kenne
d
y
Add unimplemented instructions to semdiff pa
r
s
er
commit
|
commitdiff
|
tree
2018-02-22
An
d
r
ew K
e
nne
d
y
Attempt to simplify
i
n
stanceof types
t
o avoi
d
ge
n
erat
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
And
r
ew
K
ennedy
Rej
e
ct untyped
lambda
in non
-
f
u
nction-typed contex
t
.
.
.
commit
|
commitdiff
|
tree
2018-02-11
An
d
rew Kennedy
Experim
e
n
t
al
opt
i
on to rejec
t
lambdas that canno
t
be
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Andr
e
w Ken
n
edy
Type
check
lambdas
a
t d
e
fi
n
itio
n
site
if
u
sed
in unty
p
ed
.
.
.
commit
|
commitdiff
|
tree
2018-01-24
Andrew K
e
nnedy
Redefinition of HH typ
e
s th
a
t
w
e
re im
p
li
c
itl
y
i
m
port
e
d
commit
|
commitdiff
|
tree
2018-01-19
A
ndrew Kennedy
Update t
y
pe constant test
t
o use features actually
.
.
.
commit
|
commitdiff
|
tree
2018-01-19
An
d
rew Kennedy
Cont
e
xtual types
f
or condition
a
l expressio
n
s
commit
|
commitdiff
|
tree
2018-01-18
Andre
w
Kennedy
Co
n
text
u
al ty
p
e infe
r
en
c
e for va
r
r
a
y/darray and class
i
c
.
.
.
commit
|
commitdiff
|
tree
2018-01-16
Andrew Kennedy
Type hints
i
n
PHP comp
a
t
mode
commit
|
commitdiff
|
tree
2018-01-16
A
ndre
w
Kenn
e
dy
Contex
t
ual infer
e
nce for array c
o
ns
t
ructors, avoid
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
Andrew Kenne
d
y
Do not inject
names
f
rom glo
b
al n
a
mespace into H
H
commit
|
commitdiff
|
tree
2018-01-08
Andrew
K
ennedy
Self
in def
a
ult expression
s
, d
e
ad
branch
c
o
d
e
commit
|
commitdiff
|
tree
2018-01-08
Andrew Ken
n
e
d
y
Add HHBC tests
to sc
r
ipt th
a
t
main
t
a
i
n
s Scuba
t
able
s
commit
|
commitdiff
|
tree
2018-01-04
An
d
rew Ken
n
edy
S
t
r
ip null
a
ble off exp
e
c
ted type
b
e
f
or
e
deco
m
pos
i
ng
commit
|
commitdiff
|
tree
2018-01-03
Andrew
Kenn
e
dy
R
emove passing test from repo failures
commit
|
commitdiff
|
tree
2018-01-02
Andrew
K
e
nnedy
Rejec
t
n
e
sted
u
se of dispo
s
a
ble types
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kenn
e
dy
Emit posit
i
on inf
o
rma
t
ion for try/f
i
n
ally
commit
|
commitdiff
|
tree
2018-01-02
And
r
e
w
K
ennedy
Im
p
rov
e
position i
n
fo for bad use of
a
wait
commit
|
commitdiff
|
tree
2018-01-02
And
r
e
w
Kennedy
Reuse of classes
in
u
se
state
m
e
nt
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kennedy
More
debug info
,
part I
I
commit
|
commitdiff
|
tree
2017-12-22
A
ndrew Kennedy
E
mit
more debug in
f
o
commit
|
commitdiff
|
tree
2017-12-22
Andrew Kennedy
More prec
i
s
e
loca
t
i
n
g of
H
HV
M
errors i
n
foreach
commit
|
commitdiff
|
tree
2017-12-18
Andrew Kenne
d
y
Expected t
y
pes for cla
s
s co
n
sta
n
t
s, global constants
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Andr
e
w
Kennedy
Impleme
n
t <<_
_
ReturnD
i
s
posable>>
a
n
d
ty
p
ing rules
commit
|
commitdiff
|
tree
2017-12-14
An
d
r
e
w
K
ennedy
Add po
s
ition inform
a
tio
n
to statement AST
commit
|
commitdiff
|
tree
2017-12-14
Andrew Kennedy
Name
s
p
aces in fat
a
l erro
r
s
commit
|
commitdiff
|
tree
2017-12-14
Andrew Ke
n
nedy
Fl
o
a
ti
n
g
poin
t
inaccuracy in b
i
nary and octal floa
t
.
.
.
commit
|
commitdiff
|
tree
2017-12-09
Andrew K
e
nnedy
Retain
brac
e
dn
e
ss in low
e
r
ing
commit
|
commitdiff
|
tree
2017-12-09
A
ndrew Kennedy
Rem
o
ve Lva
r
var
commit
|
commitdiff
|
tree
2017-12-09
Andrew Ke
n
nedy
Use D
o
l
l
ar instead of Lvarvar
commit
|
commitdiff
|
tree
2017-12-09
Andrew Kennedy
Allow disposable construc
t
or access to properti
e
s
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-12-07
Andrew Ken
n
ed
y
Int
r
odu
c
e s
e
par
a
te
Dollar syntax tree node
commit
|
commitdiff
|
tree
2017-12-04
A
ndrew Kennedy
S
u
pport
d
e
finition of interfaces and ty
p
e
alia
s
es sha
r
ing
.
.
.
commit
|
commitdiff
|
tree
2017-12-01
A
n
drew Kennedy
Namespace issues with built-in types
commit
|
commitdiff
|
tree
2017-11-29
Andrew Kennedy
Reje
c
t disp
o
sable types tha
t
ext
e
nd
non-disposable
.
.
.
commit
|
commitdiff
|
tree
2017-11-27
And
r
ew Kenne
d
y
Re
j
e
ct
e
scaping us
e
o
f
'this'
in
d
isposabl
e
implem
e
ntation
commit
|
commitdiff
|
tree
2017-11-27
A
ndrew Ke
n
n
e
dy
Co
n
te
x
tual inferenc
e
for
l
am
b
das
shou
l
d check arity
commit
|
commitdiff
|
tree
2017-11-24
A
n
drew
Kennedy
Pretty printing of typed variadic fun
c
tion
typ
e
s
commit
|
commitdiff
|
tree
2017-11-24
Andre
w
Ken
n
e
dy
Expected errors fr
o
m HackC
commit
|
commitdiff
|
tree
2017-11-23
And
r
ew
K
ennedy
Igno
r
e precise
d
etails of fatal err
o
r me
s
sages
commit
|
commitdiff
|
tree
2017-11-22
Andrew Kennedy
Start runnin
g
s
l
ow tests und
e
r ha
c
kc
commit
|
commitdiff
|
tree
2017-11-22
An
d
rew K
e
nnedy
Em
i
t syntax error fatals with posit
i
on
commit
|
commitdiff
|
tree
2017-11-22
An
d
rew
Kenn
e
d
y
P
o
sition informatio
n
in attribute error
commit
|
commitdiff
|
tree
2017-11-22
Andrew Ken
n
e
d
y
Make Enable
H
ipHopS
y
nt
a
x th
e
default for hack
c
commit
|
commitdiff
|
tree
2017-11-22
A
nd
r
ew Kennedy
Strip nam
e
s
p
a
c
e
in fa
t
al messag
e
s
commit
|
commitdiff
|
tree
2017-11-22
Andrew Kennedy
A
dd position information to shape fatal error
commit
|
commitdiff
|
tree
2017-11-21
Andre
w
K
e
nnedy
S
tart run
n
ing qui
c
k
tests un
d
e
r hac
k
c
commit
|
commitdiff
|
tree
2017-11-18
And
r
ew Kennedy
Reject use o
f
using va
r
iables outsi
d
e using
bloc
k
commit
|
commitdiff
|
tree
2017-11-17
A
n
drew Kennedy
Correct scoping of using statement
commit
|
commitdiff
|
tree
2017-11-17
A
nd
r
ew Ke
n
nedy
P
revent
u
sing variables from
b
eing c
a
ptured i
n
lambdas
.
.
.
commit
|
commitdiff
|
tree
2017-11-16
Andrew Kennedy
Fix scoping and terminality bugs i
n
ty
p
e checking of
.
.
.
commit
|
commitdiff
|
tree
2017-11-14
Andrew Ke
n
nedy
Reje
c
t hints t
h
at implement
IDisposable or IAsy
n
cDisposab
l
e
commit
|
commitdiff
|
tree
2017-11-14
Andr
e
w Kenned
y
New att
r
ibute AcceptDisp
o
sa
b
le
commit
|
commitdiff
|
tree
2017-11-10
Andre
w
Ke
n
nedy
R
eject use of await usin
g
in a non
-
a
s
ync function
commit
|
commitdiff
|
tree
2017-11-10
A
n
drew Kennedy
Rej
e
ct f
u
ncti
o
n
c
alled using
commit
|
commitdiff
|
tree
2017-11-10
Andrew K
e
nnedy
Hack leg
a
cy parser: reject functio
n
-scoped u
s
i
n
g
st
a
tement
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Andrew Kennedy
C
o
nte
x
tual
i
nferen
c
e for
p
roperty
i
nitiali
z
ers
commit
|
commitdiff
|
tree
2017-11-08
And
r
e
w
Ken
n
edy
Rej
e
ct
new on dis
p
osables except in using clauses
commit
|
commitdiff
|
tree
2017-11-08
Andrew Kennedy
Fi
x
subt
y
pin
g
for
unde
f
ined parent classes
commit
|
commitdiff
|
tree
2017-11-07
Andrew Kennedy
Im
p
rove posit
i
oning o
f
constraint err
o
rs for gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2017-11-07
Andrew Ken
n
edy
Closure names
f
or nested func
t
ions
commit
|
commitdiff
|
tree
2017-11-07
Andrew Kennedy
Reso
l
ve qualif
i
ed bu
i
lt-ins pro
p
erly
commit
|
commitdiff
|
tree
2017-11-06
Andrew Kennedy
A
l
low relabeling to be disabled i
n
hh_single_c
o
mpile
commit
|
commitdiff
|
tree
2017-11-01
Andrew K
e
nnedy
Mis
s
ing er
r
or when parent/sel
f
is
used in t
y
p
e
def
commit
|
commitdiff
|
tree
2017-11-01
Andrew Kennedy
E
m
i
t namespace in closure
n
ame for top-leve
l
closures
commit
|
commitdiff
|
tree
2017-11-01
A
n
drew K
e
n
nedy
Emit
d
ifferent
c
ode for non-hh t
u
ples, v
e
c, dict, keyset
.
.
.
commit
|
commitdiff
|
tree
2017-10-31
An
d
rew Kennedy
Enable cont
e
xtual inference even for non-strict f
i
les
commit
|
commitdiff
|
tree
next