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
Delete Typing_print.suggest
2019-09-13
Dwayne Reeves
Delete Typing_print
.
suggest
commit
|
commitdiff
|
tree
2019-07-02
Dwayne
Reeves
Rem
o
ve T
y
p
i
n
g_t
a
ccess dependen
c
y on Typing_dep
e
ndent_
t
ype
commit
|
commitdiff
|
tree
2019-06-27
Dwayne Reeves
Eliminated trai
l
from Typ
i
ng_tacces
s
.
env
commit
|
commitdiff
|
tree
2019-06-27
Dw
a
yne Reeves
Remove
i
d list from
d
epen
d
e
n
t_type
commit
|
commitdiff
|
tree
2019-06-27
D
wayne Reeves
Use roo
t
as th
i
s
_ty in T
y
pin
g
_taccess
commit
|
commitdiff
|
tree
2019-06-27
Dwayne Re
e
ves
Remove Typing
_
t
access
.
env
.
ids
commit
|
commitdiff
|
tree
2019-06-27
Dwayne Reev
e
s
H
andle multiple
u
pper bounds properly in
T
y
p
i
ng_tac
c
ess
commit
|
commitdiff
|
tree
2019-06-20
Dwayne Reeves
Remove t
y
peconst_s
e
en
f
rom Ty
p
ing_
t
access
.
e
nv
commit
|
commitdiff
|
tree
2019-06-20
D
wayne R
e
eve
s
Type_test_hi
n
t_che
c
k not dependent
o
n how Tac
c
ess is
.
.
.
commit
|
commitdiff
|
tree
2019-06-03
Dwayne R
e
ev
e
s
Remove Typing_phase
.
loc
a
l
ize_with_e
n
v
commit
|
commitdiff
|
tree
2019-05-31
D
wayne
R
eeve
s
Use Typing_
d
efs
.
ty_co
m
pare for
amb
i
guous member lo
o
kup
commit
|
commitdiff
|
tree
2019-05-22
Dwayne R
e
eves
D
i
sallow
t
ype access on
n
ul
l
a
b
l
e
t
ype
commit
|
commitdiff
|
tree
2019-05-20
D
w
a
y
ne Reeve
s
Remove
i
d li
s
t from de
p
ende
n
t_type
commit
|
commitdiff
|
tree
2019-05-18
Dway
n
e Reeves
Delete
T
ypin
g
_sug
g
est/T
y
ping_infer_retur
n
commit
|
commitdiff
|
tree
2019-05-10
Dwayne
R
eeves
Move goto error checking
t
o nast_check
commit
|
commitdiff
|
tree
2019-05-10
D
w
a
yne Reeves
R
e
move
is_terminal
flag from
Th
r
ow A
a
st No
d
e
commit
|
commitdiff
|
tree
2019-05-08
Dway
n
e
Reeves
R
emo
v
e speci
a
l
typing of gena
/
g
en_arr
a
y_rec
commit
|
commitdiff
|
tree
2019-03-15
Dwayn
e
Reeves
Re
m
ove cod
e
gen fla
g
from lexer/
p
arser
commit
|
commitdiff
|
tree
2017-12-05
Dwayne Reeves
Add Typing_dep
.
Dep
.
AllMembers
commit
|
commitdiff
|
tree
2017-12-02
Dw
a
yne Re
e
ves
Mo
v
e
m
emoize check
to
own file
commit
|
commitdiff
|
tree
2017-06-13
Dwayne
R
eeves
Revert D5199978: [hhv
m
][PR] M
a
k
e
hack_te
s
t
t
a
rget w
o
rk
.
.
.
commit
|
commitdiff
|
tree
2017-05-27
Dwayne Reeves
D
e
lete
Implementation of
A
utoloadMap an
d
Arc
F
acts
commit
|
commitdiff
|
tree
2017-02-09
D
w
ayne R
e
eves
Refact
o
r findref to
n
o
t use l
a
zy
h
eap
commit
|
commitdiff
|
tree
2016-12-15
D
w
a
yne Re
e
v
e
s
Properly loc
a
lize pa
r
ameters of
explicitly
typed lambd
a
s
commit
|
commitdiff
|
tree
2016-11-04
Dwayne Ree
v
es
Add ex
t
ra lo
g
ging for Decl_class_elems
_
b
u
g
commit
|
commitdiff
|
tree
2016-11-03
Dwayne
Reeves
Typ
e
check
E
xtends Dependen
c
ies when loading fr
o
m
a
.
.
.
commit
|
commitdiff
|
tree
2016-10-26
Dwayne
Reeves
Delete
unused Dec
l
_compare cod
e
commit
|
commitdiff
|
tree
2016-10-25
Dwayne
Reeves
Delete ShareMem
.
NoCache
.
s
h
elve/unshelve_
b
a
t
c
h
commit
|
commitdiff
|
tree
2016-10-25
Dwayne Reeves
U
s
e local change
s
t
a
cks in
S
erver
I
deUtils
commit
|
commitdiff
|
tree
2016-10-25
Dwayne Reeves
Use l
o
cal change
stacks for parsing error rol
l
b
a
ck
commit
|
commitdiff
|
tree
2016-10-25
Dwayn
e
Reeves
S
uppor
t
applyin
g
local
changes to SharedMem
commit
|
commitdiff
|
tree
2016-10-18
Dwayne R
e
e
ve
s
Re
f
a
c
tor SharedMem
.
W
i
t
hCache
commit
|
commitdiff
|
tree
2016-10-03
Dw
a
y
n
e
Reeves
C
ompress co
n
tents of heap
commit
|
commitdiff
|
tree
2016-10-01
Dwayne Reeves
Do not marshal ocaml strings
commit
|
commitdiff
|
tree
2016-09-29
Dwayne Reeves
Marshal o
c
aml values
in C
commit
|
commitdiff
|
tree
2016-09-21
D
w
ayne Reeves
Ensure
S
erverIdeUtils
.
d
e
clare_and_
r
echeck ch
a
nges are
.
.
.
commit
|
commitdiff
|
tree
2016-09-17
Dwayne
R
e
eves
Revive remo
v
ed class elem
e
nts in ServerIde
U
tils
.
dec
l
are_a
n
d_
.
.
.
commit
|
commitdiff
|
tree
2016-08-27
Dwayne Reeves
Fix i
n
teger underflow error in hh_sh
a
red
.
c
commit
|
commitdiff
|
tree
2016-08-19
Dwayne
Reev
e
s
Report nu
m
ber o
f
nonem
p
t
y slots in
S
h
a
re
d
Mem
.
hash_tbl_
s
tats
commit
|
commitdiff
|
tree
2016-08-18
Dwayne Reeves
Move sta
t
ic/ins
t
ance
method naming c
o
nflict check
to
.
.
.
commit
|
commitdiff
|
tree
2016-08-18
Dwayne
Reeves
A
d
d
addition
a
l depende
n
cies
when overriding an elemen
t
commit
|
commitdiff
|
tree
2016-08-01
D
w
ayne
Reeves
La
z
y lo
a
d
t
ype for
c
las
s
_
e
lts
commit
|
commitdiff
|
tree
2016-08-01
D
w
ayne R
e
eves
Update increm
e
ntal to work with s
e
parate stored
e
l
e
ment
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayn
e
Reev
e
s
Store the
type of
c
las
s
elements sep
a
rately in Decl_h
e
ap
commit
|
commitdiff
|
tree
2016-08-01
Dwa
y
ne Reeves
Del
a
y substitution of type parameters
w
hen inheriti
n
g
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Reev
e
s
H
ave de
c
l_class_t
y
p
e
replace cl
a
ss
_
type
i
n the share
d
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne
Reeves
Introduce Decl_heap
commit
|
commitdiff
|
tree
2016-07-30
Dwayne Reeves
Pro
p
erly localize
r
e
q
uire ancestors i
n
Typing_subtype
commit
|
commitdiff
|
tree
2016-07-27
Dwayne
Ree
v
es
Introd
u
ce a thre
a
d local cache
commit
|
commitdiff
|
tree
2016-06-22
Dwayne Reeves
Cache
a
ccess
to TypeIDHe
a
p
commit
|
commitdiff
|
tree
2016-06-05
Dwayne Re
e
ves
Correctl
y
i
n
stantiat
e
generic a
t
tri
b
utes for XHP
commit
|
commitdiff
|
tree
2016-06-02
Dwa
y
ne Reeves
Include
name of attr
i
b
u
te and class for XHP attrib
u
te
.
.
.
commit
|
commitdiff
|
tree
2016-04-10
Dwayne R
e
eves
Revert using shared_list
.
ml for
s
tor
i
ng errors
commit
|
commitdiff
|
tree
2016-04-05
Dwayne Reeves
D
elete f_mtime field
f
rom Ast
.
fun
commit
|
commitdiff
|
tree
2016-03-11
D
w
ayne Reeves
Do not allow mutations of KeyedContainer or Inde
x
i
s
h
commit
|
commitdiff
|
tree
2016-03-08
Dwayne Reeves
Ban assignment by reference in stric
t
mo
d
e
commit
|
commitdiff
|
tree
2016-03-08
Dway
n
e R
e
e
v
es
A
llow type
h
ints f
o
r
variadic
function in Hack
commit
|
commitdiff
|
tree
2016-03-03
Dwa
y
ne Reeves
Correctly handle
type_structure() resolution
for
type
.
.
.
commit
|
commitdiff
|
tree
2016-02-28
Dwayne Ree
v
e
s
Remo
v
e
typedef from T
y
p
e
Id
H
ea
p
when
deleted
commit
|
commitdiff
|
tree
2016-02-27
Dwayne Re
e
ves
Al
l
ow
t
ype constants
d
e
f
ined in
ab
s
tract final c
l
asses
.
.
.
commit
|
commitdiff
|
tree
2016-02-19
Dwayne Reev
e
s
Do
n
ot ignore declared v
a
r
i
ance o
f
gener
i
c
s
wit
h
constrai
n
ts
commit
|
commitdiff
|
tree
2016-01-28
Dwayn
e
Reeves
Invoke autoload
e
r when constructing
R
e
f
l
e
c
tionTypeAlia
s
.
.
.
commit
|
commitdiff
|
tree
2016-01-12
Dwayne
Re
e
ves
Do not at
t
empt to
autoload already
l
oaded
c
lasses
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeves
P
ass FileInfo
.
fast v
i
a
a
rgument ins
t
ead of
global st
o
rage
.
.
.
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeve
s
Mo
v
e NamingGl
o
bal
.
GEnv
to
shared h
a
sh table
commit
|
commitdiff
|
tree
2015-12-20
Dway
n
e Reeves
Encaps
u
late NamingGlobal
.
en
v
as NamingGlobal
.
GEn
v
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeves
Move creation
of Nami
n
g
.
en
v
to
i
ts
o
wn
f
ile
commit
|
commitdiff
|
tree
2015-12-04
Dwayne Ree
v
es
Reduce nu
m
b
er of worke
r
s used
i
n Type-check phase for
.
.
.
commit
|
commitdiff
|
tree
2015-10-23
Dwa
y
ne Reeves
M
a
ke Cal
l
-ti
m
e Pass-by-reference a
P
arse error
commit
|
commitdiff
|
tree
2015-10-17
D
way
n
e Reeves
D
o
not at
t
empt t
o
specialize TypeStructur
e
's
t
ype fo
r
.
.
.
commit
|
commitdiff
|
tree
2015-10-15
Dwayne Reeves
Check for rec
r
u
s
iv
e
Tvars in T
y
ping_subtype
.
sub_string
commit
|
commitdiff
|
tree
2015-10-14
Dwayne
R
eeves
I
mprove Typing of
Ty
p
eStructur
e
<T>
commit
|
commitdiff
|
tree
2015-10-09
Dwayne Reeves
Add
type checker sup
p
o
rt
f
or typename<T>
commit
|
commitdiff
|
tree
2015-10-08
D
wayne
Re
e
ves
Autoimport support
i
n type chec
k
er
f
or type structure
.
.
.
commit
|
commitdiff
|
tree
2015-09-29
D
w
ayne Reeves
P
r
operly resolve gen
e
rics for type
alias' ty
p
e structures
commit
|
commitdiff
|
tree
2015-09-28
D
w
ayn
e
Reeves
A
d
d 'typename'
a
s an Alias
E
ntry in the
pa
r
ser
commit
|
commitdiff
|
tree
2015-09-28
Dwa
y
ne Reeves
Allow type
s
truct
u
re to
w
ork with type aliases
commit
|
commitdiff
|
tree
2015-09-21
Dway
n
e Reeves
p
r
event try loading HH\t
h
is a
s
an alia
s
commit
|
commitdiff
|
tree
2015-09-18
Dwayne Reeve
s
Pre
s
erve null
a
ble f
i
el
d
for type struc
t
ures
wi
t
h type
.
.
.
commit
|
commitdiff
|
tree
2015-09-16
Dwayne Reeves
M
o
ve
T
ypeStructure to HH
n
a
mespace
commit
|
commitdiff
|
tree
2015-08-15
Dwayne
R
e
e
ve
s
Check Type Parameter C
o
nstr
a
ints on
Declarati
o
n Types
commit
|
commitdiff
|
tree
2015-08-06
D
w
ayne Reeves
Do not allow inte
r
f
ace to declare p
a
rt
i
all
y
abstract
.
.
.
commit
|
commitdiff
|
tree
2015-07-29
Dwayne Reeves
Properly handle
t
he 't
h
is' type
in type const
a
nt constraints
commit
|
commitdiff
|
tree
2015-07-25
D
wayne Ree
v
e
s
Make a
c
ces
s
i
n
g an abstrac
t
type constant a
n
error
commit
|
commitdiff
|
tree
2015-07-22
Dwayne Reeves
C
heck if abstract final classes contain abstra
c
t
members
commit
|
commitdiff
|
tree
2015-07-16
Dwayne Reeves
C
l
ean up comments for
e
xpression depen
d
en
t
t
y
pe
tests
commit
|
commitdiff
|
tree
2015-07-11
D
w
a
yn
e
Reeves
Fix
i
nfinite
recursion in
T
ypi
n
g_utils
.
s
i
m
p
l
i
fie
d
_uerror
commit
|
commitdiff
|
tree
2015-07-11
Dwayne
R
eeves
Provi
d
e
b
etter ty
p
es for
b
ui
l
tins_finfo
.
hh
i
and builtins_int
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne
Reeves
Ove
r
haul error messages inv
o
l
v
ing ex
p
re
s
sion d
e
pen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne R
e
eves
Remove restri
c
ti
o
n on the 'this' t
y
pe
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeves
Make
'
this
'
t
y
pe produ
c
e
an expression
d
e
pe
n
dent t
y
pe
commit
|
commitdiff
|
tree
2015-07-10
D
w
ayne Reeves
Create
s
table
ex
p
ression d
e
pendent
types
f
or
lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Ree
v
es
I
ntersect l
o
ca
l
env when falling through a switch-
c
ase
commit
|
commitdiff
|
tree
2015-07-09
Dwayne R
e
eves
Properly handle 'this' type for
met
h
ods
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Reeves
Make
'
n
e
w
class
_
id
(
)' produce expression depen
d
e
nt
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne R
e
e
ves
Make the
express
i
on $this a dependen
t
type
commit
|
commitdiff
|
tree
2015-07-09
D
w
ayne
R
e
eves
Support list assignment for Ta
b
s
t
ract of a ve
c
t
o
r
commit
|
commitdiff
|
tree
2015-07-08
Dwayne Reeves
Only Create Express
i
on
D
epe
n
dent Ty
p
e
s
Wh
e
n Necessary
commit
|
commitdiff
|
tree
2015-06-29
Dw
a
yn
e
Reeves
Move expansion o
f
T
a
ccess to Typing_phase
.
localize
commit
|
commitdiff
|
tree
2015-06-29
D
wayne Re
e
ve
s
Co
m
b
ine represent all
kinds of abstract types as Ta
b
strac
t
.
.
.
commit
|
commitdiff
|
tree
next