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
Encapsulate intrusive OCaml value caching in RcOc
2019-10-18
Jake Bailey (Ha
c
kla
n
g
)
E
n
c
a
psul
a
te
intrusive OCaml value caching in RcOc
commit
|
commitdiff
|
tree
2019-10-16
Jake Bai
l
ey
(
Hacklang
)
F
ix
in
c
reme
n
t
al typechec
k
in
g
b
ug
commit
|
commitdiff
|
tree
2019-10-16
J
a
ke Bailey (Hacklang)
Do not re
f
ormat
f
unct
i
on d
e
claration header
s
preceded
.
.
.
commit
|
commitdiff
|
tree
2019-10-08
Ja
k
e
B
a
i
l
e
y (Hackl
a
ng)
Do
n
ot
a
llocate duplicates of values
a
t the sa
m
e memor
y
.
.
.
commit
|
commitdiff
|
tree
2019-10-08
Ja
k
e Baile
y
(Hacklang)
Check slab integrit
y
commit
|
commitdiff
|
tree
2019-10-04
J
ake Bailey (Hackla
n
g)
Fetch class elem
e
nt ty
p
es lazily
commit
|
commitdiff
|
tree
2019-10-03
Jake B
a
il
e
y (Hacklang)
F
i
x
b
u
ild
commit
|
commitdiff
|
tree
2019-10-02
Jake Bailey (
H
acklang)
R
e
move u
s
es o
f
polymorphic equal in Decl_inheritance
commit
|
commitdiff
|
tree
2019-10-02
Jake Bailey (Hack
l
ang)
Re
m
o
v
e
uses of po
l
ymorphic equal
i
n Shallow_class_diff
commit
|
commitdiff
|
tree
2019-10-02
Jake Bai
l
ey
(Ha
c
klang
)
Remove us
e
s of polymorphic compare a
n
d equal in De
c
l_
l
inearize
commit
|
commitdiff
|
tree
2019-10-02
J
ake
B
a
il
e
y (Ha
c
klang)
Derive eq for sha
l
l
o
w
decls
,
i
mplement eq for
decl_ty
commit
|
commitdiff
|
tree
2019-10-02
Jake
B
ai
l
ey
(
Hackl
a
ng
)
F
ine-grai
n
ed i
n
cremen
t
al typechecki
n
g
commit
|
commitdiff
|
tree
2019-10-02
Jake Bail
e
y
(
Hacklang)
S
i
mple incremental typechecking
commit
|
commitdiff
|
tree
2019-09-19
Jake Bailey (Hacklang)
A
d
d slab all
o
c
a
tor
commit
|
commitdiff
|
tree
2019-09-19
Jake Bailey (Hacklang)
Reg
e
n
erate o
x
idize
d
types
commit
|
commitdiff
|
tree
2019-09-17
Jake Bailey (Hac
k
la
n
g)
C
orr
e
ctly
i
dentify bi
n
a
r
y blob
s
commit
|
commitdiff
|
tree
2019-09-17
Jake Bailey (Ha
c
klang)
C
onvert ocaml
r
ep
values to n
a
tive Rust values
commit
|
commitdiff
|
tree
2019-09-17
J
a
ke Bailey
(
Hacklang)
Derive Oca
m
lva
l
ue
for all oxid
i
zed types
commit
|
commitdiff
|
tree
2019-09-17
Jak
e
Bailey (Hacklang)
Up
d
at
e
hh_oxidize fo
r
decl_ty chang
e
s
commit
|
commitdiff
|
tree
2019-09-10
Jak
e
Bailey (Hacklan
g
)
U
se BT
r
eeMap/BTree
S
et
i
n
o
xidized
type
s
commit
|
commitdiff
|
tree
2019-09-10
J
ake Bailey (Hacklang)
Implem
e
n
t
Ocam
l
Rep a
n
d Ocamlvalue for BTre
e
Set
commit
|
commitdiff
|
tree
2019-09-10
Jake Bailey (Hackl
a
n
g
)
Implement OcamlRep for BTr
e
eMa
p
commit
|
commitdiff
|
tree
2019-09-10
Jake Bail
e
y
(
Ha
c
klang)
Rename
IntoO
c
amlRep
t
rait
t
o Oca
m
lRe
p
commit
|
commitdiff
|
tree
2019-09-10
Jak
e
Bailey (Hacklang)
Convert OCam
l
valu
e
s
into ocaml
r
ep values
commit
|
commitdiff
|
tree
2019-09-10
Jake B
a
iley (Ha
c
k
l
ang
)
Do not take &
m
ut Arena in al
l
o
cation metho
d
s
commit
|
commitdiff
|
tree
2019-09-02
Jake Bailey (Hacklang)
R
e
ge
n
erate o
x
idi
z
ed type
s
commit
|
commitdiff
|
tree
2019-08-27
Ja
k
e
Bail
e
y (Ha
c
klang)
Fix increment
a
l typechecki
n
g bug
commit
|
commitdiff
|
tree
2019-08-19
Jake Bailey (Hacklan
g
)
Handle
G
loba
l
_options
.
Infer
M
i
s
s
i
n
g by manually convert
i
ng it
commit
|
commitdiff
|
tree
2019-08-19
Jake B
a
i
l
e
y (Hac
k
l
a
ng)
Panic on out-of
-
b
o
u
nds integer conversions
commit
|
commitdiff
|
tree
2019-08-19
Jake Bailey (Hac
k
lang)
Mod
u
larize
commit
|
commitdiff
|
tree
2019-08-19
Jak
e
Bailey
(Hacklang
)
Take &mu
t
Ar
e
n
a in allocati
o
n method
s
commit
|
commitdiff
|
tree
2019-08-19
Jake Ba
i
ley (Ha
c
klang)
Alloca
t
e bl
o
cks in Arena; tie
V
alues t
o
Are
n
a
lifeti
m
e
commit
|
commitdiff
|
tree
2019-08-19
Jake
B
a
i
l
ey (Hackl
a
ng)
Add Aren
a
class to avoid calling malloc()
e
v
e
ry time
.
.
.
commit
|
commitdiff
|
tree
2019-08-16
Jake Bailey (Ha
c
klang)
Use usiz
e
rath
e
r than
u64 in Pos
commit
|
commitdiff
|
tree
2019-08-16
Ja
k
e
Bai
l
e
y
(Hacklang)
B
o
x
i
n
stances of FilePosLarge i
n
Pos
commit
|
commitdiff
|
tree
2019-08-14
J
a
ke Bailey (Hac
k
lang)
Use
o
camlrep
i
n
hh_oxidize
commit
|
commitdiff
|
tree
2019-08-14
Jake Bailey (Hacklang)
Add o
c
a
m
lrep
commit
|
commitdiff
|
tree
2019-08-12
Jake Bail
e
y (Hacklang)
Do not
c
onvert poly
m
o
r
p
hic vari
a
nts
commit
|
commitdiff
|
tree
2019-08-12
J
a
ke Bailey (H
a
c
klang)
R
emove polymorphic variant Typing_
d
efs
.
d
ep
e
ndent_type
commit
|
commitdiff
|
tree
2019-08-12
Jake Bailey
(
Hac
k
l
a
ng
)
Re
-
enable hh_oxidize test
s
commit
|
commitdiff
|
tree
2019-08-10
Jake Bailey (Hacklang)
Add o
x
idized A
A
ST a
n
d Decl_defs/
T
y
ping_defs
commit
|
commitdiff
|
tree
2019-08-10
Jake Bailey (Hacklan
g
)
Add hh_ox
i
dize
commit
|
commitdiff
|
tree
2019-08-06
Jake B
a
iley (Hacklang)
Add trailin
g
comma in attr
i
bute specificati
o
ns
commit
|
commitdiff
|
tree
2019-07-31
Jake B
a
ile
y
(Hacklang)
For
b
id
goto labels when the
g
o
t
o oper
a
tor is forbidden
commit
|
commitdiff
|
tree
2019-07-26
Jake Bailey (
H
acklan
g
)
Break before
i
s/a
s
tokens
instead of after
commit
|
commitdiff
|
tree
2019-07-25
Jake Bai
l
ey (Hack
l
ang)
In
c
lude name of inh
e
riting class in Decl_
h
eap_elems_
b
ug
.
.
.
commit
|
commitdiff
|
tree
2019-07-25
Jake Bailey (
H
acklang)
Don't
s
plit after case k
e
yw
o
r
d
commit
|
commitdiff
|
tree
2019-07-24
Jake Bailey (H
a
ck
l
ang)
Bac
k
out "fix Obj_get
"
commit
|
commitdiff
|
tree
2019-07-22
Ja
k
e
Bailey
(
H
a
ckla
n
g)
Ad
d
t
est case
d
e
m
o
n
s
t
r
atin
g
a
d
iff
e
rence be
t
wee
n
sha
l
l
o
w
.
.
.
commit
|
commitdiff
|
tree
2019-07-19
Jake Bailey (Hacklang)
Do n
o
t sele
c
t default
t
ype for abstr
a
ct typeconsts
.
.
.
commit
|
commitdiff
|
tree
2019-07-18
Jake Bailey
(
Hacklang)
Do not consider ancestors includ
e
d vi
a
a
require-implements
.
.
.
commit
|
commitdiff
|
tree
2019-07-18
Jake Bailey
(
Hack
l
ang)
Add s
p
ace a
f
ter attrib
u
tes on
p
aramet
e
r declarati
o
ns
commit
|
commitdiff
|
tree
2019-07-12
Jak
e
Bailey (Hacklang)
M
a
ke invalid or sketc
h
y
truthin
e
s
s tes
t
s li
n
t warni
n
gs
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
Jake B
a
ile
y
(
Hacklan
g
)
Include
sy
n
t
h
es
i
zed ancestors in th
e
membe
r
reso
l
ution
.
.
.
commit
|
commitdiff
|
tree
2019-07-10
J
ake Ba
i
ley (Hacklang)
Do
not mark ance
s
tors of required classes as requi
r
em
e
nt
s
commit
|
commitdiff
|
tree
2019-06-21
J
a
ke Bai
l
e
y (Hacklang)
Do not open Decl_to_typing in Decl_inheritance
commit
|
commitdiff
|
tree
2019-06-20
Jake Bail
e
y (Hacklang)
Destructure sh
a
l
lo
w
c
l
ass memb
e
r
s
i
n
Decl_to_typin
g
.
.
.
commit
|
commitdiff
|
tree
2019-06-20
Jake Bailey (Hack
l
a
n
g)
Ren
a
m
e
inher
i
table_elt to t
a
gg
e
d_elt
commit
|
commitdiff
|
tree
2019-06-20
Ja
k
e B
a
iley (H
a
cklang)
Move De
c
l_
i
n
heritance helpers to De
c
l_t
o
_t
y
ping
commit
|
commitdiff
|
tree
2019-06-20
J
a
ke Baile
y
(
H
a
c
klan
g
)
Fix n
e
wline-counting bug in formatting-supp
r
es
s
ion
.
.
.
commit
|
commitdiff
|
tree
2019-06-20
Jake Bailey (Hacklan
g
)
Declare only
shallow cl
a
sses in Decl
wh
e
n s
h
al
l
ow_class_decl
.
.
.
commit
|
commitdiff
|
tree
2019-06-20
Jake Baile
y
(
H
a
cklang)
Remove class_type from l
a
zy_c
l
ass_type
commit
|
commitdiff
|
tree
2019-06-20
J
a
ke Bai
l
ey
(
Hacklang)
Check se
a
le
d
whitelist
commit
|
commitdiff
|
tree
2019-06-20
Jake Bailey (Hacklang)
Use D
e
cl_provider
.
Class
.
t r
a
ther
t
han
d
e
cl_c
l
ass_type
.
.
.
commit
|
commitdiff
|
tree
2019-06-20
Jak
e
Bailey (Hacklang)
Forbid trait reuse
commit
|
commitdiff
|
tree
2019-06-20
Jake Bailey
(Hacklang)
Check
e
xtend kinds
commit
|
commitdiff
|
tree
2019-06-20
Jake Bailey (Hacklang)
Check for cy
c
li
c
class d
e
fini
t
ions
commit
|
commitdiff
|
tree
2019-06-20
Jake Bailey (Hacklang)
D
e
d
u
p synthesized mro
_
e
l
em
e
nts
ear
l
ier
commit
|
commitdiff
|
tree
2019-06-20
Jak
e
Bail
e
y (Hackla
n
g)
Fix dupli
c
ate synthesized
element
s
in MRO
commit
|
commitdiff
|
tree
2019-05-13
J
a
ke Bailey (Hacklan
g
)
Re
p
lace tc_is_dispo
s
able with lazy
-
lookup
commit
|
commitdiff
|
tree
2019-05-13
J
a
ke Ba
i
ley (Hack
l
a
n
g)
Replace tc_re
q
_ancestors with lazy-look
u
p
commit
|
commitdiff
|
tree
2019-05-13
Jake Bai
l
e
y (
H
acklan
g
)
Look up syn
t
hesiz
e
d
a
n
c
es
t
ors l
a
zily
commit
|
commitdiff
|
tree
2019-05-10
Ja
k
e Ba
i
ley
(Hack
l
a
ng)
Move non-logging code out of type_check_co
r
e
into h
e
lper
s
commit
|
commitdiff
|
tree
2019-05-01
Jake Bailey (Hacklang)
Fix bui
l
d
commit
|
commitdiff
|
tree
2019-04-24
Jake
Bailey (Hack
l
ang
)
Compute members_not_f
o
und lazily for shallow_class_decl
commit
|
commitdiff
|
tree
2019-04-24
Ja
k
e Bailey (Hacklang)
Lo
o
k up
p
arent a
n
d trait
a
ncestors la
z
ily from the
.
.
.
commit
|
commitdiff
|
tree
2019-04-24
J
ake Bail
e
y (H
a
c
k
l
ang
)
I
n
clude cl
a
sses not known to exist in t
h
e l
i
nearization
commit
|
commitdiff
|
tree
2019-04-24
Jake Bailey (Hacklang)
Don't merge
XHP-attribute-inclusion cl
a
s
ses into the
.
.
.
commit
|
commitdiff
|
tree
2019-04-20
Jake Bai
l
ey
(
Hack
l
ang)
Make ske
t
c
hy null check a lint ra
t
h
er than
a
Hack error
commit
|
commitdiff
|
tree
2019-04-17
Jake Bailey (Hac
k
lan
g
)
Look up typ
e
consts lazil
y
using the linearizati
o
n
commit
|
commitdiff
|
tree
2019-04-17
Jake Ba
i
ley (Hacklang)
Mov
e
e
n
forceable
o
verr
i
d
e
handling to
Typing_extends
commit
|
commitdiff
|
tree
2019-04-17
Jake Ba
i
ley (Hacklan
g
)
Look up
class c
o
nsts
l
azily using
t
h
e
linearization
commit
|
commitdiff
|
tree
2019-04-17
Jak
e
Bailey
(Ha
c
k
l
a
ng)
D
o
n
o
t u
s
e
t
c
_
n
eed
_
ini
t
and tc_
d
eferr
e
d_init_members
.
.
.
commit
|
commitdiff
|
tree
2019-04-17
Jake Bai
l
ey (Ha
c
klan
g
)
Lo
o
k u
p
constru
c
tors l
a
zily using the li
n
earizatio
n
commit
|
commitdiff
|
tree
2019-04-17
J
a
ke Bailey (Hacklang)
Look
up cla
s
s
pr
o
p
e
rties lazi
l
y
u
sin
g
the
l
inearizati
o
n
commit
|
commitdiff
|
tree
2019-04-17
J
a
ke Ba
i
ley (Hacklang)
L
o
ok up class me
t
hods lazily using the linearization
commit
|
commitdiff
|
tree
2019-04-17
Jake Ba
i
l
e
y (Hacklang)
L
ook up
class an
c
estors lazily using
the
l
inea
r
ization
commit
|
commitdiff
|
tree
2019-04-17
Jake Baile
y
(Hacklang)
D
isa
b
le cl
a
ss-di
f
fing
i
n
incremental typechec
k
ing wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2019-04-17
Jake Bailey (Hacklan
g
)
Avoid
u
sing de
c
l
_
c
l
ass_ty
p
e wherever possibl
e
commit
|
commitdiff
|
tree
2019-04-17
J
a
ke Bailey
(
Hacklang)
Add shared memory
cach
e
f
or linearizations
commit
|
commitdiff
|
tree
2019-04-17
Jake
Bailey (Hac
k
lang)
Ma
k
e Shallow_classes
_
hea
p
a sharedmem
heap
commit
|
commitdiff
|
tree
2019-04-17
J
a
ke
B
ai
l
e
y
(Hacklang)
Run typecheck tes
t
s with both
l
egacy decl a
n
d
shallow
.
.
.
commit
|
commitdiff
|
tree
2019-04-17
Jake Bailey (Hacklang)
Add
f
lag to enabl
e
lazy lo
o
kup o
f
class inf
o
r
mation
.
.
.
commit
|
commitdiff
|
tree
2019-04-16
Jake B
a
iley
(Hacklan
g
)
Back o
u
t "Avoid examining folded
m
e
thods t
a
ble
w
hen
.
.
.
commit
|
commitdiff
|
tree
2019-04-15
J
ak
e
B
a
i
l
ey (H
a
cklang)
R
ename Typing_c
l
ass_
m
e
m
ber
_
cache to Lazy_string_table
commit
|
commitdiff
|
tree
2019-04-11
J
ake Bai
l
ey (Hacklang)
Fix review
.
s
h
commit
|
commitdiff
|
tree
2019-04-10
Jake
B
ailey
(Hack
l
ang)
D
o
n
'
t add newline
b
efore semicolon in hhi
-
st
y
l
e
function
.
.
.
commit
|
commitdiff
|
tree
2019-04-09
Jake
Bailey
(
H
ackla
n
g
)
Fix commen
t
commit
|
commitdiff
|
tree
2019-04-05
Jake Bailey
(
H
acklang)
Suppress for
m
atting of no
d
es
f
ollowing HH_FIXMEs only
.
.
.
commit
|
commitdiff
|
tree
2019-04-04
J
a
k
e
Bailey
(
Hacklang)
Reord
e
r
MRO
t
o
match Decl_inherit (again)
commit
|
commitdiff
|
tree
next