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
Port HHBC unique_list from OCaml to Rust
2019-09-13
Dwayne Reev
e
s
Ch
a
n
g
e Ty
p
ing_en
v
.
t
p
a
rams_
v
isitor to us
e
locl_type_vis
i
tor
commit
|
commitdiff
|
tree
2019-09-13
Dwayn
e
Reeves
Split type_
v
isitor in
t
o
d
ecl_type
_
vi
s
i
t
or and loc
l
_typ
e
_visi
t
or
commit
|
commitdiff
|
tree
2019-09-13
Dwa
y
ne Reeves
Eliminate simple
u
s
a
g
e of ty
a
s a GADT
commit
|
commitdiff
|
tree
2019-09-13
Dwayn
e
R
e
eves
Create type aliases loc
l
_
t
y/decl_ty
commit
|
commitdiff
|
tree
2019-09-13
D
w
a
y
n
e
Reeves
Dele
t
e Typing_print
.
s
uggest
commit
|
commitdiff
|
tree
2019-07-02
Dwa
y
ne Reeves
Remove T
y
ping_taccess de
p
endency o
n
Typing_depende
n
t_type
commit
|
commitdiff
|
tree
2019-06-27
D
wa
y
ne
Reeves
Eliminat
e
d trail from T
y
ping_taccess
.
e
n
v
commit
|
commitdiff
|
tree
2019-06-27
Dwayne
Reeves
Remove id list from
d
e
pendent_type
commit
|
commitdiff
|
tree
2019-06-27
D
w
ayne Reev
e
s
Use
r
oot as this
_
t
y in T
y
ping_taccess
commit
|
commitdiff
|
tree
2019-06-27
Dwayn
e
Ree
v
es
Rem
o
ve T
y
p
i
ng_taccess
.
e
nv
.
ids
commit
|
commitdiff
|
tree
2019-06-27
Dwayne Reeves
Handle
m
ultiple upper
bound
s
properly
i
n
Typing_ta
c
cess
commit
|
commitdiff
|
tree
2019-06-20
D
w
ayne Reeves
Remove typ
e
c
o
nst_seen from Ty
p
i
ng
_
taccess
.
e
n
v
commit
|
commitdiff
|
tree
2019-06-20
Dwayne Re
e
ves
Type
_
test_
h
int
_
check not depende
n
t on how Tacc
e
ss
i
s
.
.
.
commit
|
commitdiff
|
tree
2019-06-03
D
w
ayne Reeve
s
Re
m
ove Typing_phase
.
localize_with_env
commit
|
commitdiff
|
tree
2019-05-31
Dwayne Re
e
ves
U
se
Typing_defs
.
ty_compare for ambiguou
s
member
l
ookup
commit
|
commitdiff
|
tree
2019-05-22
Dwayne
R
eeves
Disa
l
l
o
w type access on nullable type
commit
|
commitdiff
|
tree
2019-05-20
Dw
a
yne R
e
ev
e
s
R
e
move
i
d
l
is
t
from depende
n
t
_
t
yp
e
commit
|
commitdiff
|
tree
2019-05-18
Dwayne Reeves
Delete Typing_
s
u
ggest/Typing_infer_return
commit
|
commitdiff
|
tree
2019-05-10
Dwayne Reeves
Move go
t
o
e
r
ror che
c
king to na
s
t_c
h
e
ck
commit
|
commitdiff
|
tree
2019-05-10
Dwayne Reeves
Remove is_terminal fla
g
from T
h
row Aast Node
commit
|
commitdiff
|
tree
2019-05-08
Dwayne Reeves
Remo
v
e special
t
yping of ge
n
a/gen_array_rec
commit
|
commitdiff
|
tree
2019-03-15
Dway
n
e Ree
v
e
s
R
emov
e
cod
e
gen flag from l
e
xer/par
s
er
commit
|
commitdiff
|
tree
2017-12-05
Dwayne Reeves
Add Typin
g
_dep
.
Dep
.
AllM
e
mb
e
r
s
commit
|
commitdiff
|
tree
2017-12-02
D
w
ayne Reeves
M
o
ve memoize chec
k
to own fil
e
commit
|
commitdiff
|
tree
2017-06-13
Dwayne Re
e
ves
Revert D
5
199978: [hhvm][
P
R] Make
hack_test target work
.
.
.
commit
|
commitdiff
|
tree
2017-05-27
Dwayne Reeves
D
e
le
t
e
Impleme
n
tat
i
on of Autol
o
a
d
Map a
n
d ArcFa
c
ts
commit
|
commitdiff
|
tree
2017-02-09
Dwayne
R
ee
v
es
Refactor
findre
f
to not use lazy heap
commit
|
commitdiff
|
tree
2016-12-15
D
w
ayne Reeves
Prop
e
rl
y
localize pa
r
ameters o
f
explicitly typed
l
ambdas
commit
|
commitdiff
|
tree
2016-11-04
Dwayne Reeves
Add
extra logging for Decl_class_elems_bug
commit
|
commitdiff
|
tree
2016-11-03
Dwayne Ree
v
es
Typ
e
c
heck Extend
s
De
p
endencies when loading from a
.
.
.
commit
|
commitdiff
|
tree
2016-10-26
Dwayne Reeves
Delete unuse
d
Decl_com
p
are co
d
e
commit
|
commitdiff
|
tree
2016-10-25
Dway
n
e Re
e
ve
s
Dele
t
e ShareMem
.
NoCache
.
s
he
l
ve/unshel
v
e
_batch
commit
|
commitdiff
|
tree
2016-10-25
Dwayne Reeves
Use
local
chan
g
e stacks in ServerIdeU
t
i
ls
commit
|
commitdiff
|
tree
2016-10-25
D
wayne Re
e
ves
Use local ch
a
nge stacks for
parsing error roll back
commit
|
commitdiff
|
tree
2016-10-25
D
w
ay
n
e Reeves
Su
p
port applying loca
l
c
h
a
ng
e
s
t
o Sh
a
r
e
dMem
commit
|
commitdiff
|
tree
2016-10-18
Dwayne Reeves
Refactor SharedMem
.
W
i
t
h
C
ache
commit
|
commitdiff
|
tree
2016-10-03
Dwayne Ree
v
es
C
o
mpress contents of heap
commit
|
commitdiff
|
tree
2016-10-01
Dwayne Re
e
ves
Do not marshal ocaml s
t
r
i
ngs
commit
|
commitdiff
|
tree
2016-09-29
Dw
a
y
ne
R
eeves
Marshal ocaml value
s
i
n
C
commit
|
commitdiff
|
tree
2016-09-21
Dwayne Reeves
Ensure ServerIdeUtils
.
declare_and_recheck changes
are
.
.
.
commit
|
commitdiff
|
tree
2016-09-17
Dwayne Reeves
R
evive removed
class
elements in ServerIdeUtil
s
.
d
e
clare_a
n
d_
.
.
.
commit
|
commitdiff
|
tree
2016-08-27
Dwayne Reeves
F
ix in
t
eg
e
r under
f
low
e
rror in h
h
_shared
.
c
commit
|
commitdiff
|
tree
2016-08-19
Dwayne Reeves
Report number of non
e
mpty slo
t
s in
SharedMem
.
hash_t
b
l
_stats
commit
|
commitdiff
|
tree
2016-08-18
Dwayne Reeves
Move
s
tatic/inst
a
nce met
h
od nami
n
g co
n
flict c
h
eck to
.
.
.
commit
|
commitdiff
|
tree
2016-08-18
Dwayne Reeves
Add additional dependencie
s
when overriding an ele
m
ent
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Reeves
La
z
y
l
oad type for c
l
a
s
s_elts
commit
|
commitdiff
|
tree
2016-08-01
D
w
ayn
e
R
e
eves
Update incre
m
e
ntal to work with separate stored
e
l
ement
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dw
a
y
n
e
Reeve
s
Store the type of class elements separately in Decl_he
a
p
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Re
e
ves
Dela
y
substitution of type parameters when inherit
i
ng
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Re
e
ves
H
a
ve
d
ecl_class_type replace class_type i
n
t
he shared
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Re
e
ves
In
t
r
oduce
Decl_heap
commit
|
commitdiff
|
tree
2016-07-30
Dwayne
Reeves
Properly lo
c
ali
z
e
requ
i
r
e ancestors in Typ
i
ng_subtyp
e
commit
|
commitdiff
|
tree
2016-07-27
Dwayne Reeves
Introduce a thread local cache
commit
|
commitdiff
|
tree
2016-06-22
Dwayne R
e
e
v
es
Cach
e
a
ccess to TypeID
H
eap
commit
|
commitdiff
|
tree
2016-06-05
Dwayne Ree
v
e
s
Correct
l
y ins
t
a
ntiate gener
i
c attribu
t
es
for XHP
commit
|
commitdiff
|
tree
2016-06-02
Dwayne
R
eeves
I
n
clude name of
a
ttribu
t
e and cl
a
ss
fo
r
XHP attrib
u
te
.
.
.
commit
|
commitdiff
|
tree
2016-04-10
Dwayne Reeves
R
e
vert using sha
r
ed_lis
t
.
m
l
for storing e
r
rors
commit
|
commitdiff
|
tree
2016-04-05
D
wayne Reeves
D
e
lete f_mt
i
me field from Ast
.
fun
commit
|
commitdiff
|
tree
2016-03-11
Dway
n
e
Reeves
Do
not allow mutation
s
o
f
Key
e
dContai
n
er or Inde
x
is
h
commit
|
commitdiff
|
tree
2016-03-08
Dwayne R
e
eves
Ban assig
n
ment
b
y reference
in strict mo
d
e
commit
|
commitdiff
|
tree
2016-03-08
Dwayne Reeves
A
llow ty
p
e
hints for
variadic fu
n
c
tion
i
n Hack
commit
|
commitdiff
|
tree
2016-03-03
Dwayne Reeves
Correctly handle
type_
s
tructure
(
) resolut
i
on for
t
ype
.
.
.
commit
|
commitdiff
|
tree
2016-02-28
D
w
ayne R
e
eves
Remove typede
f
f
ro
m
Ty
p
eIdHeap wh
e
n
d
elete
d
commit
|
commitdiff
|
tree
2016-02-27
Dwayne
R
eeves
Allow type constan
t
s
defined in
a
bstr
a
ct
final classes
.
.
.
commit
|
commitdiff
|
tree
2016-02-19
Dwa
y
ne Reeves
Do not ignore declared variance of gene
r
ics
w
ith
c
on
s
t
r
aints
commit
|
commitdiff
|
tree
2016-01-28
Dwayne Reeves
Invoke autoload
e
r when co
n
stru
c
t
i
ng Refl
e
ctio
n
TypeAlia
s
.
.
.
commit
|
commitdiff
|
tree
2016-01-12
Dwayne Reeves
D
o
not attempt
t
o aut
o
load
al
r
eady load
e
d
c
las
s
es
commit
|
commitdiff
|
tree
2015-12-20
Dw
a
yne Reeves
Pass FileInfo
.
fast via
argument instead
o
f
global
s
t
o
r
age
.
.
.
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeves
Move NamingGl
o
bal
.
GEnv to
s
hare
d
hash
t
able
commit
|
commitdiff
|
tree
2015-12-20
Dwayne R
e
e
ves
Enca
p
s
u
late NamingGlobal
.
env as
N
a
mingGlobal
.
GEnv
commit
|
commitdiff
|
tree
2015-12-20
D
w
ayne Reeves
Mov
e
creation o
f
Na
m
ing
.
env to its
o
w
n file
commit
|
commitdiff
|
tree
2015-12-04
Dwayne Reev
e
s
Reduce n
u
mb
e
r of workers
used in Type-che
c
k phas
e
for
.
.
.
commit
|
commitdiff
|
tree
2015-10-23
Dwayne Reeves
Ma
k
e Call
-
time Pass-by-refer
e
nce
a Parse erro
r
commit
|
commitdiff
|
tree
2015-10-17
D
wayne Reeves
D
o not attempt to speci
a
lize TypeStructure's type for
.
.
.
commit
|
commitdiff
|
tree
2015-10-15
Dwa
y
n
e
Reeve
s
Check for recrusive T
v
ars in Typing_
s
ubtype
.
su
b
_
s
tr
i
n
g
commit
|
commitdiff
|
tree
2015-10-14
Dwayne Reeves
Improve Typing of T
y
peStructure<T>
commit
|
commitdiff
|
tree
2015-10-09
Dwa
y
ne Reeves
Add type checker support for typename<T>
commit
|
commitdiff
|
tree
2015-10-08
D
w
ayne Reeves
Autoimpo
r
t support
i
n
t
y
p
e c
h
ecker
f
o
r
type structu
r
e
.
.
.
commit
|
commitdiff
|
tree
2015-09-29
D
way
n
e Reeves
P
r
operl
y
resolve generics f
o
r t
y
p
e alias' type struct
u
res
commit
|
commitdiff
|
tree
2015-09-28
Dw
a
yne Reeves
A
d
d 'typ
e
na
m
e
' as an AliasEntry in the parser
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Reeves
A
llow type
s
tructure
t
o wor
k
with type aliase
s
commit
|
commitdiff
|
tree
2015-09-21
Dwayne Reeves
preve
n
t t
r
y loadin
g
HH
\
t
his
a
s
an
a
lias
commit
|
commitdiff
|
tree
2015-09-18
Dwayn
e
Reeves
Preserve
n
ul
l
a
b
le field for
t
ype
s
tructures
w
ith type
.
.
.
commit
|
commitdiff
|
tree
2015-09-16
Dwayne R
e
e
v
e
s
Move
T
ypeStructure
to HH
n
a
m
espace
commit
|
commitdiff
|
tree
2015-08-15
D
w
ayne Reeves
Check Type Parame
t
er Co
n
straints on Declaration
Types
commit
|
commitdiff
|
tree
2015-08-06
Dw
a
y
n
e
R
e
eves
Do n
o
t allow
i
nte
r
fac
e
to
d
eclare par
t
ially
a
bstract
.
.
.
commit
|
commitdiff
|
tree
2015-07-29
Dwayne Reeves
P
r
operly handle
t
h
e
'this
'
typ
e
in ty
p
e c
o
nstant
c
onstraints
commit
|
commitdiff
|
tree
2015-07-25
Dwayn
e
R
eeves
Make accessi
n
g an abstract type constant an error
commit
|
commitdiff
|
tree
2015-07-22
Dwayne Reeves
Check if abstract
f
ina
l
clas
s
es contain abstract
m
emb
e
rs
commit
|
commitdiff
|
tree
2015-07-16
Dwayne Reeves
C
lean
up comments for expres
s
ion
depen
d
e
n
t
type
t
ests
commit
|
commitdiff
|
tree
2015-07-11
Dw
a
y
n
e Reeves
Fix infinite recu
r
sion in
Typi
n
g_utils
.
s
implified_uerror
commit
|
commitdiff
|
tree
2015-07-11
D
w
a
y
ne R
e
eves
Provide
b
etter
types for builtins_f
i
nfo
.
hhi
an
d
builtins_i
n
t
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Ree
v
es
Overhaul error messages
involvin
g
exp
r
essio
n
depe
n
d
e
nt
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dw
a
yne R
e
eves
Remove restriction on the 'thi
s
' type
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeves
Make '
t
his' type produce
an expr
e
ssion dependent t
y
pe
commit
|
commitdiff
|
tree
2015-07-10
Dwayne Reeves
C
reate stable expressi
o
n
dep
e
nd
e
nt types for local
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayn
e
Reeves
Intersect local
e
nv
when fa
l
ling through a swit
c
h-cas
e
commit
|
commitdiff
|
tree
2015-07-09
Dwa
y
n
e
Re
e
ves
P
roperly handle 'this' type fo
r
methods
commit
|
commitdiff
|
tree
2015-07-09
Dwa
y
ne Reeves
Make 'new class_id
(
)' prod
u
ce expression
d
epen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Reeve
s
Make the ex
p
res
s
ion $this
a dependent typ
e
commit
|
commitdiff
|
tree
next