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
timeout on tests in non-batch mode
2018-12-03
Cat
h
e
rine Gasnier
timeout on tests in no
n
-batch mode
commit
|
commitdiff
|
tree
2018-11-30
Catherine Gasnier
avoid having "TRUE
&
&" hanging around
i
n constraints
commit
|
commitdiff
|
tree
2018-11-26
Catherine Gasnier
add --
a
ll-errors flag to new_i
n
ference test directory
commit
|
commitdiff
|
tree
2018-11-26
Catherine G
a
snier
log unsolved constraints at end
o
f
f
uncti
o
n
or m
e
thod
commit
|
commitdiff
|
tree
2018-11-21
Cather
i
ne Gasnier
a few cor
r
ections wit
h
T
a
ny
commit
|
commitdiff
|
tree
2018-11-14
Catherine G
a
snier
fix night
l
y bui
l
d
commit
|
commitdiff
|
tree
2018-11-13
C
a
therine Gas
n
ier
mo
v
e
opam m
i
ni repo i
n
its own subdir
commit
|
commitdiff
|
tree
2018-11-13
Catherin
e
Gasnier
OSS: b
u
i
l
d hh with d
u
n
e
commit
|
commitdiff
|
tree
2018-11-05
C
a
therine Gasnier
add Typing_re
t
u
rn
.
m
l
i
commit
|
commitdiff
|
tree
2018-10-29
Cathe
r
in
e
Gasnier
adding a test for find_r
e
fs fo
r
dea
d
code
commit
|
commitdiff
|
tree
2018-10-27
Cather
i
n
e Gasnier
traverse dead code t
o
properly add depe
n
dencies
commit
|
commitdiff
|
tree
2018-10-24
Cathe
r
i
n
e Gasnier
Pha
s
e
t
o
t
ypecheck the TAST (pr
o
totype)
commit
|
commitdiff
|
tree
2018-10-19
Cathe
r
ine
Gasni
e
r
log inf
e
r
ence c
o
nstraints into
S
cuba
commit
|
commitdiff
|
tree
2018-10-18
Catherine Gasni
e
r
spl
i
tting lint
.
ml
commit
|
commitdiff
|
tree
2018-10-17
Ca
t
herine
G
asnier
c
hange type of unbound_mode
commit
|
commitdiff
|
tree
2018-10-17
Catherine
Gasnier
rename functions in
L
o
cal
_
i
d
commit
|
commitdiff
|
tree
2018-10-17
C
a
therine Gasnie
r
revamp pipe scopes and pipe variables
commit
|
commitdiff
|
tree
2018-10-17
Cat
h
er
i
ne Gasnier
f
i
x co
n
t
r
ol flow
i
n naming
phase
commit
|
commitdiff
|
tree
2018-10-17
Cath
e
rine Gasnier
small r
e
factorization in Typing_log
commit
|
commitdiff
|
tree
2018-10-17
C
a
ther
i
ne Gasnier
fix printing of subtyping proposi
t
i
o
n
s
commit
|
commitdiff
|
tree
2018-10-15
Catherine
G
asnier
print m
o
re debug info in ca
s
e
of e
x
c
eption
commit
|
commitdiff
|
tree
2018-10-14
Ca
t
he
r
i
n
e Gasnier
k
eep info
a
bout wha
t
v
ar
i
ables are
assi
g
ned
in unsa
f
e
.
.
.
commit
|
commitdiff
|
tree
2018-10-12
Cat
h
erine Ga
s
n
i
er
f
ix assig
n
ment in conj
u
n
c
t
ion o
f
condi
t
ionals
commit
|
commitdiff
|
tree
2018-10-12
Catherine Gasnier
n
ot all calls
i
nvalidate f
a
ke me
m
b
e
rs
commit
|
commitdiff
|
tree
2018-10-11
Catheri
n
e Gas
n
ier
A
dding docume
n
tation, interfa
c
e
a
nd t
y
pe annotations
.
.
.
commit
|
commitdiff
|
tree
2018-10-10
Ca
t
herine Gas
n
ier
remove v
a
rious d
e
ad code
commit
|
commitdiff
|
tree
2018-09-13
Ca
t
her
i
n
e
Gasnier
allow refinement o
f
s
hape typ
e
using nullity Shapes
.
.
.
commit
|
commitdiff
|
tree
2018-09-13
Catherine Gasni
e
r
union is not unifi
c
a
tion
commit
|
commitdiff
|
tree
2018-09-13
Catherine
G
asnier
Kill N
a
s
t
_te
r
mi
n
a
l
ity
commit
|
commitdiff
|
tree
2018-09-06
C
atherine Gasni
e
r
fix in
f
in
i
te loops
commit
|
commitdiff
|
tree
2018-09-05
Catherine
G
a
snier
handl
e
possible
ab
s
ence of Next cont
i
nuatio
n
using
.
.
.
commit
|
commitdiff
|
tree
2018-09-05
Catheri
n
e Gasnier
a
d
ding tests for type unions
commit
|
commitdiff
|
tree
2018-09-05
Cather
i
n
e Gasnie
r
remove typecheck:fo
r
mat t
e
sts
commit
|
commitdiff
|
tree
2018-09-04
Catherine
G
asnie
r
avoid c
a
l
l
ing `
e
xpr` twice on sam
e
exp
r
ession
commit
|
commitdiff
|
tree
2018-08-30
Catherine
G
as
n
ier
disallo
w
keyw
o
rd
s
as identifiers
commit
|
commitdiff
|
tree
2018-08-29
Ca
t
he
r
i
n
e Ga
s
nier
A
l
low all
e
rr
o
rs on
s
ome
typecheck tests
commit
|
commitdiff
|
tree
2018-08-29
Catherine Gasnier
make
hack cas
e
s
e
nsitive
f
or ke
y
wo
r
d
s
commit
|
commitdiff
|
tree
2018-08-29
Cather
i
ne Gasnier
f
ix ass
i
gnment
in conditi
o
n
a
ls + refine
m
e
nts with c
o
njunctio
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Catherine Gasn
i
er
fix assig
n
me
n
t in lo
o
p
c
ondit
i
onal
commit
|
commitdiff
|
tree
2018-07-23
C
a
therine
Gasnier
f
i
x stack ov
e
rfl
o
w on
s
h
a
pe unions
commit
|
commitdiff
|
tree
2018-07-18
Catherin
e
Gasnier
ignore ha
c
k keywo
r
ds in php files
commit
|
commitdiff
|
tree
2018-07-17
C
a
t
herine
G
asnier
tast for do loo
p
s should b
e
union of all iterations
commit
|
commitdiff
|
tree
2018-07-10
Catherin
e
G
asn
i
er
c
o
ncre
t
e cons
t
ants must have
i
n
i
tializer
commit
|
commitdiff
|
tree
2018-07-09
Catherine Gasnier
bug in `current_token_text
`
commit
|
commitdiff
|
tree
2018-07-09
Cat
h
e
rin
e
Gasnier
avoid fatal when
parsing xhp
s
prea
d
attrib
u
t
e
commit
|
commitdiff
|
tree
2018-07-05
Catherine Gasnier
av
o
id fatal with illegal '<' in xhp body
commit
|
commitdiff
|
tree
2018-07-05
C
atherine Ga
s
n
i
er
A
c
count for HH_FIXMEs fo
r
p
a
rsing er
r
o
rs
commit
|
commitdiff
|
tree
2018-07-05
Cathe
r
ine Gasnier
av
o
id fatal
when
p
arsing trait use with
conflict resolution
commit
|
commitdiff
|
tree
2018-06-22
C
at
h
erine Gas
n
ier
disallo
w
`
.
.
.
==> a
s
y
n
c {
.
.
.
}` for non-codegen backends
commit
|
commitdiff
|
tree
2018-06-20
C
a
th
e
rine
Ga
s
nier
a
d
d index to generated pdf
commit
|
commitdiff
|
tree
2018-06-19
Catherine Ga
s
n
i
er
T
yping with
continuation
s
: f
i
xing con
t
rol flo
w
commit
|
commitdiff
|
tree
2018-06-19
Catherine Gasn
i
er
d
i
sallow `
i
nst
a
nceof (som
e
t
ok
e
n
)` as amb
i
guous
commit
|
commitdiff
|
tree
2018-06-05
Catherine
Gasn
i
e
r
add
debug fu
n
cti
o
n t
o
compute si
z
e of ty
p
e
commit
|
commitdiff
|
tree
2018-06-04
Catherine Gasnier
fix --remove-hh-
f
ixme opt
i
on
commit
|
commitdiff
|
tree
2018-05-01
Ca
t
herine Gasnier
Same level of compilation warning everywhere
commit
|
commitdiff
|
tree
2018-04-19
Ca
t
herine G
a
sni
e
r
m
ake Typin
g
_unify_recursive
.
fi
n
dFirst
V
a
rOr
O
p
t
ionVar
.
.
.
commit
|
commitdiff
|
tree
2018-04-17
Catheri
n
e Gas
n
ier
fix bug
in ty
p
ing_unify_recursive
commit
|
commitdiff
|
tree
2018-03-13
Catherine Gasnier
make stat
s
f
o
r
m
ismatched
.
sr
c
loc
commit
|
commitdiff
|
tree
2018-03-08
Catherine
G
asn
i
er
Remove p
a
s
sing tests f
r
om li
s
t of fail
i
n
g
tes
t
s
commit
|
commitdiff
|
tree
2018-02-16
Catherine G
a
snier
Update expec
t
ed error mess
a
ge
o
n hphp/test/slow/p
r
eg
.
.
.
commit
|
commitdiff
|
tree
2018-02-12
C
atherine Gasnier
fix xhp t
y
pe
c
onstan
t
commit
|
commitdiff
|
tree
2018-02-07
Cathe
r
ine Gasnier
corr
e
ct p
a
rsin
g
o
f
`ne
w
A::$b[$x](
)
`
commit
|
commitdiff
|
tree
2018-02-01
Catheri
n
e
Gasnier
Remove passing
t
e
st fr
o
m list of fai
l
i
ng tests
commit
|
commitdiff
|
tree
2018-01-31
C
a
therine
G
a
snier
suppo
r
t
doc blocks for PHP anony
m
o
us f
u
nctions
commit
|
commitdiff
|
tree
2018-01-30
Cat
h
e
r
ine Gas
n
ier
e
x
pressi
o
ns like vec[0]
should be
interpr
e
te
d
as subscr
i
pt
.
.
.
commit
|
commitdiff
|
tree
2018-01-30
Cathe
r
ine Gasnier
f
o
rbid goto fr
o
m try to finally
commit
|
commitdiff
|
tree
2018-01-19
Catherine
G
a
snier
fix wrong fo
r
mat
t
ing of typeche
c
ker tes
t
.
commit
|
commitdiff
|
tree
2018-01-17
Catherine Gasn
i
er
fix and
simplify typechec
k
ing of ?-> (nullsafe get)
commit
|
commitdiff
|
tree
2017-12-22
Catherine
G
a
s
n
i
e
r
properly t
r
i
ple quote in hhbc_h
h
as
commit
|
commitdiff
|
tree
2017-12-19
Ca
t
herine Gasnier
st
a
ndard
c
onsta
n
t redef
i
niti
o
n
wit
h
aliases
commit
|
commitdiff
|
tree
2017-12-19
Catherine Gas
n
ier
c
l
eanup test not c
o
mpliant to spec (for HackC)
commit
|
commitdiff
|
tree
2017-12-12
Cather
i
ne Gasnier
fi
x
f
uncall typing with spr
e
a
d argument
commit
|
commitdiff
|
tree
2017-12-11
Cat
h
eri
n
e Ga
s
nie
r
Concat an
d
CastSt
r
ing are equi
v
a
l
ent i
n
some
c
as
e
s
commit
|
commitdiff
|
tree
2017-12-07
Catherin
e
Gasnier
refus
e
type hints lik
e
foo\int
commit
|
commitdiff
|
tree
2017-11-29
Catheri
n
e
Gasnier
suppo
r
t anonym
o
us cla
s
ses
commit
|
commitdiff
|
tree
2017-11-29
Catherine G
a
snier
p
a
rse binary string
s
commit
|
commitdiff
|
tree
2017-11-16
Catheri
n
e Gasnier
support
e
xtended ascii characters in identi
f
iers
commit
|
commitdiff
|
tree
2017-11-15
C
athe
r
in
e
G
a
s
nier
oc
t
als wi
t
hin subsc
r
i
pt brackets
n
ot
t
r
un
c
ated
commit
|
commitdiff
|
tree
2017-11-15
Catherine
G
asni
e
r
li
t
te
r
a
ls s
t
a
rting
w
i
t
h
0 with non-octal digit
s
should
.
.
.
commit
|
commitdiff
|
tree
2017-11-15
C
a
th
e
rine Gasni
e
r
b
u
g fix
i
n parsing integ
e
r literals in strings as strings
commit
|
commitdiff
|
tree
2017-11-15
Catherin
e
Gasnier
Bar
e
this
v
s
localthi
s
commit
|
commitdiff
|
tree
2017-11-03
Catherine Gasnier
suppo
r
t $
t
hi
s
++
commit
|
commitdiff
|
tree
2017-10-16
Catherin
e
G
a
snier
Fix
p
r
etty printi
n
g of types on speci
a
l cases
commit
|
commitdiff
|
tree