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
Enable access to $this from fb_setprofile handler
2019-07-02
Dwa
y
ne
Reeves
Remove Typing_
t
access depen
d
ency on Typing_depen
d
ent_
t
ype
commit
|
commitdiff
|
tree
2019-06-27
D
wayne Reeves
Elimi
n
ated trail fr
o
m Typing_t
a
ccess
.
e
nv
commit
|
commitdiff
|
tree
2019-06-27
D
w
ayn
e
Reeve
s
Remove id lis
t
from
d
ependen
t
_type
commit
|
commitdiff
|
tree
2019-06-27
Dwayne Reeves
Use r
o
o
t
as this_ty in Typing_tacce
s
s
commit
|
commitdiff
|
tree
2019-06-27
Dwayne Reeves
Remove T
y
ping_tacce
s
s
.
e
n
v
.
ids
commit
|
commitdiff
|
tree
2019-06-27
Dwa
y
ne Reev
e
s
Ha
n
dle multiple upper bounds
properly
i
n
Typ
i
ng_taccess
commit
|
commitdiff
|
tree
2019-06-20
Dwayne Reeves
Remove
t
ypeco
n
st
_
seen
from Typing_tac
c
es
s
.
env
commit
|
commitdiff
|
tree
2019-06-20
D
wayne Reeves
Type_test_hin
t
_check not depende
n
t on how Tacces
s
is
.
.
.
commit
|
commitdiff
|
tree
2019-06-03
Dwayne Reeves
Rem
o
v
e
Ty
p
ing_phase
.
locali
z
e_wit
h
_
env
commit
|
commitdiff
|
tree
2019-05-31
Dwayne Reeves
Use
T
yping_defs
.
ty_compar
e
for ambiguous
m
ember lookup
commit
|
commitdiff
|
tree
2019-05-22
Dwayne Reeve
s
Disallow type access on nullable type
commit
|
commitdiff
|
tree
2019-05-20
Dwayne Reeves
Rem
o
ve id li
s
t fro
m
dep
e
ndent_type
commit
|
commitdiff
|
tree
2019-05-18
Dwayne
Reeve
s
Delete
Typing_suggest/Typing_i
n
f
e
r_r
e
t
u
rn
commit
|
commitdiff
|
tree
2019-05-10
Dwayn
e
Reeves
Move
goto er
r
or checking to nast_check
commit
|
commitdiff
|
tree
2019-05-10
D
w
ayne Reeve
s
Remove
is_te
r
minal flag
f
r
o
m
T
hro
w
Aast Node
commit
|
commitdiff
|
tree
2019-05-08
Dwa
y
ne Reeves
R
e
m
o
ve
special typing of
g
ena/gen_array
_
rec
commit
|
commitdiff
|
tree
2019-03-15
Dwayn
e
R
ee
v
es
Remove code
g
en
f
l
a
g
from lexe
r
/
pars
e
r
commit
|
commitdiff
|
tree
2017-12-05
Dwayne
Reeves
Add Typ
i
ng_dep
.
Dep
.
A
l
lMemb
e
rs
commit
|
commitdiff
|
tree
2017-12-02
D
w
ayne R
e
eves
M
o
v
e memoiz
e
c
h
eck to own file
commit
|
commitdiff
|
tree
2017-06-13
D
w
a
yne Ree
v
es
R
evert D5199978:
[
hhv
m
][PR
]
Make hack
_
test tar
g
et work
.
.
.
commit
|
commitdiff
|
tree
2017-05-27
Dwayne Reeves
Delete Implemen
t
at
i
on of Auto
l
oadMap
a
n
d ArcFacts
commit
|
commitdiff
|
tree
2017-02-09
Dwa
y
ne
R
eeves
Re
f
actor findref to not use lazy heap
commit
|
commitdiff
|
tree
2016-12-15
Dwayne Reeves
Properly locali
z
e parameters of explicitly t
y
ped
lambdas
commit
|
commitdiff
|
tree
2016-11-04
Dwa
y
ne Reeves
Add
extra logging for Decl_cl
a
ss_elem
s
_bu
g
commit
|
commitdiff
|
tree
2016-11-03
Dwayne Reev
e
s
Typecheck Extends
Dependencies
w
hen lo
a
ding from
a
.
.
.
commit
|
commitdiff
|
tree
2016-10-26
Dwayne Reeves
Delete unused Decl_compare code
commit
|
commitdiff
|
tree
2016-10-25
Dwayne Reeves
Delete
ShareMem
.
N
o
C
ache
.
s
helve/unsh
e
lv
e
_b
a
tc
h
commit
|
commitdiff
|
tree
2016-10-25
Dw
a
yne Reeve
s
Use local change stacks in
S
er
v
erIdeUtils
commit
|
commitdiff
|
tree
2016-10-25
Dwayn
e
Re
e
ves
Us
e
local
ch
a
nge
s
tacks
for par
s
ing
error roll back
commit
|
commitdiff
|
tree
2016-10-25
Dwayn
e
Reev
e
s
Supp
o
rt
a
pplying local changes to SharedMem
commit
|
commitdiff
|
tree
2016-10-18
Dwayne Reev
e
s
Ref
a
ctor Sha
r
e
d
M
e
m
.
WithC
a
c
h
e
commit
|
commitdiff
|
tree
2016-10-03
Dwayne Reeves
Compress conte
n
ts of heap
commit
|
commitdiff
|
tree
2016-10-01
Dw
a
yne R
e
eves
Do not m
a
r
shal
o
caml s
t
rings
commit
|
commitdiff
|
tree
2016-09-29
D
w
ayne Reeves
Marshal ocaml
v
alues in C
commit
|
commitdiff
|
tree
2016-09-21
Dwayne Reeves
Ensure ServerI
d
e
Uti
l
s
.
declare_
a
nd_rech
e
ck changes a
r
e
.
.
.
commit
|
commitdiff
|
tree
2016-09-17
Dwayne Ree
v
es
Revive rem
o
ve
d
class e
l
ements in ServerIdeUtils
.
d
e
clare_
a
nd_
.
.
.
commit
|
commitdiff
|
tree
2016-08-27
Dwayne Reeves
F
i
x integer
underflow error in hh_shared
.
c
commit
|
commitdiff
|
tree
2016-08-19
Dway
n
e Reeves
Re
p
ort number
o
f
n
onempty slots in Share
d
Mem
.
ha
s
h_t
b
l_stats
commit
|
commitdiff
|
tree
2016-08-18
Dwayne Reeves
Mo
v
e sta
t
ic/insta
n
c
e
met
h
od naming co
n
f
l
ict check
t
o
.
.
.
commit
|
commitdiff
|
tree
2016-08-18
Dwayn
e
R
ee
v
es
Add
additional dependencies when ov
e
rriding an element
commit
|
commitdiff
|
tree
2016-08-01
Dwayn
e
R
eeves
La
z
y load t
y
pe for class_elts
commit
|
commitdiff
|
tree
2016-08-01
Dw
a
yne Reeves
U
p
date incr
e
menta
l
to work with sepa
r
ate st
o
red ele
m
ent
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
D
w
ayne Reeves
S
t
ore t
h
e type
o
f c
l
ass elem
e
n
t
s separ
a
tely in
Decl_heap
commit
|
commitdiff
|
tree
2016-08-01
Dwayne
Re
e
v
e
s
D
e
lay substitution of type parameters
w
h
en inheriting
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne Reeves
Have
d
e
c
l_class
_
type
r
eplac
e
clas
s
_type
i
n the shared
.
.
.
commit
|
commitdiff
|
tree
2016-08-01
Dwayne
R
eeves
Introd
u
ce Decl_heap
commit
|
commitdiff
|
tree
2016-07-30
D
w
ayne Reeves
Pr
o
perly localize require ancestors
i
n Typing_subtype
commit
|
commitdiff
|
tree
2016-07-27
Dwayne Reeves
Introduce a thread local
c
ac
h
e
commit
|
commitdiff
|
tree
2016-06-22
Dway
n
e Reeves
C
a
c
he access to TypeID
H
e
a
p
commit
|
commitdiff
|
tree
2016-06-05
Dwayne Reeves
Corr
e
ctly instantiate gener
i
c attributes for XHP
commit
|
commitdiff
|
tree
2016-06-02
Dwayne Reeves
Includ
e
name
o
f attribute and
c
lass for
XHP attribute
.
.
.
commit
|
commitdiff
|
tree
2016-04-10
Dwayne Reeves
Rev
e
r
t
using shared_list
.
ml
f
o
r storing errors
commit
|
commitdiff
|
tree
2016-04-05
D
w
ayne Reeve
s
D
e
lete f_mtim
e
field from Ast
.
fu
n
commit
|
commitdiff
|
tree
2016-03-11
D
w
ayne Reeves
Do not a
l
low mu
t
ations of
K
eyedContainer or In
d
exish
commit
|
commitdiff
|
tree
2016-03-08
Dwayne
Reeves
Ban
assig
n
ment by refer
e
nce in
str
i
ct mode
commit
|
commitdiff
|
tree
2016-03-08
Dwayne Re
e
ve
s
Allow type
hint
s
for variadic fu
n
c
tio
n
in Hack
commit
|
commitdiff
|
tree
2016-03-03
Dwayne Reeves
C
orre
c
tly
handle ty
p
e_stru
c
tu
r
e() resol
u
t
i
on for typ
e
.
.
.
commit
|
commitdiff
|
tree
2016-02-28
Dwayne Re
e
ves
Remov
e
typedef fro
m
Type
I
dHeap whe
n
deleted
commit
|
commitdiff
|
tree
2016-02-27
Dwayne
R
eeves
A
llow type cons
t
a
nts defined in abstract final
classes
.
.
.
commit
|
commitdiff
|
tree
2016-02-19
Dwayne Reeves
Do not igno
r
e declared
varianc
e
of gener
i
cs
w
ith
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2016-01-28
Dwayne
R
e
eves
Invoke a
u
toloader when constructing ReflectionTypeAlias
.
.
.
commit
|
commitdiff
|
tree
2016-01-12
Dw
a
yne Reeves
Do not att
e
mpt
to autoload alrea
d
y
loade
d
clas
s
e
s
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Reeves
Pass
F
ileInfo
.
fast
vi
a
argumen
t
instead of
global stora
g
e
.
.
.
commit
|
commitdiff
|
tree
2015-12-20
Dw
a
yne
R
e
eves
Mo
v
e Namin
g
Globa
l
.
G
E
nv to s
h
ared
h
ash table
commit
|
commitdiff
|
tree
2015-12-20
Dway
n
e Reev
e
s
Enc
a
psulate Naming
G
lobal
.
env as NamingGlobal
.
GEnv
commit
|
commitdiff
|
tree
2015-12-20
Dwayne
Reeves
M
o
ve creation of Nami
n
g
.
e
nv to its
o
w
n file
commit
|
commitdiff
|
tree
2015-12-04
Dwayne Reeves
Reduce
number of
w
orkers used in Typ
e
-che
c
k p
h
ase for
.
.
.
commit
|
commitdiff
|
tree
2015-10-23
D
way
n
e
R
eeves
Make Call-time Pass-by-refer
e
n
ce a Pa
r
s
e e
r
ror
commit
|
commitdiff
|
tree
2015-10-17
D
w
ayne Reeves
Do not attemp
t
to
spe
c
ia
l
ize TypeStructure's
ty
p
e for
.
.
.
commit
|
commitdiff
|
tree
2015-10-15
Dwayne R
e
eves
Check f
o
r
r
ecrus
i
ve Tvars in
Typi
n
g
_
subtype
.
sub_str
i
ng
commit
|
commitdiff
|
tree
2015-10-14
D
wayne
Re
e
v
e
s
Improve Typing of TypeStruc
t
ure
<
T
>
commit
|
commitdiff
|
tree
2015-10-09
Dwayne Ree
v
e
s
Ad
d
type checker suppor
t
for typ
e
nam
e
<
T
>
commit
|
commitdiff
|
tree
2015-10-08
Dwayne Reeves
Autoim
p
ort support in type c
h
ec
k
er for
t
y
p
e
structure
.
.
.
commit
|
commitdiff
|
tree
2015-09-29
Dwa
y
ne Reeve
s
Properly resolve gen
e
ric
s
for type alias' type structur
e
s
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Reeves
Add 'typename' as an Alia
s
Entry in
the p
a
rser
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Reeves
Allow t
y
p
e
structure
to
wo
r
k with
type aliases
commit
|
commitdiff
|
tree
2015-09-21
D
wayne Reeves
prevent try
loading HH\this as an ali
a
s
commit
|
commitdiff
|
tree
2015-09-18
D
wayne Reeves
P
r
eser
v
e nullable field for
t
ype
s
tru
c
tures with type
.
.
.
commit
|
commitdiff
|
tree
2015-09-16
Dwayne R
e
eves
Move TypeStructure
to H
H
names
p
ace
commit
|
commitdiff
|
tree
2015-08-15
Dwa
y
ne Reeves
Check
T
ype Parameter
C
o
n
straints on
Dec
l
a
r
ation Types
commit
|
commitdiff
|
tree
2015-08-06
Dwayn
e
Reeves
Do not allow in
t
erface
t
o declare partia
l
ly
abstract
.
.
.
commit
|
commitdiff
|
tree
2015-07-29
Dwa
y
ne Reeves
P
rope
r
ly handle the 'this' type
in type c
o
n
stant co
n
straints
commit
|
commitdiff
|
tree
2015-07-25
Dwayne
R
e
eve
s
M
ake acc
e
ssing
a
n
ab
s
tract type
c
onstant
a
n error
commit
|
commitdiff
|
tree
2015-07-22
Dwayne Reeves
Check if abstract final
classes contain
a
b
s
t
rac
t
members
commit
|
commitdiff
|
tree
2015-07-16
Dwayne Reeves
Clean up
c
ommen
t
s for expression dependent
t
yp
e
tests
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeves
F
ix
infi
n
ite recursion in Typ
i
ng_u
t
ils
.
s
implified_
u
err
o
r
commit
|
commitdiff
|
tree
2015-07-11
Dwayne
Reev
e
s
Provide better typ
e
s for
b
u
iltins_finfo
.
hh
i
a
n
d bu
i
ltins_in
t
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeves
Overhaul error messag
e
s inv
o
lving
e
xpression dependen
t
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne R
e
e
ves
Remo
v
e
restric
t
ion o
n
th
e
'thi
s
' type
commit
|
commitdiff
|
tree
2015-07-11
D
wayne Reeves
Make
'
t
his' ty
p
e
produce an expression d
e
p
endent type
commit
|
commitdiff
|
tree
2015-07-10
Dwayne Reeves
Create stable
e
x
pres
s
ion dependent types for loca
l
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Re
e
ves
Intersec
t
loc
a
l
env whe
n
falling
t
hr
o
u
g
h a
switch-case
commit
|
commitdiff
|
tree
2015-07-09
Dwayne
R
e
eve
s
Properly handle
'
this' type for methods
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Re
e
ves
Make 'new
c
lass_id()' produce expression dependent
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne Reeves
M
a
ke the ex
p
ression $
t
h
is a dependent type
commit
|
commitdiff
|
tree
2015-07-09
Dwayne
Re
e
ves
Suppo
r
t
list
a
ssignment for Tabstract of a ve
c
tor
commit
|
commitdiff
|
tree
2015-07-08
Dwayne Reeves
Only Creat
e
Exp
r
essi
o
n D
e
pe
n
dent Types When Nece
s
sary
commit
|
commitdiff
|
tree
2015-06-29
Dw
a
yne Reeves
Move expansion of Taccess t
o
Ty
p
ing_phase
.
l
ocalize
commit
|
commitdiff
|
tree
2015-06-29
Dwa
y
n
e
Re
e
ves
Combi
n
e represen
t
all kinds o
f
abstract types as Tabstract
.
.
.
commit
|
commitdiff
|
tree
2015-06-18
Dwayne Reeve
s
Full
y
ex
p
and type variabl
e
s i
n
Tgenerics
commit
|
commitdiff
|
tree
next