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
Remove side-effecting variants from `typing_phase`
2022-03-15
Mic
h
ael Thomas
Remove side-
e
f
fecting varia
n
ts
from `
t
y
pi
n
g_phase`
commit
|
commitdiff
|
tree
2022-03-15
Michael Thom
a
s
R
esolve tyv
a
rs
commit
|
commitdiff
|
tree
2022-03-15
Michael T
h
omas
Tyvar bind
i
ng
commit
|
commitdiff
|
tree
2022-03-15
Michae
l
T
homas
Sim
p
lify constraint
s
commit
|
commitdiff
|
tree
2022-03-14
Micha
e
l
T
h
oma
s
Remove side-e
f
f
e
ct
i
ng variants
from
`typing
_
solver`
commit
|
commitdiff
|
tree
2022-03-14
Mich
a
el
Thomas
Refac
t
or `ar
r
ay_get` and `
t
ypi
n
g_generic_rules`
commit
|
commitdiff
|
tree
2022-03-14
Michael Th
o
mas
Remove side-e
f
fecting variant
s
fr
o
m `ty
p
ing_tdef`
commit
|
commitdiff
|
tree
2022-03-14
Michael
Thomas
Removes
side-ef
f
ecting vari
a
nts
fr
o
m `typing
_
subt
y
p
e_tconst`
commit
|
commitdiff
|
tree
2022-03-14
Mic
h
a
e
l
Thom
a
s
Remove
s
ide-effecti
n
g variants from `ty
p
i
ng_taccess`
commit
|
commitdiff
|
tree
2022-03-14
Michae
l
Thoma
s
Re
m
ove side effecting
variants from `typ
i
ng_generic_con
s
t
raint`
commit
|
commitdiff
|
tree
2022-03-11
M
ichael Thom
a
s
Rem
o
ve sid
e
effec
t
i
ng vari
a
nts from `typing
_
subtype`
commit
|
commitdiff
|
tree
2022-03-07
M
ichael Th
o
mas
Fix build
commit
|
commitdiff
|
tree
2022-03-04
Michael Thomas
R
emo
v
e side
-
effec
t
ing v
a
riants fr
o
m
`
t
y
ping_coer
c
i
o
n`
commit
|
commitdiff
|
tree
2022-03-04
Michael Thomas
R
emove side-effect
i
n
g
variants fr
o
m `t
y
ping_o
b
ject_get`
commit
|
commitdiff
|
tree
2022-03-01
Mi
c
hael Thomas
Add union ty
p
e
commit
|
commitdiff
|
tree
2022-03-01
Michael Thomas
Add infe
r
ence environment
commit
|
commitdiff
|
tree
2022-03-01
Michael Thomas
Lazily evalua
t
e compon
e
nts o
f
`
Us
e
r_error
.
t`
commit
|
commitdiff
|
tree
2022-03-01
Michael Thomas
Expose
p
ure variants from `typing_subtype
`
and
m
o
d
ules
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
it:[rupro] Add
constraints & propos
i
tions
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
Av
o
id singletons
commit
|
commitdiff
|
tree
2022-02-28
Michael
T
homas
Elimi
n
at
e
`ign
o
r
e_errors` callb
a
c
k
commit
|
commitdiff
|
tree
2022-02-28
Mic
h
a
el
T
homas
Add `map_en
v
` va
r
iants fo
r
use
with
f
unction
s
r
eturning
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
Add helper fun
c
tions
f
or working with intersec
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
Michael Tho
m
as
Add t
y
vars as newtyp
e
w
rapper on ide
n
ts
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
R
emove side effects from internal
h
elpers
commit
|
commitdiff
|
tree
2022-02-28
M
ichael Thomas
Updat
e
subtyping `obj_get` call to ignor
e
`
HH
_
F
I
X
M
E
`s
commit
|
commitdiff
|
tree
2022-02-14
Michael Tho
m
a
s
I
ntroduce `Mu
l
tip
l
e
`
and `U
n
ion` c
o
nstructo
r
s for
.
.
.
commit
|
commitdiff
|
tree
2022-02-14
Mi
c
hael
T
h
omas
Int
r
oduce `Intersect`
t
y
ping
e
rrors
commit
|
commitdiff
|
tree
2022-02-09
Mic
h
a
e
l Thomas
Replace redundant `NAST_check_er
r
or`
commit
|
commitdiff
|
tree
2022-02-08
M
ichael Tho
m
as
Mov
e
complex
e
rror to helper f
u
nction
commit
|
commitdiff
|
tree
2022-02-08
Mi
c
hael Th
o
mas
Rem
o
ve reliance on error orde
r
ing
commit
|
commitdiff
|
tree
2022-02-07
Michael Thomas
Remove side e
f
f
e
ct from `smember_not_found`
commit
|
commitdiff
|
tree
2022-02-07
Mi
c
h
ael Thomas
Factor out logging
commit
|
commitdiff
|
tree
2022-02-07
Mi
c
hael Thom
a
s
L
ift s
i
de eff
e
cts
commit
|
commitdiff
|
tree
2022-02-07
Mi
c
hael Thomas
Move side
ef
f
ect
s
from error
help
e
r
commit
|
commitdiff
|
tree
2022-02-07
Michael
Thomas
Group error side effects
commit
|
commitdiff
|
tree
2022-02-07
Michael Thoma
s
Pul
l
`member
_
i
nfo` `Some
.
.
.
` case out of `obj_get_concrete_
.
.
.
commit
|
commitdiff
|
tree
2022-02-07
Mich
a
el Thoma
s
P
u
ll `me
m
ber_
i
nfo`
`
None` cases out
o
f `obj
_
get_
c
oncrete_cl
a
ss`
commit
|
commitdiff
|
tree
2022-02-07
Michael T
h
omas
Refa
c
tor
`ob
j
_get_
c
o
ncrete_ty`
commit
|
commitdiff
|
tree
2022-02-07
Mi
c
h
ael T
h
omas
Mov
e
`
obj_get_concre
t
e_t
y
` clas
s
ca
s
e
to own
f
unction
commit
|
commitdiff
|
tree
2022-02-04
Michael
T
homas
Re
f
actor `obj_get
_
inner`
generi
c
case
commit
|
commitdiff
|
tree
2022-02-04
M
i
c
hael Thom
a
s
M
ove
`
obj_get_inner` intersec
t
ion cas
e
to own f
u
n
ction
commit
|
commitdiff
|
tree
2022-02-04
Michael Thom
a
s
M
o
ve `ob
j
_get_inner` unio
n
case to
own function
commit
|
commitdiff
|
tree
2022-02-04
Michael Thomas
Revert D33
9
427
2
4
commit
|
commitdiff
|
tree
2022-02-03
Micha
e
l
T
homas
B
r
eak `obj_
g
et_inner` into
s
mall
e
r funct
i
ons
commit
|
commitdiff
|
tree
2022-02-02
Michael Tho
m
as
Mo
v
e c
o
mmo
n
`typing_ob
j
ect_ge
t
`
argum
e
nt
s
into recor
d
commit
|
commitdiff
|
tree
2022-02-02
Mich
a
el
T
h
om
a
s
Pull side ef
f
ects
out of `typing_visibility`
commit
|
commitdiff
|
tree
2022-02-02
Mic
h
ael Thomas
P
u
ll si
d
e
effects
out
of `typ
i
ng_dynamic`
commit
|
commitdiff
|
tree
2022-01-27
Mic
h
ael Thomas
Move side ef
f
ect
out
o
f `typing_well
_
form
e
dn
e
ss`
commit
|
commitdiff
|
tree
2022-01-26
Mi
c
hael Thom
a
s
C
r
eate a `Var
i
ance` type
commit
|
commitdiff
|
tree
2022-01-20
Michael
Thomas
Add `Assert_in_c
u
rre
n
t_decl` comb
i
na
t
o
r
to `T
y
ping_er
r
or
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
Michael Thom
a
s
Add `Asse
r
t_in
_
current_de
c
l`
con
s
tructor to
`
Typing_e
r
ro
r
.
t
`
commit
|
commitdiff
|
tree
2022-01-14
M
i
c
hael Thomas
Mov
e
rendering of `Secondary
.
t` er
r
ors to indi
v
idual
.
.
.
commit
|
commitdiff
|
tree
2022-01-14
Mi
c
hael Tho
m
as
Enable logging o
f
specific t
y
ping
e
r
r
ors using `Typing_error
.
.
.
commit
|
commitdiff
|
tree
2022-01-13
Mi
c
hael Thoma
s
repla
c
e `final_th
i
s` with explicit `Secon
d
ary
.
t` error
commit
|
commitdiff
|
tree
2022-01-11
M
i
chael Th
o
mas
Translate non-confor
m
ing
errors wh
i
ch 'app
e
nd
'
s
e
condary
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Micha
e
l T
h
om
a
s
Introduce secondary errors
i
n place of expl
i
cit application
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Mi
c
hael Th
o
m
a
s
Dis
a
ll
o
w expli
c
it appl
i
cation of `Typin
g
_
erro
r
.
C
a
llback`s
commit
|
commitdiff
|
tree
2022-01-04
Michael
Tho
m
as
Move newly created e
r
r
ors
commit
|
commitdiff
|
tree
2021-12-15
Michael T
h
omas
Do not
drop error codes when calling bad_decl_override
commit
|
commitdiff
|
tree
2021-12-14
Mic
h
ael Thomas
Defuncti
o
na
l
iz
e
t
y
ping errors
commit
|
commitdiff
|
tree
2021-12-14
Michae
l
Thomas
Eliminate callback wh
i
ch generate
s
m
ultipl
e
errors
commit
|
commitdiff
|
tree
2021-12-14
M
i
c
hael Tho
m
a
s
Rephrase typ
i
ng errors usi
n
g
combinators
commit
|
commitdiff
|
tree
2021-12-14
M
ichael Tho
m
as
Refactor nast check error
s
commit
|
commitdiff
|
tree
2021-12-14
Micha
e
l Thomas
Nast
c
heck error repres
e
n
t
a
t
i
on
commit
|
commitdiff
|
tree
2021-12-14
Michae
l
Thoma
s
Refactor n
a
ming
e
rrors
commit
|
commitdiff
|
tree
2021-12-14
Mic
h
ael
T
h
o
mas
Naming er
r
or representation
commit
|
commitdiff
|
tree
2021-12-14
M
i
c
hael T
h
omas
S
implify `Phase_error` i
n
t
e
rface and
u
pd
a
te par
s
ing
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
Michael Thomas
Move
`erro
r
_` to its own m
o
du
l
e
commit
|
commitdiff
|
tree
2021-12-14
Michael Tho
m
as
P
a
rsing
e
rro
r
representation
commit
|
commitdiff
|
tree
2021-11-15
Micha
e
l Thomas
Update
f
u
nct
i
on na
m
e in
l
int
message
commit
|
commitdiff
|
tree
2021-11-04
Michael Thoma
s
Correc
t
the name of the u
n
safe cast fu
n
c
t
i
on to ensure
.
.
.
commit
|
commitdiff
|
tree
2021-10-25
M
ichael Thomas
No error o
n
u
se
o
f `unsaf
e
_
c
ast`
commit
|
commitdiff
|
tree
2021-09-28
M
i
c
h
ael Thom
a
s
Prefe
r
cas
t
i
ng to mutable eq
u
ivalent of collection
.
.
.
commit
|
commitdiff
|
tree
2021-09-08
M
ichae
l
T
h
o
mas
Add `fmt
.
0
.
8
.
9` to mini
r
epo
commit
|
commitdiff
|
tree
2021-08-26
M
ichael Thomas
Add `Hole` on 4053 (MemberNotFound) error
s
commit
|
commitdiff
|
tree
2021-08-26
Michael
Thomas
A
d
d
`
Hole` on 406
2
(N
o
n
Ob
j
ectMemberRea
d
) errors
commit
|
commitdiff
|
tree
2021-08-25
Michael
Thomas
Add `Ho
l
e`s on 4064 (NullMemberRead)
w
arnings
commit
|
commitdiff
|
tree
2021-08-25
Mic
h
ael Thomas
add
`Hole
`
on `ExpectedClass` (
4
0
26) errors
commit
|
commitdiff
|
tree
2021-08-25
Michael
T
homas
add `Hole` to inde
x
ed
e
xpres
s
i
o
n for arra
y
wri
t
e &
.
.
.
commit
|
commitdiff
|
tree
2021-08-19
Michae
l
T
h
omas
F
i
x fa
i
ling
te
s
t
commit
|
commitdiff
|
tree
2021-08-18
Michael
T
homas
Back out
"
add s
y
mbol le
v
el decl has
h
t
o naming table"
commit
|
commitdiff
|
tree
2021-08-18
Mich
a
el
T
h
omas
Back out "Add dynamic-
t
y
p
e
of
$this dependent
coeffects
.
.
.
commit
|
commitdiff
|
tree
2021-08-17
Michael Thomas
Back
o
ut
"make decl h
a
sh sqli
t
e
c
olumn a
n
i
n
teger instead
.
.
.
commit
|
commitdiff
|
tree
2021-08-14
Michael Thomas
Ge
n
er
a
te
d
istinct error wh
e
n
i
ndex
i
ng covariant conta
i
n
e
r
s
commit
|
commitdiff
|
tree
2021-08-12
Michael Thoma
s
Reinstate error on t
u
pl
e
array get with non-
i
nt
commit
|
commitdiff
|
tree
2021-08-06
Michael Thomas
`
H
ole` on 4005 (
A
rrayAccessRead)
commit
|
commitdiff
|
tree
2021-08-05
Michael Thom
a
s
add `Ho
l
e
` on arguments to `echo`
s
p
ecial function
commit
|
commitdiff
|
tree
2021-08-05
Mic
h
ael Thomas
prefer `string` or `int` to `arraykey`
whe
n
adding
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Michael Thomas
add `Hole` on
ill-
t
yped
sub-expressions in string inter
p
o
l
at
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Michael Tho
m
as
conver
t
`UNSAF
E
_CAST` `Hole`s back to
`Call` durin
g
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
M
i
chael Thomas
Add `Hole` to array get
'
s on nullable containers not
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Michael Tho
m
a
s
Expected typ
e
fo
r
`
Map` index expres
s
ion shoul
d
be
.
.
.
commit
|
commitdiff
|
tree
2021-07-30
Micha
e
l
T
ho
m
as
Remove t
a
s
t
check warning for cont
a
ine
r
s with c
o
varian
t
.
.
.
commit
|
commitdiff
|
tree
2021-07-14
Michael Thomas
add `--extract-
s
tandalon
e
` usage to help
commit
|
commitdiff
|
tree
2021-07-08
Michael Thomas
`Hole` on
i
l
l
-ty
p
e
d
set append
commit
|
commitdiff
|
tree
2021-07-07
Michael Thomas
Ex
t
r
a
c
t all class
d
e
p
endencies
f
rom
t
yp
e
hints
commit
|
commitdiff
|
tree
2021-06-29
Michael
T
homas
`Hole
`
o
n non-arraykey
value
s
in keyset
literals
commit
|
commitdiff
|
tree
2021-06-29
Michael Thomas
M
o
v
e
`UNSAFE_CAST` to `H
H
\FIXME`
commit
|
commitdiff
|
tree
2021-06-22
Mich
a
el Tho
m
as
Add option
a
l string-literal
p
aram to `HH_FI
X
M
E\
U
NSAFE_
C
AST`
commit
|
commitdiff
|
tree
next