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
Use IndexMap and IndexSet in Context
2023-02-08
S
c
ott O
w
ens
remove competing union simpl
i
c
ation o
f
supportdyn
commit
|
commitdiff
|
tree
2023-02-02
Sco
t
t Owens
Buil
d
SUPPORTDYN_MARKER
commit
|
commitdiff
|
tree
2023-01-30
Scott O
w
ens
U
s
e
h
elp
e
r functi
o
n
commit
|
commitdiff
|
tree
2023-01-28
Scott Owens
Fix NoAutoDynamic for returns
commit
|
commitdiff
|
tree
2023-01-23
Scott Owens
Remove un
u
s
e
d
comp
l
ex_coercion flag
commit
|
commitdiff
|
tree
2023-01-20
Scott Owe
n
s
remove is_sub
_
typ
e
_for_coerci
o
n
commit
|
commitdiff
|
tree
2023-01-19
S
c
o
tt Owens
Require type hints in h
h
is
commit
|
commitdiff
|
tree
2023-01-11
Scott Ow
e
ns
Interpre
t
types
w
i
t
h gen
e
ric classes with
n
o a
r
gumen
t
s
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Scott Owens
Don't a
l
ways
throw away support
d
yn in array in
d
ex
commit
|
commitdiff
|
tree
2022-12-16
S
c
ott O
w
ens
Disable type
c
o
nstant
e
n
f
o
rcement
commit
|
commitdiff
|
tree
2022-12-16
S
c
ot
t
Owe
n
s
T
reat UNS
A
FE_CA
S
T<
t
1, t2> as upcast ~t2
commit
|
commitdiff
|
tree
2022-12-12
Scott
Owen
s
i
mprove h
a
n
d
lin
g
of
Toption
commit
|
commitdiff
|
tree
2022-11-30
Scott Owens
Remove generic arity error f
r
om
subtyping
commit
|
commitdiff
|
tree
2022-11-29
Scott Owens
p
ass a clas
s
for
t
h
e
this type to en
f
orcement
commit
|
commitdiff
|
tree
2022-11-24
Scott Owen
s
Refactor
e
nforcement calculations
commit
|
commitdiff
|
tree
2022-11-23
Scott Owens
Implement
e
nforce
m
ent cal
c
ulatio
n
for t
y
p
e
con
s
t
ants
commit
|
commitdiff
|
tree
2022-11-15
Scott Ow
e
ns
Fix
e
x
pre
s
s
i
on
tree
s
for pessimis
a
tion
commit
|
commitdiff
|
tree
2022-11-11
Scott Owens
Fix enforcement-
b
ased pessimisatio
n
commit
|
commitdiff
|
tree
2022-11-08
S
cott Owens
Use loc
l
_l
i
k
e
helper inste
a
d o
f
d
i
rect
un
i
on with dyna
m
ic
commit
|
commitdiff
|
tree
2022-11-01
Scott Owens
fix int
e
r
nal type
c
heck err
o
r
commit
|
commitdiff
|
tree
2022-11-01
Scott
Owens
Add a heur
i
s
t
ic for selecting
di
s
juncts dur
i
n
g
subtypi
n
g
commit
|
commitdiff
|
tree
2022-10-27
S
cott Owens
M
ake wideni
n
g
p
reserve sup
p
ortd
y
n
commit
|
commitdiff
|
tree
2022-10-26
S
cott Owens
Fix refinement f
o
r li
k
e-types
commit
|
commitdiff
|
tree
2022-10-12
Scott Owens
sim
p
le com
m
a
n
d
line args for p
e
s
simi
s
ati
o
n
commit
|
commitdiff
|
tree
2022-10-12
Scot
t
Owens
Fix inout TAST che
c
k
commit
|
commitdiff
|
tree
2022-10-12
Scott Owens
Fix pessimised-builtins for ass
i
gnment
to
str
i
ngs
commit
|
commitdiff
|
tree
2022-10-07
Scott
Owens
ena
b
le tests
commit
|
commitdiff
|
tree
2022-10-07
Sco
t
t Owen
s
Chec
k
for s
u
pportdyn when applyin
g
lambda variance
commit
|
commitdiff
|
tree
2022-10-04
Scott Owens
buil
d
Awaitabl
e
<
~
void>
f
or a
s
ync function return
commit
|
commitdiff
|
tree
2022-10-04
S
cott
O
wens
Never
b
u
i
l
d
~Tany
commit
|
commitdiff
|
tree
2022-09-29
Scott Owens
Don't build ~noreturn
commit
|
commitdiff
|
tree
2022-09-29
S
c
ott Owens
Ad
d
a flag to cause all retu
r
ns
t
o be pessi
m
ised
commit
|
commitdiff
|
tree
2022-09-29
S
c
ott Owens
Interse
c
t
enforced
e
num and newt
y
pe ret
u
rns
commit
|
commitdiff
|
tree
2022-09-27
Scott Owe
n
s
don't wrap nonnull
i
n
i
s
/
a
s
commit
|
commitdiff
|
tree
2022-09-27
S
c
ot
t
Owens
gi
v
e
v
a
l
ida
t
e_implic
i
t_pessimisation i
t
's
own t
e
st
.
.
.
commit
|
commitdiff
|
tree
2022-09-23
Scott
O
w
ens
don't pessimise
gl
o
bal constants
commit
|
commitdiff
|
tree
2022-09-23
Scot
t
Owens
Don't add boun
d
to coeffect parameter
commit
|
commitdiff
|
tree
2022-09-23
S
cott
O
wens
pessimise all xhp attribute
s
commit
|
commitdiff
|
tree
2022-09-23
Scott Ow
e
ns
f
ix enum cl
a
sses
commit
|
commitdiff
|
tree
2022-09-23
Scott Owens
a
lways pessimise returns of closure ty
p
es
commit
|
commitdiff
|
tree
2022-09-23
Scot
t
Owens
w
r
a
p functi
o
n types
and open s
h
apes in supportdyn
commit
|
commitdiff
|
tree
2022-09-23
Sc
o
tt Owens
Fix bug in
checking for type ar
g
um
e
nts to mixed/nonnull
commit
|
commitdiff
|
tree
2022-09-22
S
cott Owens
Fix
Awaitable return types
commit
|
commitdiff
|
tree
2022-09-22
Scott Owens
Disable __Requir
e
Dynami
c
commit
|
commitdiff
|
tree
2022-09-16
Sc
o
tt Owens
W
r
a
p function type in supportdyn
commit
|
commitdiff
|
tree
2022-09-16
Scott Owens
Fix bug in impicit return A
w
a
i
t
a
ble<void>
commit
|
commitdiff
|
tree
2022-09-15
Scott
O
wens
Add <<__SDT>> to methods
commit
|
commitdiff
|
tree
2022-09-15
S
cott Owens
Fix test
su
i
te f
o
r running implicit pessimi
s
ation
commit
|
commitdiff
|
tree
2022-09-15
Scott
O
wens
A
d
d
bounds to ne
w
type and
type consts
commit
|
commitdiff
|
tree
2022-09-15
Scott Ow
e
ns
Handle lega
c
y dynam
i
c
commit
|
commitdiff
|
tree
2022-09-15
Scott Owens
implicit pess
i
misation
f
o
r gen
e
ric bo
u
nds
commit
|
commitdiff
|
tree
2022-09-12
Scot
t
Owens
Add
enforceabili
t
y calculation to decls
for implicit
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
S
cott
O
wen
s
Refacto
r
to pu
l
l
t
ypedef handling out of decl
_
provider
commit
|
commitdiff
|
tree
2022-08-05
Scott Ow
e
ns
Fi
x
is_php_array refinement
o
f
s
upportdyn types
commit
|
commitdiff
|
tree
2022-08-03
Scot
t
Owens
B
oilerplate for types in com
p
ilation
commit
|
commitdiff
|
tree
2022-08-03
Scott Owens
Move
readonly
c
hec
k
f
r
o
m par
s
er to hackc
commit
|
commitdiff
|
tree
2022-07-13
S
c
ot
t
Owens
Fix bug with Set under
pessimised builtins
commit
|
commitdiff
|
tree
2022-07-05
Scott
Ow
e
ns
F
i
x typo
commit
|
commitdiff
|
tree
2022-07-04
Sc
o
t
t
Owens
U
pdate pessimisation
t
e
s
t
configur
a
ti
o
n
commit
|
commitdiff
|
tree
2022-06-28
Scott Owens
f
ix target
e
d te
s
t clean
e
r
commit
|
commitdiff
|
tree
2022-06-27
Scott Owen
s
Disabl
e
targe
t
e
d
pe
s
s
imisation tests
that
a
r
e
n
't currently
.
.
.
commit
|
commitdiff
|
tree
2022-06-24
S
c
o
t
t Owens
comments
w
rt
D37418257
commit
|
commitdiff
|
tree
2022-06-24
S
cott Owens
Impro
v
e subtyp
i
n
g completene
s
s
commit
|
commitdiff
|
tree
2022-06-22
Scott Owens
Up
d
ate tests
for inout
commit
|
commitdiff
|
tree
2022-06-21
Scott Ow
e
ns
Improve inferenc
e
around like-type call rule
commit
|
commitdiff
|
tree
2022-06-01
Sco
t
t
O
wens
Fix constructo
r
calls with like types
commit
|
commitdiff
|
tree
2022-04-26
Scott Owens
rem
o
ve
a
nyfy
commit
|
commitdiff
|
tree
2022-04-19
Scott Ow
e
ns
Ma
k
e
a
ll array index read error co
d
e
s
the
s
ame
commit
|
commitdiff
|
tree
2022-04-14
Scott Owens
typing const
r
ai
n
ts for forea
c
h
commit
|
commitdiff
|
tree
2022-04-13
Scott Owens
typin
g
const
r
aint
s
fo
r
f
o
reach (boilerp
l
a
te code
)
commit
|
commitdiff
|
tree
2022-04-13
Scott Owens
t
yping constraint
s
fo
r
array i
n
dex op (boil
d
erplate
.
.
.
commit
|
commitdiff
|
tree
2022-04-08
Scott
Owens
Use
s
upportdyn fo
r
method
s
commit
|
commitdiff
|
tree
2022-04-05
Scott Owens
Stop sub-
t
y
p
e logging from pri
n
t
ing Capabilities
commit
|
commitdiff
|
tree
2022-04-04
Scott Owens
Make SDT s
t
a
tic me
t
h
o
d
s supportdy
n
commit
|
commitdiff
|
tree
2022-04-04
Scott
O
wens
improve
arithmetic wi
t
h float bounded generics
commit
|
commitdiff
|
tree
2022-04-01
Scott Ow
e
ns
Extend like p
u
sh
i
ng to vec_or_dict
commit
|
commitdiff
|
tree
2022-04-01
Scott Owens
Fix --pes
s
imise-b
u
il
t
ins for `vec_or_di
c
t`
commit
|
commitdiff
|
tree
2022-03-31
Scott Owens
Fi
x
circ
u
la
r
type detec
t
ion
commit
|
commitdiff
|
tree
2022-03-31
S
co
t
t
Owens
upd
a
te ** and / i
m
p
lemen
t
ation
commit
|
commitdiff
|
tree
2022-03-29
Scott Owe
n
s
F
i
x exp
e
cted
t
y
pe fo
r
arguments to support
d
yn fu
n
ctio
n
s
commit
|
commitdiff
|
tree
2022-03-26
Scott Owen
s
Add
a
specia
l
c
ase f
o
r calli
n
g
like-
t
yped
f
unctions
commit
|
commitdiff
|
tree
2022-03-25
S
c
ot
t
Owens
Tweaks to changes to +/-/*
commit
|
commitdiff
|
tree
2022-03-24
Sc
o
tt
O
wens
Redo
+
/
-
/* to fix arithmeti
c
typehole and result ty
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
Scott Owen
s
Fix foreach
over d
y
namic typed
a
rr
a
ys
commit
|
commitdiff
|
tree
2022-03-16
S
c
ot
t
Owens
p
e
ssimised b
u
iltins were not comp
a
t
i
b
le with
l
ike pu
s
h
i
ng
commit
|
commitdiff
|
tree
2022-03-11
Scott
Owens
Make ino
u
t work better
w
it
h
dyn
a
mic
commit
|
commitdiff
|
tree
2022-03-09
Sc
o
tt Owens
Fix bug
in
setting va
r
i
a
n
ces o
n
cal
l
paramet
e
r
s wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2022-03-08
Scott Owens
Fix bug with key pe
s
simisation
commit
|
commitdiff
|
tree
2022-03-03
Scot
t
Owens
E
xpose a pure vers
i
on of shap
e
_field_n
a
me
commit
|
commitdiff
|
tree
2022-02-28
Scott Owens
Fix
m
issing S
e
t k
e
y type bound
commit
|
commitdiff
|
tree
2022-02-26
Scott Owen
s
Fix
a
bug in
pess
i
mised
k
eysets
commit
|
commitdiff
|
tree
2022-02-25
Sc
o
tt Owens
Use l
i
k
e-type function application
r
ule instead of
.
.
.
commit
|
commitdiff
|
tree
2022-02-25
Scott
O
wen
s
fix dict wi
t
h non
-
arraykey keys
commit
|
commitdiff
|
tree
2022-02-22
Scott Owens
I
m
pr
o
ve s
u
btyping
f
or intersection on
t
h
e
left w
i
th
.
.
.
commit
|
commitdiff
|
tree
2022-02-18
Scott Owens
I
m
prov
e
some
T
AST checks to use type disjointness
commit
|
commitdiff
|
tree
2022-02-08
Scott Owens
Im
p
r
o
v
e
s
ubtyp
i
ng
w
rt constr
a
int ty
p
es
commit
|
commitdiff
|
tree
2022-02-07
S
cott Owens
remo
v
e redu
n
dant lo
w
er b
o
un
d
s in dis
j
u
n
ctive typing
.
.
.
commit
|
commitdiff
|
tree
2022-02-02
Scott O
w
ens
rename
a
hel
p
e
r function
commit
|
commitdiff
|
tree
2022-01-20
Scott Ow
e
ns
Let support
d
yn functions be called w
i
th
like
t
ypes
commit
|
commitdiff
|
tree
2022-01-19
Scott Owen
s
unify treatment of is AnyArr
a
y a
n
d is_any
_
arra
y
commit
|
commitdiff
|
tree
next