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
Unbreak argument parsing of Batcher and ParserKind
2023-02-10
Scott Owens
Refactor
sub
t
ypin
g
option
a
l
parameter
commit
|
commitdiff
|
tree
2023-02-08
Scott
O
wens
remov
e
com
p
et
i
ng union simp
l
ication of supportdy
n
commit
|
commitdiff
|
tree
2023-02-02
Scott
O
w
e
n
s
Bui
l
d SUPPORTDYN_MARKE
R
commit
|
commitdiff
|
tree
2023-01-30
Scott O
w
ens
Use
h
e
l
per f
u
nction
commit
|
commitdiff
|
tree
2023-01-28
Sco
t
t
Owens
Fi
x
NoAutoDynamic for returns
commit
|
commitdiff
|
tree
2023-01-23
Scott Owens
R
emo
v
e unu
s
ed comp
l
ex_coercion
flag
commit
|
commitdiff
|
tree
2023-01-20
Scott Owens
r
e
move is_sub_
t
ype_
f
o
r_coercion
commit
|
commitdiff
|
tree
2023-01-19
Scott
O
w
ens
R
equir
e
type
h
ints
in hhi
s
commit
|
commitdiff
|
tree
2023-01-11
Scott Owen
s
Interpret types with generic classes
w
ith n
o
ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Scott
O
we
n
s
Don't always throw away s
u
pportdyn i
n
arra
y
in
d
ex
commit
|
commitdiff
|
tree
2022-12-16
Scott Owe
n
s
D
isa
b
l
e type
c
o
n
stant e
n
for
c
eme
n
t
commit
|
commitdiff
|
tree
2022-12-16
Scott Owens
Treat UNSAFE_CAST<t1,
t
2> as upcast ~t2
commit
|
commitdiff
|
tree
2022-12-12
Scott Owen
s
improve handlin
g
of Top
t
i
o
n
commit
|
commitdiff
|
tree
2022-11-30
Sc
o
tt
Owens
Remove generic
arity er
r
or from
sub
t
yping
commit
|
commitdiff
|
tree
2022-11-29
Scott
O
wens
pa
s
s a class
f
or the this
type to enforc
e
men
t
commit
|
commitdiff
|
tree
2022-11-24
Scot
t
Owens
Refacto
r
enforcement calculati
o
ns
commit
|
commitdiff
|
tree
2022-11-23
Scott Owens
Impleme
n
t enforcement
calc
u
lation for type constants
commit
|
commitdiff
|
tree
2022-11-15
Sco
t
t Owe
n
s
Fi
x
expression trees f
o
r
pessi
m
isation
commit
|
commitdiff
|
tree
2022-11-11
S
c
o
tt
Owens
Fix enforcement
-
bas
e
d pessimisati
o
n
commit
|
commitdiff
|
tree
2022-11-08
Sco
t
t Owens
Use locl_l
i
ke helper instead of d
i
rect union with dynamic
commit
|
commitdiff
|
tree
2022-11-01
S
cott Owens
f
ix internal typecheck
e
r
ror
commit
|
commitdiff
|
tree
2022-11-01
Scott Owens
Add a heuristic for se
l
ecting disjuncts during subtyping
commit
|
commitdiff
|
tree
2022-10-27
S
c
ott Owens
Make widening
p
rese
r
v
e
supportd
y
n
commit
|
commitdiff
|
tree
2022-10-26
Scott O
w
ens
Fix refinement for l
i
ke
-
types
commit
|
commitdiff
|
tree
2022-10-12
Sco
t
t Owen
s
sim
p
le comman
d
line
args for pessimisati
o
n
commit
|
commitdiff
|
tree
2022-10-12
Scott Owens
Fi
x
inout TAST check
commit
|
commitdiff
|
tree
2022-10-12
Scott Owens
Fix pessimised-builtins for a
s
signm
e
nt t
o
stri
n
gs
commit
|
commitdiff
|
tree
2022-10-07
Scott O
w
e
n
s
e
n
ab
l
e test
s
commit
|
commitdiff
|
tree
2022-10-07
Scott Owens
C
h
eck fo
r
supp
o
rt
d
yn when ap
p
ly
i
ng lambda variance
commit
|
commitdiff
|
tree
2022-10-04
Sc
o
tt Owens
build Awaitable<~void> fo
r
a
s
y
n
c fun
c
tion return
commit
|
commitdiff
|
tree
2022-10-04
Scott Owens
N
e
ver build
~
T
any
commit
|
commitdiff
|
tree
2022-09-29
S
c
o
t
t Owens
Don't buil
d
~
n
oreturn
commit
|
commitdiff
|
tree
2022-09-29
S
c
ott Owens
Add a flag to cause
a
l
l
retu
r
ns
t
o be pess
i
m
i
se
d
commit
|
commitdiff
|
tree
2022-09-29
Sco
t
t Owe
n
s
I
n
tersect enforced e
n
um and newtype r
e
t
u
rns
commit
|
commitdiff
|
tree
2022-09-27
Scott Owens
d
on't wrap n
o
nnul
l
i
n
is
/
a
s
commit
|
commitdiff
|
tree
2022-09-27
Sco
t
t Owens
give valida
t
e_im
p
licit_pessimis
a
tion
it
'
s own test
.
.
.
commit
|
commitdiff
|
tree
2022-09-23
Scott Owens
don
'
t pes
s
imise
g
lobal co
n
stants
commit
|
commitdiff
|
tree
2022-09-23
Scott Owens
Don't add
b
o
und
to coeffect par
a
meter
commit
|
commitdiff
|
tree
2022-09-23
Scott
Owens
pessimise all xhp
a
ttributes
commit
|
commitdiff
|
tree
2022-09-23
Scott Owens
fix en
u
m
classes
commit
|
commitdiff
|
tree
2022-09-23
Scott Owens
always pe
s
simise
r
e
tur
n
s
of closure ty
p
e
s
commit
|
commitdiff
|
tree
2022-09-23
S
c
o
t
t Ow
e
ns
wrap function types an
d
open shapes in supportdyn
commit
|
commitdiff
|
tree
2022-09-23
Sco
t
t
O
wens
Fix
b
ug in ch
e
c
k
ing for t
y
p
e argumen
t
s
to
mixed/nonnull
commit
|
commitdiff
|
tree
2022-09-22
Sc
o
tt Owens
Fix Awaitable return type
s
commit
|
commitdiff
|
tree
2022-09-22
S
c
o
t
t
Owens
Disab
l
e __RequireDyna
m
i
c
commit
|
commitdiff
|
tree
2022-09-16
Scott O
w
en
s
Wrap functio
n
type
i
n
s
upportdyn
commit
|
commitdiff
|
tree
2022-09-16
Scott Owens
F
ix bug
i
n impicit
re
t
urn A
w
a
itable<
v
oid>
commit
|
commitdiff
|
tree
2022-09-15
S
cott Owens
Add <<__SDT>> to methods
commit
|
commitdiff
|
tree
2022-09-15
S
c
o
tt Ow
e
ns
F
ix test su
i
te for r
u
nning
i
m
plicit pessimisation
commit
|
commitdiff
|
tree
2022-09-15
Scott Owens
Add
b
o
u
nds to newtype
and t
y
pe consts
commit
|
commitdiff
|
tree
2022-09-15
Scott Owens
Ha
n
d
l
e
legacy
dynamic
commit
|
commitdiff
|
tree
2022-09-15
Scott
O
wens
im
p
lici
t
pe
s
s
imi
s
ation
for generic bound
s
commit
|
commitdiff
|
tree
2022-09-12
Scott Owens
Add enforceabi
l
ity calc
u
l
ation to dec
l
s
f
or imp
l
icit
.
.
.
commit
|
commitdiff
|
tree
2022-09-08
Scott Owens
Refac
t
or to pull type
d
ef h
a
nd
l
ing out
o
f
d
ecl_prov
i
der
commit
|
commitdiff
|
tree
2022-08-05
Scott Owens
Fix is_p
h
p_array r
e
f
i
nement of supportdyn types
commit
|
commitdiff
|
tree
2022-08-03
Scott Owens
B
oilerpla
t
e for typ
e
s in compil
a
tion
commit
|
commitdiff
|
tree
2022-08-03
Scott Owen
s
Move read
o
nly check from
parser to
ha
c
kc
commit
|
commitdiff
|
tree
2022-07-13
S
c
ot
t
Owen
s
Fi
x
bug
w
ith Se
t
und
e
r
pessim
i
sed bui
l
tins
commit
|
commitdiff
|
tree
2022-07-05
S
c
o
t
t Owens
Fix typo
commit
|
commitdiff
|
tree
2022-07-04
Scott Ow
e
ns
Update pessimisation test
c
onfig
u
ratio
n
commit
|
commitdiff
|
tree
2022-06-28
Sc
o
tt Owens
f
ix targeted test cleaner
commit
|
commitdiff
|
tree
2022-06-27
Scott Owens
D
isable t
a
rg
e
ted pessimisation
tests that aren
'
t curr
e
n
tly
.
.
.
commit
|
commitdiff
|
tree
2022-06-24
S
c
o
tt
Owens
comments wr
t
D37418257
commit
|
commitdiff
|
tree
2022-06-24
Scott O
w
ens
Imp
r
ove subt
y
ping completeness
commit
|
commitdiff
|
tree
2022-06-22
Scott Owe
n
s
Update tests
for inout
commit
|
commitdiff
|
tree
2022-06-21
Sco
t
t Owens
Im
p
rove in
f
erence a
r
o
u
n
d
lik
e
-
t
y
pe cal
l
r
ul
e
commit
|
commitdiff
|
tree
2022-06-01
Scott Owens
Fix constructor calls wi
t
h
l
ike types
commit
|
commitdiff
|
tree
2022-04-26
Scot
t
Owen
s
remove anyfy
commit
|
commitdiff
|
tree
2022-04-19
Sco
t
t
Owe
n
s
Make a
l
l array i
n
d
ex read erro
r
cod
e
s the sam
e
commit
|
commitdiff
|
tree
2022-04-14
S
c
ott Ow
e
ns
ty
p
ing constraints for forea
c
h
commit
|
commitdiff
|
tree
2022-04-13
Scott Owens
typin
g
co
n
st
r
aint
s
f
or foreach (boiler
p
late code)
commit
|
commitdiff
|
tree
2022-04-13
Scott Owens
typi
n
g constra
i
nts for array i
n
dex op (boi
l
der
p
late
.
.
.
commit
|
commitdiff
|
tree
2022-04-08
Scott O
w
ens
U
se supportdyn for
method
s
commit
|
commitdiff
|
tree
2022-04-05
S
co
t
t
O
wens
Stop sub-type logging from
p
rinting
Capab
i
liti
e
s
commit
|
commitdiff
|
tree
2022-04-04
Scott Owen
s
Mak
e
SDT st
a
tic m
e
thods supportdyn
commit
|
commitdiff
|
tree
2022-04-04
Scott O
w
ens
impro
v
e arithmetic
w
ith fl
o
at
b
ound
e
d g
e
neric
s
commit
|
commitdiff
|
tree
2022-04-01
Scott
Owens
Extend like p
u
shing to vec_or_dict
commit
|
commitdiff
|
tree
2022-04-01
Scott Owe
n
s
Fix --pessimi
s
e-builtins for `vec
_
or_dict`
commit
|
commitdiff
|
tree
2022-03-31
Scott Owens
Fix circ
u
lar type detection
commit
|
commitdiff
|
tree
2022-03-31
Sc
o
tt O
w
ens
update
** and / impl
e
mentation
commit
|
commitdiff
|
tree
2022-03-29
Sc
o
tt Owens
Fix expected
type f
o
r
argu
m
ents t
o
supportdyn functions
commit
|
commitdiff
|
tree
2022-03-26
Scott Owens
Add
a
special case
for calling
l
ike-typed func
t
ions
commit
|
commitdiff
|
tree
2022-03-25
Scott Owens
T
we
a
ks to changes to +/-/*
commit
|
commitdiff
|
tree
2022-03-24
Sc
o
tt
O
wens
Redo +/-/* to fix
a
rit
h
meti
c
typeh
o
le an
d
r
e
sul
t
types
.
.
.
commit
|
commitdiff
|
tree
2022-03-17
S
cott Owens
Fix for
e
ach ove
r
dynamic typed arrays
commit
|
commitdiff
|
tree
2022-03-16
S
c
ott Owens
pessimised
builtins
were
n
ot compatible with l
i
ke pushing
commit
|
commitdiff
|
tree
2022-03-11
Scott Owens
Make
i
nout wor
k
better with dynamic
commit
|
commitdiff
|
tree
2022-03-09
Scott Owens
Fix bug
i
n
setting variances
on call
parameters with
.
.
.
commit
|
commitdiff
|
tree
2022-03-08
S
cott Owens
Fix bug
w
ith key pessim
i
sation
commit
|
commitdiff
|
tree
2022-03-03
Scott
Owens
Expose a pure version of s
h
ape
_
f
i
el
d
_name
commit
|
commitdiff
|
tree
2022-02-28
Scott
O
w
ens
Fix missing Set ke
y
t
ype bound
commit
|
commitdiff
|
tree
2022-02-26
Scott
O
wens
Fix a
b
u
g in pessimised keyse
t
s
commit
|
commitdiff
|
tree
2022-02-25
Scott Ow
e
ns
Use like-
t
ype fu
n
c
tion applicatio
n
rul
e
in
s
te
a
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2022-02-25
Scot
t
Owens
f
ix dict
with non-arraykey
keys
commit
|
commitdiff
|
tree
2022-02-22
Scott Owens
Improve
s
u
btypi
n
g
f
or
i
ntersection on the
le
f
t
w
ith
.
.
.
commit
|
commitdiff
|
tree
2022-02-18
Sc
o
tt O
w
e
n
s
Impro
v
e some TAST
c
h
e
cks to use
t
ype disjointness
commit
|
commitdiff
|
tree
2022-02-08
S
cot
t
Owe
n
s
Improve su
b
typing wrt constraint t
y
pes
commit
|
commitdiff
|
tree
2022-02-07
Sco
t
t
Owe
n
s
remo
v
e red
u
nda
n
t lower bo
u
nds in disjunc
t
ive typing
.
.
.
commit
|
commitdiff
|
tree
2022-02-02
S
cott Owens
rename a helper function
commit
|
commitdiff
|
tree
2022-01-20
S
c
o
t
t Owe
n
s
Let su
p
portdyn fu
n
ct
i
ons be c
a
lled
w
ith li
k
e types
commit
|
commitdiff
|
tree
next