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
Split up worker.ml
2018-02-28
Andr
e
w Kennedy
More srcl
o
c
improvement
commit
|
commitdiff
|
tree
2018-02-28
And
r
ew Ke
n
nedy
Enable src
l
o
c-sensitive semdif
f
tests
commit
|
commitdiff
|
tree
2018-02-28
A
n
d
rew Kenn
e
dy
E
mit more source locati
o
ns to
m
atch
H
H
VM
commit
|
commitdiff
|
tree
2018-02-28
Andre
w
Ken
n
edy
New op
t
ion t
o
chec
k
srcloc direc
t
ives in semdiff
commit
|
commitdiff
|
tree
2018-02-22
Andr
e
w Ke
n
n
e
d
y
Add unimpl
e
me
n
t
e
d instr
u
ctions
to s
e
mdiff parser
commit
|
commitdiff
|
tree
2018-02-22
A
ndrew
K
e
n
nedy
A
t
t
em
p
t
t
o
s
i
mplify instan
c
eof types to avoid
generat
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
And
r
ew Ken
n
edy
Rej
e
ct u
n
typed lambda in non-
f
uncti
o
n-typed cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2018-02-11
Andrew
Kennedy
Experimental
option to reject lambda
s
that cannot be
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Andre
w
K
en
n
edy
T
y
pe check lambda
s
at definition site i
f
used i
n
un
t
ype
d
.
.
.
commit
|
commitdiff
|
tree
2018-01-24
Andrew Kenn
e
dy
Redefinition of H
H
types t
h
at
w
e
re impli
c
itly i
m
ported
commit
|
commitdiff
|
tree
2018-01-19
A
ndrew Kennedy
Updat
e
t
ype constant
t
est
to use features a
c
tually
.
.
.
commit
|
commitdiff
|
tree
2018-01-19
Andrew Kennedy
Contextual types for conditional expressions
commit
|
commitdiff
|
tree
2018-01-18
Andrew Kenned
y
Contextual type i
n
fere
n
ce fo
r
varray/darray and
c
lassic
.
.
.
commit
|
commitdiff
|
tree
2018-01-16
An
d
rew
Kennedy
Type hints in PHP
c
o
m
pat mod
e
commit
|
commitdiff
|
tree
2018-01-16
An
d
r
e
w Kennedy
C
o
nte
x
tual inference
for arr
a
y
constru
c
tors, avoid
.
.
.
commit
|
commitdiff
|
tree
2018-01-11
A
n
drew
K
en
n
edy
D
o
not inje
c
t names fr
o
m global
n
amespace into
HH
commit
|
commitdiff
|
tree
2018-01-08
Andrew Kennedy
Self in default
expr
e
ssi
o
n
s, de
a
d b
r
anch code
commit
|
commitdiff
|
tree
2018-01-08
Andrew Kenned
y
Ad
d
HHBC tests
t
o
s
crip
t
that
maint
a
ins S
c
u
b
a
t
ables
commit
|
commitdiff
|
tree
2018-01-04
A
n
dr
e
w
Kennedy
S
tri
p
nullable
o
f
f
expect
e
d type be
f
ore decom
p
osing
commit
|
commitdiff
|
tree
2018-01-03
Andrew Kennedy
Remove passi
n
g te
s
t from repo failures
commit
|
commitdiff
|
tree
2018-01-02
A
n
drew K
e
nnedy
Reject nested u
s
e of dispo
s
able
t
yp
e
s
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kennedy
Emit p
o
sition informa
t
ion for try
/
fi
n
all
y
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kennedy
Impr
o
ve positio
n
info for bad use of await
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kenned
y
Reuse of cla
s
ses in use statement
commit
|
commitdiff
|
tree
2018-01-02
Andrew Kenne
d
y
More debu
g
in
f
o, part II
commit
|
commitdiff
|
tree
2017-12-22
Andre
w
Kennedy
Em
i
t m
o
re deb
u
g info
commit
|
commitdiff
|
tree
2017-12-22
Andrew Kennedy
More preci
s
e locating
of
HHVM
e
rrors in fore
a
ch
commit
|
commitdiff
|
tree
2017-12-18
Andre
w
K
e
nnedy
Expec
t
ed types for class constants, g
l
o
b
al con
s
tants
.
.
.
commit
|
commitdiff
|
tree
2017-12-15
Andrew Kennedy
Impl
e
ment <<__Retu
r
nDisposable>
>
and typ
i
ng rules
commit
|
commitdiff
|
tree
2017-12-14
Andrew
Kennedy
A
d
d
posit
i
on infor
m
at
i
on to s
t
atemen
t
AST
commit
|
commitdiff
|
tree
2017-12-14
Andrew Kennedy
N
a
m
espaces in fatal errors
commit
|
commitdiff
|
tree
2017-12-14
Andrew K
e
nnedy
Floa
t
ing po
i
nt
i
nacc
u
r
a
cy in binary an
d
octal f
l
o
a
t
.
.
.
commit
|
commitdiff
|
tree
2017-12-09
Andrew Ke
n
n
edy
R
etain bracednes
s
in
l
owering
commit
|
commitdiff
|
tree
2017-12-09
Andrew Kenned
y
Remo
v
e
Lvarvar
commit
|
commitdiff
|
tree
2017-12-09
Andrew Kennedy
Use D
o
llar in
s
tead
of Lvarva
r
commit
|
commitdiff
|
tree
2017-12-09
Andr
e
w Kennedy
Allow disposable co
n
structor
acce
s
s
t
o prop
e
rties o
n
.
.
.
commit
|
commitdiff
|
tree
2017-12-07
Andr
e
w
K
enne
d
y
Intro
d
u
c
e sep
a
r
a
t
e Do
l
lar syntax
t
ree node
commit
|
commitdiff
|
tree
2017-12-04
Andr
e
w Kennedy
Sup
p
o
r
t
definition of interfaces and type aliases
s
ha
r
ing
.
.
.
commit
|
commitdiff
|
tree
2017-12-01
Andrew Ke
n
nedy
Namespace issues with built-
i
n type
s
commit
|
commitdiff
|
tree
2017-11-29
Andrew Kenn
e
dy
R
eject d
i
sposable
t
yp
e
s
t
hat
extend non-disposable
.
.
.
commit
|
commitdiff
|
tree
2017-11-27
Andrew K
e
nnedy
Reject
escaping use
of 'this' in disposable im
p
l
ementa
t
ion
commit
|
commitdiff
|
tree
2017-11-27
Andre
w
Kennedy
Conte
x
tual infer
e
n
ce for lambdas should check arity
commit
|
commitdiff
|
tree
2017-11-24
Andrew Kennedy
Pr
e
tty print
i
ng
o
f typed
variadic funct
i
on
t
ypes
commit
|
commitdiff
|
tree
2017-11-24
A
n
drew Kennedy
Expected errors
from HackC
commit
|
commitdiff
|
tree
2017-11-23
Andr
e
w Kennedy
Ig
n
ore pr
e
cise d
e
t
ails of f
a
tal error me
s
sa
g
es
commit
|
commitdiff
|
tree
2017-11-22
Andrew Kennedy
Start run
n
ing
slow t
e
sts under hackc
commit
|
commitdiff
|
tree
2017-11-22
An
d
re
w
Kennedy
Emit sy
n
tax error fatals with position
commit
|
commitdiff
|
tree
2017-11-22
Andrew K
e
nnedy
Positi
o
n
i
nformation
in attribu
t
e error
commit
|
commitdiff
|
tree
2017-11-22
A
n
drew Ke
n
n
e
dy
Make EnableHipHopSyntax the default for hackc
commit
|
commitdiff
|
tree
2017-11-22
An
d
rew Kennedy
Strip
namespace in
f
atal messages
commit
|
commitdiff
|
tree
2017-11-22
Andr
e
w Kennedy
Add position
informati
o
n to shape
f
atal er
r
or
commit
|
commitdiff
|
tree
2017-11-21
An
d
rew Ke
n
nedy
Start running q
u
ick tests under hac
k
c
commit
|
commitdiff
|
tree
2017-11-18
Andrew Ke
n
ned
y
R
ej
e
ct use of usi
n
g
vari
a
bles outsi
d
e us
i
ng block
commit
|
commitdiff
|
tree
2017-11-17
A
n
drew Kenn
e
dy
Correct scopin
g
of us
i
ng
statement
commit
|
commitdiff
|
tree
2017-11-17
Andrew Kennedy
Prev
e
nt using vari
a
ble
s
f
r
om bein
g
captured
i
n
l
am
b
d
as
.
.
.
commit
|
commitdiff
|
tree
2017-11-16
Andrew Kennedy
Fix scoping
and t
e
r
minality bugs in type
c
hecking of
.
.
.
commit
|
commitdiff
|
tree
2017-11-14
A
n
dre
w
Kennedy
Reject hints
that implement IDispos
a
ble
o
r IAsyncDisposable
commit
|
commitdiff
|
tree
2017-11-14
Andr
e
w
Kennedy
New attribut
e
A
ccept
D
isp
o
sabl
e
commit
|
commitdiff
|
tree
2017-11-10
A
n
dre
w
K
e
n
nedy
Reject use of
awa
i
t
using in a non-asyn
c
function
commit
|
commitdiff
|
tree
2017-11-10
Andrew Kenn
e
dy
Re
j
ect func
t
io
n
call
e
d u
s
ing
commit
|
commitdiff
|
tree
2017-11-10
Andrew Ken
n
edy
H
ack lega
c
y parser: re
j
ect fun
c
t
i
on-s
c
oped using statem
e
nt
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Andrew K
e
nnedy
Context
u
al inference for property initial
i
ze
r
s
commit
|
commitdiff
|
tree
2017-11-08
Andrew Kennedy
Reject new on disposa
b
les except in using
clauses
commit
|
commitdiff
|
tree
2017-11-08
Andr
e
w K
e
nn
e
dy
Fix subtyping
f
o
r
undefi
n
ed
p
arent clas
s
es
commit
|
commitdiff
|
tree
2017-11-07
Andrew Kennedy
Imp
r
ove posi
t
ioning
o
f
c
on
s
trai
n
t errors
f
o
r
gen
e
ric
.
.
.
commit
|
commitdiff
|
tree
2017-11-07
Andre
w
Kenn
e
dy
Clo
s
ure names for ne
s
ted functions
commit
|
commitdiff
|
tree
2017-11-07
An
d
rew Kennedy
R
esolve qualified built-ins prope
r
ly
commit
|
commitdiff
|
tree
2017-11-06
Andrew Kenne
d
y
A
llow relabeling to be disable
d
in
hh_
s
ingle
_
compi
l
e
commit
|
commitdiff
|
tree
2017-11-01
Andrew Ken
n
edy
Missing
e
rror
when
parent/self i
s
u
sed in typ
e
de
f
commit
|
commitdiff
|
tree
2017-11-01
Andrew Ke
n
nedy
Emit nam
e
spa
c
e
i
n c
l
osure
n
a
me for top-level closures
commit
|
commitdiff
|
tree
2017-11-01
An
d
rew
Kennedy
Emit different code for non-hh t
u
ples,
vec, dict, k
e
yset
.
.
.
commit
|
commitdiff
|
tree
2017-10-31
A
ndrew Kennedy
Enable conte
x
tual inference even for n
o
n-s
t
rict fi
l
es
commit
|
commitdiff
|
tree
2017-10-31
Andrew Kenn
e
d
y
Hack type checker: don't us
e
cont
e
xtual inference for
.
.
.
commit
|
commitdiff
|
tree
2017-10-31
A
ndrew Kennedy
Codegen for
empty on globals
commit
|
commitdiff
|
tree
2017-10-25
An
d
re
w
Kennedy
M
ake us
e
sit
e
the primary loca
t
i
on for a gen
e
ric
constraint
.
.
.
commit
|
commitdiff
|
tree
2017-10-24
Andrew Kennedy
G
enerate c
o
r
rect code for
array/pr
o
perty a
c
c
es
s
in
.
.
.
commit
|
commitdiff
|
tree
2017-10-24
Andrew Kenned
y
XML mismatched tags error
commit
|
commitdiff
|
tree
2017-10-20
Andrew Kennedy
G
enerate
c
ode for foreac
h
(
.
.
.
aw
a
it)
th
a
t
m
atche
s
.
.
.
commit
|
commitdiff
|
tree
2017-10-20
A
n
dre
w
Kennedy
Us
i
ng construct:
t
ype-checking
commit
|
commitdiff
|
tree
2017-10-16
Andrew Kennedy
H
a
ck
A
ST and parsing fo
r
"using" construct
commit
|
commitdiff
|
tree
2017-10-04
Andrew
K
e
nned
y
Fix ca
s
e sensitivity for s
e
l
f/parent/class/static
commit
|
commitdiff
|
tree
2017-10-02
A
ndrew Kennedy
Rev
e
rt
a
ccide
n
tal debug printing
o
f fl
o
a
ts
commit
|
commitdiff
|
tree
2017-09-29
Andrew Kennedy
Reje
c
t
use of array(
.
.
.
)
[
]
commit
|
commitdiff
|
tree
2017-09-29
Andrew Kennedy
U
s
e
expecte
d
type when checking co
l
le
c
t
i
on/sh
a
p
e
expressions
commit
|
commitdiff
|
tree
2017-09-28
A
nd
r
ew Kennedy
Ge
n
erate same
code as HHVM for null test on
this
commit
|
commitdiff
|
tree
2017-09-28
Andr
e
w Kenned
y
Co
r
rectly m
o
d
e
l overflo
w
ing of integer
lit
e
r
als
commit
|
commitdiff
|
tree
2017-09-26
And
r
ew Ken
n
e
d
y
Reject
i
nterfac
e
s that conta
i
n "use" de
c
lara
t
ions in
.
.
.
commit
|
commitdiff
|
tree
2017-09-25
A
n
drew Kennedy
Us
e
e
x
pected type to
g
uide type inference
commit
|
commitdiff
|
tree
2017-09-17
A
ndrew Kennedy
Move lambda tests into
own directory
commit
|
commitdiff
|
tree
2017-09-11
Andrew Kennedy
Show relevan
t
c
o
nst
r
aints o
n
type parameters in
h
ove
r
.
.
.
commit
|
commitdiff
|
tree
2017-09-01
A
ndrew
K
ennedy
R
e
move
c
o
n
straint on Tk in dict
f
unctio
n
commit
|
commitdiff
|
tree
2017-08-30
Andrew
K
e
n
n
ed
y
Safe is
_
array refi
n
ement
commit
|
commitdiff
|
tree
2017-08-29
Andrew Ken
n
e
d
y
N
ull
a
bles in subty
p
ing
commit
|
commitdiff
|
tree
2017-08-18
And
r
ew Kennedy
Do not
qua
l
ify self
type by names
p
ace
commit
|
commitdiff
|
tree
2017-08-17
Andrew Kennedy
Check
t
ype ar
i
t
y
e
v
en
i
n n
o
nstric
t
m
o
d
e
commit
|
commitdiff
|
tree
2017-08-15
Andre
w
Ke
n
nedy
Emit fat
a
l errors for illegal <<__
M
emoize>> func
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2017-08-15
Andrew Ke
n
nedy
Fatal error for assigni
n
g to
this
commit
|
commitdiff
|
tree
2017-08-14
And
r
ew Kenned
y
A
dd
h
h_log_level to pr
e
lu
d
e
f
o
r hh_singl
e
_typ
e
_check
commit
|
commitdiff
|
tree
2017-08-10
An
d
rew Kennedy
H
ack c
o
de
g
en: emit source locations
commit
|
commitdiff
|
tree
2017-08-08
A
ndrew Kennedy
Type soundne
s
s w
i
th contravariance a
n
d unr
e
solved
commit
|
commitdiff
|
tree
next