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 multiple readonly variadic args in typechecker
2022-01-20
M
ichael Thom
a
s
Add
`
Assert_in_current_decl`
combinator to `Typing_err
o
r
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
M
i
chael Thomas
Ad
d
`Assert_in_current_decl
`
con
s
truc
t
or t
o
`Typ
i
ng_erro
r
.
t`
commit
|
commitdiff
|
tree
2022-01-14
M
i
ch
a
el
T
homas
Move rendering of `
S
econdary
.
t`
e
r
rors to in
d
ividual
.
.
.
commit
|
commitdiff
|
tree
2022-01-14
Michae
l
Thom
a
s
Enable logging of specific typing errors
u
si
n
g `Typing_erro
r
.
.
.
commit
|
commitdiff
|
tree
2022-01-13
Michae
l
T
h
om
a
s
replace `fin
a
l_this`
with e
x
plicit `Secondar
y
.
t` err
o
r
commit
|
commitdiff
|
tree
2022-01-11
Mich
a
e
l
Thomas
Tran
s
l
ate non-conform
i
ng errors
w
hich 'a
p
pend' secondary
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
M
ichae
l
Tho
m
a
s
I
n
tr
o
duce s
e
condary er
r
ors
in place of explici
t
application
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Michael Th
o
mas
Disallow explicit applicat
i
o
n o
f
`Typing_error
.
Callback`s
commit
|
commitdiff
|
tree
2022-01-04
Michael Thomas
Mov
e
ne
w
ly c
r
ea
t
ed er
r
ors
commit
|
commitdiff
|
tree
2021-12-15
Michael Thom
a
s
Do not drop
error codes w
h
en calling
b
a
d_d
e
cl_o
v
erride
commit
|
commitdiff
|
tree
2021-12-14
Mich
a
el
T
homas
De
f
unc
t
ion
a
lize t
y
ping errors
commit
|
commitdiff
|
tree
2021-12-14
Michael
Thomas
Elimin
a
t
e
callba
c
k which
g
enerates multiple
e
rrors
commit
|
commitdiff
|
tree
2021-12-14
M
i
c
hael Tho
m
a
s
Rep
h
r
ase ty
p
i
n
g errors
u
s
ing
c
om
b
inators
commit
|
commitdiff
|
tree
2021-12-14
Michael T
h
omas
Refactor
n
ast check error
s
commit
|
commitdiff
|
tree
2021-12-14
M
i
chael Th
o
mas
Nast c
h
e
c
k error represen
t
ation
commit
|
commitdiff
|
tree
2021-12-14
Mi
c
ha
e
l Thomas
Refactor nam
i
n
g
e
rrors
commit
|
commitdiff
|
tree
2021-12-14
Michael T
h
omas
Naming
error representation
commit
|
commitdiff
|
tree
2021-12-14
Mich
a
e
l T
h
oma
s
S
i
mplif
y
`Phase_error` interface and u
p
date pars
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Michael
Thom
a
s
Move `err
o
r
_
`
to its
o
wn
mod
u
l
e
commit
|
commitdiff
|
tree
2021-12-14
Michael
T
homas
Pa
r
sing error repre
s
e
ntation
commit
|
commitdiff
|
tree
2021-11-15
M
ichael Thomas
Update function
name in
li
n
t message
commit
|
commitdiff
|
tree
2021-11-04
Michael Thomas
Cor
r
ect the na
m
e
o
f
t
h
e unsafe
c
ast
function to ensure
.
.
.
commit
|
commitdiff
|
tree
2021-10-25
Michael Thomas
N
o
err
o
r on use of `un
s
afe_cast`
commit
|
commitdiff
|
tree
2021-09-28
Michael Thomas
Prefer casting to mutable equi
v
alent of
coll
e
c
tio
n
.
.
.
commit
|
commitdiff
|
tree
2021-09-08
M
ichae
l
Thomas
Add
`
f
m
t
.
0
.
8
.
9`
t
o mini r
e
po
commit
|
commitdiff
|
tree
2021-08-26
Mi
c
hael Tho
m
as
Add `Hol
e
` on 4053 (
M
e
m
berNotFound) errors
commit
|
commitdiff
|
tree
2021-08-26
Michael Th
o
mas
Add
`
Hole`
o
n 4062 (N
o
n
O
bjectMemb
e
r
R
e
ad
)
errors
commit
|
commitdiff
|
tree
2021-08-25
Micha
e
l Thomas
Add `Hole`s on 4064 (Null
M
emberRead) warnings
commit
|
commitdiff
|
tree
2021-08-25
Michael Thomas
add `Ho
l
e` on `ExpectedCla
s
s` (
4
0
26
)
e
r
rors
commit
|
commitdiff
|
tree
2021-08-25
Michae
l
Thoma
s
add `Hole
`
to indexed expres
s
ion for
a
rray wr
i
te &
.
.
.
commit
|
commitdiff
|
tree
2021-08-19
Mi
c
hae
l
Th
o
mas
F
i
x
failing test
commit
|
commitdiff
|
tree
2021-08-18
Michael Thomas
Back out
"
add symbol le
v
el decl hash to nami
n
g tab
l
e"
commit
|
commitdiff
|
tree
2021-08-18
Mich
a
el Thomas
Back out "Add dynamic-type of $this depe
n
d
en
t
c
oeffects
.
.
.
commit
|
commitdiff
|
tree
2021-08-17
Michael
Thomas
Back
o
u
t "make decl
h
ash sqlite
colu
m
n an in
t
e
g
er instead
.
.
.
commit
|
commitdiff
|
tree
2021-08-14
Mic
h
ael Thomas
Gen
e
rate distinct e
r
ror when indexi
n
g
covariant containers
commit
|
commitdiff
|
tree
2021-08-12
Mich
a
el Thomas
Reinstate error on
t
u
ple array g
e
t with non
-
int
commit
|
commitdiff
|
tree
2021-08-06
Michael Th
o
mas
`Ho
l
e` on 40
0
5 (
A
rr
a
yAccessRead)
commit
|
commitdiff
|
tree
2021-08-05
Michael
T
h
o
mas
a
dd `Hole
`
on ar
g
ument
s
t
o
`e
c
ho`
s
p
ec
i
al func
t
ion
commit
|
commitdiff
|
tree
2021-08-05
Michael Thomas
prefer `string` or
`
i
nt` to `
a
rraykey` when adding
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Michael Thomas
add
`
Hole`
o
n ill-type
d
sub
-
e
xpressions in stri
n
g interpolat
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Michael Thomas
convert `
U
NSAFE_CAST` `
H
ole`s b
a
ck to `Call` durin
g
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Michael
Thomas
Add `Hole` to
a
r
ray get's on nul
l
able con
t
ainers
n
ot
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
M
ic
h
a
el Th
o
mas
Expected typ
e
for `Map` index expression should be
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Micha
e
l Thomas
Rem
o
ve tast ch
e
ck warning fo
r
container
s
w
i
th
cov
a
riant
.
.
.
commit
|
commitdiff
|
tree
2021-07-14
Mich
a
el Thomas
ad
d
`--extrac
t
-
s
tandalone`
u
sage to h
e
l
p
commit
|
commitdiff
|
tree
2021-07-08
Michael Thomas
`Hole` on ill-typed se
t
a
p
p
en
d
commit
|
commitdiff
|
tree
2021-07-07
Michael Thomas
Extra
c
t all class
d
epe
n
d
e
ncies f
r
o
m
t
ype hints
commit
|
commitdiff
|
tree
2021-06-29
M
i
chael
Thomas
`Hole` o
n
non-
a
rraykey v
a
lu
e
s in keyset
literals
commit
|
commitdiff
|
tree
2021-06-29
M
i
c
hael Thomas
Move `
U
NSAFE_CAST`
t
o `HH\FIXME
`
commit
|
commitdiff
|
tree
2021-06-22
M
i
chael Thomas
Ad
d
optional s
t
ring-literal param to `HH_FIXM
E
\UNSAFE_CAST`
commit
|
commitdiff
|
tree
2021-06-22
M
i
chael Tho
m
as
re
n
ame
`unsafe_c
a
st` to `HH_
F
I
X
M
E\UNSAFE_CAST
`
commit
|
commitdiff
|
tree
2021-06-08
Michael Th
o
m
as
Do not
render
p
r
ope
r
ties that
appe
a
r vi
a
constructor
.
.
.
commit
|
commitdiff
|
tree
2021-06-08
Michael Thomas
extract type para
m
eter
c
onstraint dep
e
nd
e
n
cies
commit
|
commitdiff
|
tree
2021-06-07
Michael Thoma
s
ex
t
r
act
a
s d
e
pendencies classes
appearin
g
i
n arguments
.
.
.
commit
|
commitdiff
|
tree
2021-06-07
M
i
c
h
ael
T
homas
escape ch
a
r in
string literals
commit
|
commitdiff
|
tree
2021-06-04
Mi
c
ha
e
l T
h
o
m
as
Add `Tvec
_
o
r
_dict`
case to typ
e
c
o
mparison
commit
|
commitdiff
|
tree
2021-06-03
M
i
chael T
h
omas
A
dd TAST `Hole`s to il
l
-typed xhp attribu
t
es
commit
|
commitdiff
|
tree
2021-05-24
Michael Th
o
mas
add `Hol
e
`
s
to
ill-typed index
e
xpress
i
o
n
s
commit
|
commitdiff
|
tree
2021-05-24
Michael Th
o
mas
add `
H
ole` for s
t
ring appen
d
commit
|
commitdiff
|
tree
2021-05-19
Michae
l
T
h
omas
Allow
multip
l
e ar
g
uments to `uns
a
f
e
_cast`
a
nd repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2021-05-19
Mic
h
a
el Thomas
add test case for expression d
e
p
e
ndent
t
ype
commit
|
commitdiff
|
tree
2021-05-19
Michae
l
T
homas
do
n
ot a
d
d a Hole with
w
ell-typed destructure
assi
g
nments
commit
|
commitdiff
|
tree
2021-05-19
Michael Thomas
add command to report all TAST `Holes` for a given
.
.
.
commit
|
commitdiff
|
tree
2021-05-19
M
ic
h
ael Thomas
report n
e
s
t
e
d
TAST `H
o
le`s corr
e
ctl
y
when
calling
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
M
ichael T
h
omas
do not emit
`__cons
t
ruct` twice w
h
en it
i
s the target
.
.
.
commit
|
commitdiff
|
tree
2021-05-04
Michael Th
o
mas
c
o
rre
c
tly
emit s
h
apes with un
k
nown
fiel
d
s only
commit
|
commitdiff
|
tree
2021-05-04
M
ichae
l
Thomas
emit where clauses for construc
t
ors
commit
|
commitdiff
|
tree
2021-04-30
Michael Thomas
Ad
d
TAST `Hole`s to il
l
-typed expressions in `fo
r
e
ach
.
.
.
commit
|
commitdiff
|
tree
2021-04-30
Mich
a
el Th
o
ma
s
Add T
A
ST `Hole`s
t
o
i
ll-type
expressions inside
`
KeyValu
e
Col
.
.
.
commit
|
commitdiff
|
tree
2021-04-30
Michael Thoma
s
add `Ho
l
e`s on rhs of ill-typed assignme
n
t
s
commit
|
commitdiff
|
tree
2021-04-23
Michael Thom
a
s
add `Hole
`
on
e
x
p
res
s
ions acting a
s
unpacked elements
.
.
.
commit
|
commitdiff
|
tree
2021-04-09
M
i
chael Thomas
Add example of `unsafe_ca
s
t` to `Hol
e
` do
c
str
i
n
g
commit
|
commitdiff
|
tree
2021-04-09
Michael Thomas
represent calls to `un
s
afe_c
a
st` as TAST
`
Hole`s
commit
|
commitdiff
|
tree
2021-04-09
Mich
a
e
l Thomas
Add `Hole
`
to ill
-
typed return ex
p
r
ession
commit
|
commitdiff
|
tree
2021-04-09
Michae
l
Thomas
add `type-
e
rror-at
-
pos` command to hh
_
client
commit
|
commitdiff
|
tree
2021-04-09
M
ichael
T
homas
add
`Hole` TAST ann
o
tatio
n
to
f
un
c
tion paramet
e
r
s
which
.
.
.
commit
|
commitdiff
|
tree
2021-03-18
Michael
Thomas
Add AAS
T
`Hole
`
for subtyp
e
/c
o
ercion
error
a
nnotation
commit
|
commitdiff
|
tree
2021-03-18
M
ichael Thom
a
s
Retur
n
sub-
a
n
d super-types on failure
f
ro
m
coercion
.
.
.
commit
|
commitdiff
|
tree
2021-03-08
Michael Thomas
e
xtract dependenc
i
es from
u
ser attribu
t
es
commit
|
commitdiff
|
tree
2021-03-08
Mi
c
hael Thomas
ad
d
line
breaks to generat
e
d
o
utput to ai
d
r
e
adability
commit
|
commitdiff
|
tree
2021-03-08
Mic
h
ael Thomas
extract sealed whi
t
elis
t
depend
e
nci
e
s
commit
|
commitdiff
|
tree
2021-02-26
Micha
e
l Thomas
render
us
e
r at
t
ri
b
utes wit
h
p
arame
t
ers
commit
|
commitdiff
|
tree
2021-02-26
Michael Thomas
Apply update
o
f
hig
h
er-order functi
o
n
fu
n
ction-type
.
.
.
commit
|
commitdiff
|
tree
2021-02-19
Michael Thomas
Add
pure conte
x
t to `extract_standalone_
m
ake_default
.
.
.
commit
|
commitdiff
|
tree
2021-02-17
Michael Thoma
s
Render c
o
nte
x
t con
s
tan
t
s
correctly
commit
|
commitdiff
|
tree
2021-02-17
Mi
c
hael Thomas
Pretty pri
n
t method conte
x
t
s
commit
|
commitdiff
|
tree
2021-02-16
Michael Thomas
Re
n
d
er hig
h
e
r
order fun
c
tions with contexts depe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2021-02-16
Mi
c
hael Thomas
Pretty pri
n
t
f
unction
c
ontexts in ty
p
edefs
commit
|
commitdiff
|
tree
2021-02-16
Michael Thomas
pretty pri
n
t function type hints c
o
rrectly
commit
|
commitdiff
|
tree
2021-02-12
Mi
c
ha
e
l Thomas
Remove local
m
emoization to ensure
we get up-to-date
.
.
.
commit
|
commitdiff
|
tree
2021-02-11
M
ichael T
h
omas
Primary
p
ositi
o
n error on enum
t
y
p
e
const
a
nt a
c
c
e
ss
commit
|
commitdiff
|
tree
2021-02-04
Mi
c
hael Thomas
Helper function naming
conv
e
ntions
commit
|
commitdiff
|
tree
2021-02-04
Michael Thomas
G
roup dependencies
b
y
file
commit
|
commitdiff
|
tree
2021-02-04
Micha
e
l Thomas
Refa
c
tor: use Unsupported exception rather than fai
l
with
commit
|
commitdiff
|
tree
2021-02-04
M
i
chael Thomas
R
e
facto
r
: remove
to
p
-leve
l
module ope
n
s
commit
|
commitdiff
|
tree
2021-02-03
M
ichael Thomas
Refac
t
or: move related
h
e
lper func
t
ions into their
.
.
.
commit
|
commitdiff
|
tree