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
Back out "Adding tests for the TC in EC gating"
2022-11-08
Mich
a
e
l Thom
a
s
Ad
d
tests for shape
field name
e
l
aboration
commit
|
commitdiff
|
tree
2022-11-08
M
ichael Thomas
Add tests
for mi
s
cellaneous validation
p
erformed
d
uring
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Michael T
h
o
m
as
Add tests fo
r
t
y
pe
c
h
e
c
ke
r
opt
i
on driven
e
labo
r
ation
.
.
.
commit
|
commitdiff
|
tree
2022-11-06
Michael Thomas
Derive `mapr
e
duce` visitor for the AAST
commit
|
commitdiff
|
tree
2022-11-06
Michael Th
o
ma
s
Add tests for va
l
id a
n
d invalid uses of typ
e
access
.
.
.
commit
|
commitdiff
|
tree
2022-11-06
M
ichael T
h
om
a
s
A
dd tests for invalid use
s
of `this` typ
e
hint
commit
|
commitdiff
|
tree
2022-11-06
Mi
c
hael
Thomas
Add
t
ests for prim
i
tives re
f
erred t
o
in to
p
level namespace
commit
|
commitdiff
|
tree
2022-11-06
Mich
a
e
l
Thomas
Add tests for valid and inva
l
id like typ
e
hints
commit
|
commitdiff
|
tree
2022-11-06
Mic
h
ael Th
o
mas
Add tests for valid an
d
i
nvalid wildca
r
d
t
y
pe
h
ints
commit
|
commitdiff
|
tree
2022-11-06
Mic
h
ael Thomas
A
d
d
te
s
ts
f
or
v
alidation of `voi
d
` and `notre
t
urn`
.
.
.
commit
|
commitdiff
|
tree
2022-11-01
M
icha
e
l Thomas
A
dd NAST test
for elabor
a
tio
n
and validation of type
.
.
.
commit
|
commitdiff
|
tree
2022-11-01
Michael Thoma
s
Add
te
s
t f
o
r canonicaliz
e
d typ
e
hints
commit
|
commitdiff
|
tree
2022-11-01
Michael Thom
a
s
E
lim
i
n
a
t
e multipl
e
applicatio
n
s of `nam
i
n
g_elaborate_na
m
es
p
a
.
.
.
commit
|
commitdiff
|
tree
2022-10-18
M
i
chael
T
ho
m
as
Add
`
H
o
l
e
`
o
n non-object member read of ge
n
e
r
ic type
commit
|
commitdiff
|
tree
2022-10-18
Micha
e
l
T
h
o
mas
Break apart non-mutually rec
u
rs
i
ve f
u
nctions
commit
|
commitdiff
|
tree
2022-10-14
M
ic
h
ael Thomas
Improve exception d
e
t
ails for `Future_fai
l
ure`
commit
|
commitdiff
|
tree
2022-07-14
Michael Thomas
Special case `nullable`
types
i
n `fore
a
ch`
commit
|
commitdiff
|
tree
2022-07-13
M
i
chael T
h
omas
Better inference & `Ho
l
e` on nullabl
e
obje
c
t get
commit
|
commitdiff
|
tree
2022-06-29
Michael T
h
omas
Improve expected types for `Ho
l
e`s
in `ValCollection`
commit
|
commitdiff
|
tree
2022-06-29
M
ichael Thomas
c
a
rgo ven
d
or
commit
|
commitdiff
|
tree
2022-06-20
Mich
a
el Thomas
Return indexed- and
indexi
n
g-express
i
on type mismatches
.
.
.
commit
|
commitdiff
|
tree
2022-05-31
M
i
c
hael Th
o
ma
s
Refactor prop
o
sitions
a
s
c
o
n
juncti
o
ns &
d
isjunctions
.
.
.
commit
|
commitdiff
|
tree
2022-05-31
M
i
chael
T
homas
Phrase upper and lower bounds sol
e
ly in t
e
r
ms of subtype
.
.
.
commit
|
commitdiff
|
tree
2022-05-31
Michael
Thom
a
s
Handle subtype pro
p
s requirin
g
a
ncestor looku
p
commit
|
commitdiff
|
tree
2022-05-31
Mic
h
a
el Thomas
N
o
rmaliz
e
sub
t
ype
propositions i
n
volving
interse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2022-05-31
Michael Thomas
I can
h
a
z intersections?
commit
|
commitdiff
|
tree
2022-05-31
Mi
c
hael T
h
omas
A
dd functions to 'for
c
e'
solving of
t
yva
r
s
commit
|
commitdiff
|
tree
2022-05-18
Mi
c
h
ael Thomas
Deal with
n
on
-
d
eno
t
able gen
e
rics
commit
|
commitdiff
|
tree
2022-05-17
Mic
h
ael
T
homas
Sub
t
ype prop norm
a
l
i
zation fo
r
function typ
e
s
commit
|
commitdiff
|
tree
2022-05-17
Michae
l
Th
o
mas
E
x
pose solvin
g
A
P
I
commit
|
commitdiff
|
tree
2022-05-11
Michael Thomas
Avoid quad
r
atic slo
w
d
o
wn in
markd
o
w
n rendering
commit
|
commitdiff
|
tree
2022-05-10
Michael Thomas
`hackfmt` does not resp
e
c
t `@partially-generated` tag
.
.
.
commit
|
commitdiff
|
tree
2022-05-03
Michael Thomas
e
x
p
ose top level s
u
b
ty
p
ing fun
c
ti
o
ns
commit
|
commitdiff
|
tree
2022-04-28
Mi
c
hael T
h
omas
Rename `ho
l
e_on_err`
t
o
`hole_on_ty_mismatc
h
`
commit
|
commitdiff
|
tree
2022-04-28
M
i
chael T
h
omas
Use the original argument type when adding `H
o
le
`
s
.
.
.
commit
|
commitdiff
|
tree
2022-04-26
Michael T
h
omas
G
et
co-
& contrava
r
i
ant type var
i
a
ble from
type
s
commit
|
commitdiff
|
tree
2022-04-13
Mich
a
el Thomas
Add sufficient functionality
t
o `Class`
tra
i
t and impls
.
.
.
commit
|
commitdiff
|
tree
2022-04-13
M
ichael
T
h
o
mas
Add de
c
l
.
oracle
t
o env and ad
d
`Resul
t
`s eve
r
yw
h
ere
commit
|
commitdiff
|
tree
2022-04-13
Michael Thomas
Proposition normalisat
i
on for type &
t
ype
commit
|
commitdiff
|
tree
2022-04-13
Michael Tho
m
as
Expo
s
e
xhp ty
p
ing err
o
rs
commit
|
commitdiff
|
tree
2022-04-07
Michael Thomas
Comple
t
e
defin
i
tion of
`
is_denot
a
bl
e
`
commit
|
commitdiff
|
tree
2022-04-03
Mi
c
hael
Thomas
thes
e
.
exp files ca
n
b
e
remove
d
?
commit
|
commitdiff
|
tree
2022-04-03
Michael Thomas
Fix expect
test wh
e
re we ha
v
e
n
o
di
f
ference between
.
.
.
commit
|
commitdiff
|
tree
2022-04-01
Michael Thomas
A
v
oid a
d
ding two holes
t
o value col
l
e
c
ti
o
n liter
a
ls
commit
|
commitdiff
|
tree
2022-03-30
Michael
Thomas
Expression dependent
ty
p
es are not denotab
l
e
commit
|
commitdiff
|
tree
2022-03-25
Mic
h
ae
l
Thom
a
s
Type parameter enviro
n
ment
commit
|
commitdiff
|
tree
2022-03-23
Michael Thomas
Add `with_code` com
b
inator
commit
|
commitdiff
|
tree
2022-03-22
Michael T
h
omas
Ad
d
`Toptio
n
` as sp
e
cial c
a
se of
`Tunion`
commit
|
commitdiff
|
tree
2022-03-15
Michael
T
homas
Re
m
ove
s
ide-effecting variants from `typing_phas
e
`
commit
|
commitdiff
|
tree
2022-03-15
Michael
Thomas
Res
o
l
ve tyvars
commit
|
commitdiff
|
tree
2022-03-15
Mic
h
ael
Th
o
ma
s
Tyvar
b
inding
commit
|
commitdiff
|
tree
2022-03-15
Mic
h
ael Thomas
Simplify constraints
commit
|
commitdiff
|
tree
2022-03-14
Mich
a
el Thomas
Remove side
-
effecting va
r
ian
t
s fr
o
m `typing
_
solve
r
`
commit
|
commitdiff
|
tree
2022-03-14
M
ich
a
el Thomas
Refa
c
tor `
a
rr
a
y_get` an
d
`typin
g
_generic
_
rul
e
s`
commit
|
commitdiff
|
tree
2022-03-14
Michael Thomas
Remove
side-e
f
fec
t
ing
varian
t
s
f
rom `t
y
ping_
t
def`
commit
|
commitdiff
|
tree
2022-03-14
Michael Thomas
Remove
s
side
-
eff
e
c
t
ing variants from `typing_subtype_tco
n
st`
commit
|
commitdiff
|
tree
2022-03-14
Michael Thoma
s
Re
m
ove side-ef
f
ecti
n
g va
r
iants from `typin
g
_taccess`
commit
|
commitdiff
|
tree
2022-03-14
Mic
h
ael Thoma
s
Remove s
i
de effect
i
ng variant
s
from `typin
g
_generi
c
_constrain
t
`
commit
|
commitdiff
|
tree
2022-03-11
Michael
Thomas
Remove
s
ide e
f
fe
c
ting variants from `typing_subtype`
commit
|
commitdiff
|
tree
2022-03-07
Michael Tho
m
as
F
i
x build
commit
|
commitdiff
|
tree
2022-03-04
Michael Thom
a
s
Rem
o
ve sid
e
-effecting va
r
iant
s
from `typing_coerc
i
on`
commit
|
commitdiff
|
tree
2022-03-04
Mi
c
hael
Thomas
Remov
e
si
d
e-ef
f
ec
t
ing
variants from `typ
i
ng_object_get`
commit
|
commitdiff
|
tree
2022-03-01
M
ichael
Thomas
Add union type
commit
|
commitdiff
|
tree
2022-03-01
Michael Thomas
Add inference environment
commit
|
commitdiff
|
tree
2022-03-01
Mic
h
ael Thomas
Lazil
y
evaluate comp
o
nen
t
s of `User_error
.
t`
commit
|
commitdiff
|
tree
2022-03-01
Michael Thoma
s
Expose pure variants
fro
m
`
typing_subtype` and modules
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
Michael T
h
omas
it:[
r
upro
]
Add constraints & pr
o
positions
commit
|
commitdiff
|
tree
2022-02-28
M
i
c
h
ael Thom
a
s
Avoid singletons
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
Elimi
n
ate
`
ignore_errors`
c
a
llback
commit
|
commitdiff
|
tree
2022-02-28
Mi
c
h
ael Th
o
m
as
Add `map_env` var
i
ants
for use wi
t
h funct
i
ons return
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
Micha
e
l Thomas
A
dd helper f
u
nctions for workin
g
wi
t
h intersec
t
ions
.
.
.
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
Add t
y
var
s
as
n
ewtype
w
rapp
e
r on idents
commit
|
commitdiff
|
tree
2022-02-28
Michael Thomas
Rem
o
ve side effects from inte
r
nal help
e
rs
commit
|
commitdiff
|
tree
2022-02-28
Michae
l
Thomas
Up
d
ate subtyp
i
ng `obj_get` c
a
ll to ign
o
re `HH_FIXME`s
commit
|
commitdiff
|
tree
2022-02-14
M
i
c
h
ael Thomas
In
t
roduce `M
u
l
tipl
e
` and `U
n
ion` constructors fo
r
.
.
.
commit
|
commitdiff
|
tree
2022-02-14
Michael
T
ho
m
a
s
Introduce `I
n
tersect` typ
i
ng e
r
rors
commit
|
commitdiff
|
tree
2022-02-09
M
ic
h
ael Thomas
Re
p
lace redundan
t
`NAST_
c
heck_error`
commit
|
commitdiff
|
tree
2022-02-08
Michael Thomas
Move c
o
mplex erro
r
to hel
p
er function
commit
|
commitdiff
|
tree
2022-02-08
Michael Thomas
Remo
v
e re
l
iance on
e
r
ror ordering
commit
|
commitdiff
|
tree
2022-02-07
Mich
a
e
l T
h
omas
R
e
m
ove side
eff
e
c
t
from `smember
_
not_found`
commit
|
commitdiff
|
tree
2022-02-07
Mi
c
h
a
el
T
homa
s
Factor out l
o
gging
commit
|
commitdiff
|
tree
2022-02-07
Mic
h
ael Thomas
Li
f
t side e
f
fects
commit
|
commitdiff
|
tree
2022-02-07
Michael Thomas
Move s
i
de effe
c
ts from err
o
r helper
commit
|
commitdiff
|
tree
2022-02-07
Michael
T
homas
Gr
o
up error side effects
commit
|
commitdiff
|
tree
2022-02-07
Mi
c
h
ael Thom
a
s
P
ull `member_info
`
`S
o
me
.
.
.
`
c
ase out of `obj_ge
t
_concre
t
e_
.
.
.
commit
|
commitdiff
|
tree
2022-02-07
Michael
Thomas
Pull `
m
em
b
er_info`
`Non
e
` ca
s
es ou
t
of `obj_get_concret
e
_class`
commit
|
commitdiff
|
tree
2022-02-07
Michae
l
Thom
a
s
Refactor `obj_get_concrete_ty`
commit
|
commitdiff
|
tree
2022-02-07
Michael Thomas
Move `o
b
j_get_co
n
crete_
t
y
` class case to
ow
n
fu
n
ctio
n
commit
|
commitdiff
|
tree
2022-02-04
Michael
Thomas
R
e
factor `obj_get_inner` generic case
commit
|
commitdiff
|
tree
2022-02-04
M
i
chael Thomas
Move
`obj
_
get_inne
r
` intersection case to
o
wn function
commit
|
commitdiff
|
tree
2022-02-04
M
ichael Thomas
Move
`
obj_get_inner` union case t
o
ow
n
function
commit
|
commitdiff
|
tree
2022-02-04
Michael Thoma
s
Revert
D33942724
commit
|
commitdiff
|
tree
2022-02-03
M
i
c
h
a
e
l
Thomas
B
reak `obj_get_inn
e
r` int
o
smaller
functions
commit
|
commitdiff
|
tree
2022-02-02
Micha
e
l
T
h
o
mas
Move common
`
typing_object_get`
a
r
gum
e
nts
into record
commit
|
commitdiff
|
tree
2022-02-02
Michae
l
Th
o
m
as
P
ull side effec
t
s
out of `typing_visibility
`
commit
|
commitdiff
|
tree
2022-02-02
Michael Tho
m
as
Pull
s
ide effects ou
t
of `typing_
d
ynamic`
commit
|
commitdiff
|
tree
2022-01-27
Mi
c
hael Thomas
M
ove si
d
e effect
o
ut of `typing_w
e
ll_forme
d
n
e
s
s`
commit
|
commitdiff
|
tree
2022-01-26
Michael Thomas
Create a `
V
ariance
`
t
y
pe
commit
|
commitdiff
|
tree
2022-01-20
Mich
a
e
l
Thom
a
s
Add `Assert_in
_
current_decl`
c
ombinator to
`Ty
p
i
n
g_erro
r
.
.
.
commit
|
commitdiff
|
tree
2022-01-19
M
i
chael Thomas
Add `Assert_in_cur
r
ent_decl` constructor
to `Typing_error
.
t`
commit
|
commitdiff
|
tree
next