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
record total relative to initial value
2021-12-08
Scott Owens
remove v
a
rray and darray
commit
|
commitdiff
|
tree
2021-12-08
Scott
O
wens
ad
d
a typeho
l
e test for vec_or_di
c
t
commit
|
commitdiff
|
tree
2021-11-25
Scott Owens
remo
v
e
dead
c
ode
a
nd
p
olymorphic variant
commit
|
commitdiff
|
tree
2021-11-25
Sc
o
tt Owen
s
remove redundant refinement
c
ode
commit
|
commitdiff
|
tree
2021-11-25
Scott Owens
remove redu
n
dant expr type check
commit
|
commitdiff
|
tree
2021-11-24
Sc
o
tt Owens
Ad
d
shapes to p
e
ssimised_bui
l
tins
commit
|
commitdiff
|
tree
2021-11-24
S
cott
Owens
refactor shape construction
commit
|
commitdiff
|
tree
2021-11-19
Scott Owens
remove em
p
ty
.
dec
l
_out files
in test direc
t
ory
commit
|
commitdiff
|
tree
2021-11-18
Scott
O
wen
s
Make --pe
s
simise-builtins pe
s
simi
s
e tuples
commit
|
commitdiff
|
tree
2021-11-15
S
cott Owens
Fix pe
s
simisation of expected type
commit
|
commitdiff
|
tree
2021-11-11
Sco
t
t Owens
Improve k
e
y pessimis
a
tion f
o
r Map/
d
ic
t
/keyset
commit
|
commitdiff
|
tree
2021-11-10
S
c
ott Owens
update test suit
e
to hh_expect_equivalent
commit
|
commitdiff
|
tree
2021-11-10
Scott Owens
Add hh_expect and hh_expect_
e
q
u
iv
a
len
t
pseudo funct
i
on
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Sco
t
t Owens
Updat
e
sem
a
ntics of generics with
n
o
__RequireD
y
namic
commit
|
commitdiff
|
tree
2021-11-03
Scott Owens
R
emov
e
a trivial l
e
t and r
e
format
commit
|
commitdiff
|
tree
2021-11-03
Scott Owens
Ref
a
cto
r
__RequireDynamic case of dynamic
-
aware subtyping
commit
|
commitdiff
|
tree
2021-10-22
Sc
o
tt Owens
fix
r
efinemen
t
of like ty
p
e
s
commit
|
commitdiff
|
tree
2021-10-20
Sco
t
t
Ow
e
ns
Allow e
c
ho of dynamic type
commit
|
commitdiff
|
tree
2021-10-19
Scott
O
wens
fix bug
i
n a
s
commit
|
commitdiff
|
tree
2021-10-19
Scott
O
wens
Fix a
n
d test arraykeys
commit
|
commitdiff
|
tree
2021-10-18
Sc
o
t
t
Owen
s
Fix pessimised vec/dict as
s
ignment
commit
|
commitdiff
|
tree
2021-10-14
Scott
Owen
s
Fix typehole with Set
append
commit
|
commitdiff
|
tree
2021-10-12
Scott Owe
n
s
allow dynamic
expressions as containe
r
keys
commit
|
commitdiff
|
tree
2021-10-12
S
c
ott Owens
make -
-
pe
s
s
i
mise-builtins pess
i
mise
c
ollec
t
i
o
ns
a
nd
.
.
.
commit
|
commitdiff
|
tree
2021-10-08
Scott Owens
Fix some array index bugs
commit
|
commitdiff
|
tree
2021-10-07
Sco
t
t
O
wens
A
dd a flag `--pessimise-built
i
ns`
commit
|
commitdiff
|
tree
2021-10-04
Sc
o
tt Owens
Test case for type
ho
l
e
commit
|
commitdiff
|
tree
2021-09-28
Sco
t
t Owens
Fix test case
commit
|
commitdiff
|
tree
2021-09-24
Scott
Owens
Fix arrays and arithmetic
commit
|
commitdiff
|
tree
2021-09-24
S
c
ott Owens
Change
__NoRequireD
y
n
a
mic to _
_
R
e
quir
e
Dyn
a
mic
commit
|
commitdiff
|
tree
2021-09-23
Scott Owens
Relax enforcement requirement on public
properties
commit
|
commitdiff
|
tree
2021-09-22
Scott Ow
e
ns
Rem
o
ve impli
c
i
t coerci
o
n
commit
|
commitdiff
|
tree
2021-09-14
Scott Owe
n
s
Update su
b
-t
y
ping
of dynami
c
commit
|
commitdiff
|
tree
2021-09-14
S
c
ott Owens
A
d
d
an upcast expression
commit
|
commitdiff
|
tree
2021-09-13
Scott Owens
Remove like_ty
p
es tes
t
s
commit
|
commitdiff
|
tree
2021-09-10
Scott
O
wens
Consi
d
e
r
~t
to be
enforce
a
ble wh
e
n t is
commit
|
commitdiff
|
tree
2021-07-12
Scott Owen
s
extend negation ty
p
es t
o
classes
commit
|
commitdiff
|
tree
2021-07-06
Scott Owens
union of i
n
ter
s
e
ctions fa
c
tors out common type
s
commit
|
commitdiff
|
tree
2021-06-25
S
cott Owe
n
s
add a disjointnes
s
check for types
commit
|
commitdiff
|
tree
2021-06-21
Sco
t
t Owens
simp
l
ify
i
ntersect
i
o
n and union i
n
localisati
o
n
commit
|
commitdiff
|
tree
2021-06-08
Scott Owens
allow types in hsl
.
hhi files to b
e
c
on
s
i
d
ered enforced
commit
|
commitdiff
|
tree
2021-06-07
Scott
Owe
n
s
fix
a
rraykey & num bug
commit
|
commitdiff
|
tree
2021-05-27
Scot
t
Owens
A
dd a type
f
o
r the
negat
i
o
n of
p
r
i
mitive types
commit
|
commitdiff
|
tree
2021-05-19
Scott O
w
e
n
s
Fix assignme
n
t to a
Map with bad key
commit
|
commitdiff
|
tree
2021-05-18
Scott Owens
Simplify array index check
commit
|
commitdiff
|
tree
2021-05-18
Sco
t
t Ow
e
ns
Make dict
/
Ma
p
Tk <: array
k
ey
commit
|
commitdiff
|
tree
2021-05-07
Scott Owen
s
Add
an mli f
i
le
commit
|
commitdiff
|
tree
2021-05-06
Scott Owens
Test for type hole
involving wr
i
ti
n
g
t
o a `
M
ap` wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2021-04-21
Scott
O
w
e
ns
Impr
o
ve
type solv
i
ng
he
u
r
istic
commit
|
commitdiff
|
tree
2021-04-21
Scott
Owens
Add lo
g
ging
f
o
r object_get
commit
|
commitdiff
|
tree
2021-04-15
S
cott
O
wens
Improve
the treatment
of various C
o
l
l
ect
i
o
ns with d
y
namic
commit
|
commitdiff
|
tree
2021-04-14
Scott Owe
n
s
Stop dynamic be
i
ng
poten
t
i
a
lly considered
e
nforceable
commit
|
commitdiff
|
tree
2021-04-08
Scott Ow
e
ns
Impr
o
ve
type c
h
ecking for (Key)Val
C
ollections and Pairs
commit
|
commitdiff
|
tree
2021-04-07
Sco
t
t O
w
ens
A
dd
s
imple test
s
for reified generics
commit
|
commitdiff
|
tree
2021-04-07
Scott Owen
s
Move som
e
module ab
b
r
e
viations
commit
|
commitdiff
|
tree
2021-04-01
Scott O
w
en
s
Fix dropped e
n
v
commit
|
commitdiff
|
tree
2021-03-09
Sco
t
t Owens
Imp
r
ove
h
ow
coe
r
c
i
on deals with e
n
fo
r
cement
commit
|
commitdiff
|
tree
2021-03-04
S
c
ott Owens
Fix type logging
b
u
g
commit
|
commitdiff
|
tree
2021-01-19
S
c
ott
Owens
Refactor
t
wo flags to sub-t
y
ping
commit
|
commitdiff
|
tree
2021-01-19
Scott Owen
s
Fix
co
m
p
let
e
ness with infer
e
nce variables a
n
d c
o
ercion
.
.
.
commit
|
commitdiff
|
tree
2021-01-11
Scott O
w
ens
Improve
t
ype error me
s
sage
commit
|
commitdiff
|
tree
2021-01-06
Scot
t
Owens
T
e
st and fix coercio
n
from/to dynamic
.
commit
|
commitdiff
|
tree
2021-01-06
Scott Owe
n
s
Update call t
y
ping for so
u
nd dynamic
commit
|
commitdiff
|
tree
2020-12-18
S
c
ott O
w
e
n
s
Update a
s
a
nd foreach typing
f
o
r
so
u
nd dynamic
commit
|
commitdiff
|
tree
2020-12-08
Scott Owens
Update sub-typ
i
ng for so
u
nd dynamic
commit
|
commitdiff
|
tree
2020-11-02
Sco
t
t
Owens
Put whethe
r
a class implements dynamic into
decls,
.
.
.
commit
|
commitdiff
|
tree
2020-10-23
Scott Owens
Let classes
i
mplem
e
n
t
"dynamic"
commit
|
commitdiff
|
tree
2020-08-17
Scott
Owe
n
s
Chan
g
e how the top-level
unio
n
is re-consti
t
uted when
.
.
.
commit
|
commitdiff
|
tree
2020-06-10
S
c
ott Ow
e
ns
F
ix e
r
ror loca
t
i
on for
i
nout par
a
meters
commit
|
commitdiff
|
tree