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
Correctly instantiate generic attributes for XHP
2016-06-05
D
wayn
e
R
e
eves
Corr
e
c
tly
ins
t
antiate gener
i
c attributes for XHP
commit
|
commitdiff
|
tree
2016-06-02
D
w
ayne Reeves
Include name of attribute
a
n
d class
f
or
X
HP attribute
.
.
.
commit
|
commitdiff
|
tree
2016-04-10
Dw
a
yne Reeves
Revert using
s
hared_list
.
m
l
fo
r
storing errors
commit
|
commitdiff
|
tree
2016-04-05
Dwayne Reev
e
s
Delete f_mtime
fi
e
ld from Ast
.
fun
commit
|
commitdiff
|
tree
2016-03-11
Dwayne Reeves
D
o n
o
t allow mut
a
tions of Keye
d
Container
o
r
Indexish
commit
|
commitdiff
|
tree
2016-03-08
Dwa
y
ne Reeves
B
a
n as
s
ig
n
ment by referen
c
e in strict mo
d
e
commit
|
commitdiff
|
tree
2016-03-08
Dwayne Reeve
s
Allow type hints for var
i
adic function in Hack
commit
|
commitdiff
|
tree
2016-03-03
Dwayne Reeves
Correctly handle type_stru
c
ture()
re
s
olution for type
.
.
.
commit
|
commitdiff
|
tree
2016-02-28
Dwayne Reeves
Remove type
d
ef from T
y
peIdHeap when deleted
commit
|
commitdiff
|
tree
2016-02-27
Dwayne Reeves
Allow
t
ype cons
t
a
nts de
f
ined in
a
b
s
t
r
a
c
t fin
a
l
classes
.
.
.
commit
|
commitdiff
|
tree
2016-02-19
Dwayn
e
Ree
v
es
Do not ignore declared v
a
r
i
ance of
g
eneri
c
s with constraints
commit
|
commitdiff
|
tree
2016-01-28
Dwa
y
ne Reeves
I
nvoke autoloader when constr
u
c
ting
R
eflectionT
y
p
e
Alias
.
.
.
commit
|
commitdiff
|
tree
2016-01-12
Dway
n
e Reeves
Do not attempt
to aut
o
load
a
lready loaded classes
commit
|
commitdiff
|
tree
2015-12-20
Dwayne Ree
v
es
P
ass FileInfo
.
fast
v
i
a argument
inst
e
ad of global st
o
r
a
g
e
.
.
.
commit
|
commitdiff
|
tree
2015-12-20
D
w
ayne Ree
v
es
Move NamingGl
o
bal
.
G
Env to shar
e
d hash
table
commit
|
commitdiff
|
tree
2015-12-20
Dway
n
e
Reeves
E
ncapsulate N
a
m
i
n
g
Glo
b
a
l
.
env
as NamingG
l
ob
a
l
.
GEn
v
commit
|
commitdiff
|
tree
2015-12-20
Dway
n
e Reeves
Move creation of Naming
.
env
to
i
ts own file
commit
|
commitdiff
|
tree
2015-12-04
D
wayne
Reeves
Redu
c
e number of w
o
rkers
used
i
n
Ty
p
e-
c
hec
k
phase
f
or
.
.
.
commit
|
commitdiff
|
tree
2015-10-23
Dwayne R
e
eves
Make Call-
t
ime Pas
s
-by-re
f
erence
a Parse error
commit
|
commitdiff
|
tree
2015-10-17
Dwa
y
ne
R
eeve
s
D
o
n
ot attempt t
o
specia
l
i
z
e
T
ypeStructu
r
e
'
s typ
e
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2015-10-15
D
w
ayne R
e
e
v
es
Che
c
k for rec
r
usive Tvars in Typing
_
subtype
.
sub_
s
tring
commit
|
commitdiff
|
tree
2015-10-14
Dw
a
yn
e
R
e
eves
Improve Typing of TypeStructure<T>
commit
|
commitdiff
|
tree
2015-10-09
Dwayne Ree
v
es
Add ty
p
e checke
r
support for typenam
e
<T>
commit
|
commitdiff
|
tree
2015-10-08
Dw
a
yne Reeves
Autoi
m
port
su
p
port in type ch
e
cker for type structure
.
.
.
commit
|
commitdiff
|
tree
2015-09-29
D
w
ayne
R
eeves
Prop
e
rly resolve generics
f
or type alias' type
structur
e
s
commit
|
commitdiff
|
tree
2015-09-28
Dwayne Re
e
ves
Add 'typename' as an AliasEntry in t
h
e
p
arser
commit
|
commitdiff
|
tree
2015-09-28
D
way
n
e
Reeves
Allo
w
typ
e
stru
c
ture to wor
k
w
i
th
t
ype al
i
ases
commit
|
commitdiff
|
tree
2015-09-21
Dwa
y
ne
Re
e
ves
pr
e
vent
try lo
a
d
i
n
g
HH\this a
s
a
n
alias
commit
|
commitdiff
|
tree
2015-09-18
Dwayne Reeves
Prese
r
ve nullable fie
l
d for type
s
tr
u
ctures with type
.
.
.
commit
|
commitdiff
|
tree
2015-09-16
Dwayne
R
eeves
Move TypeS
t
ruc
t
ure to HH namesp
a
ce
commit
|
commitdiff
|
tree
2015-08-15
Dwayne Reeves
Check Type Paramete
r
Co
n
strain
t
s on Declara
t
i
o
n Ty
p
es
commit
|
commitdiff
|
tree
2015-08-06
Dwa
y
ne Reeves
Do not allow int
e
rface to
d
ecla
r
e
p
artially
abstra
c
t
.
.
.
commit
|
commitdiff
|
tree
2015-07-29
Dwayne Reeves
P
roperly handle the 'this'
type
i
n
typ
e
consta
n
t
constra
i
nts
commit
|
commitdiff
|
tree
2015-07-25
Dwayne Re
e
v
es
Ma
k
e accessing
a
n abstract type con
s
t
a
nt an error
commit
|
commitdiff
|
tree
2015-07-22
D
w
ayne Reev
e
s
Check if abstract
final class
e
s contain a
b
stract members
commit
|
commitdiff
|
tree
2015-07-16
D
w
a
y
ne Ree
v
es
Clean u
p
c
omments for expression d
e
pen
d
e
n
t type tests
commit
|
commitdiff
|
tree
2015-07-11
Dwayn
e
Re
e
ves
Fix infinite
recursion in Typing_utils
.
simplified_uerr
o
r
commit
|
commitdiff
|
tree
2015-07-11
Dway
n
e Ree
v
es
P
rov
i
de bett
e
r t
y
pes
f
or builtins_f
i
nfo
.
hhi
a
nd builtins_int
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwa
y
ne
Reeve
s
Overhaul erro
r
m
e
ssages
in
v
ol
v
ing expression dependent
.
.
.
commit
|
commitdiff
|
tree
2015-07-11
Dwayne Reeve
s
Remove restriction o
n
the 't
h
is'
t
ype
commit
|
commitdiff
|
tree
2015-07-11
Dwayn
e
Reeves
M
ake 'this' type produce
an ex
p
ress
i
on
d
ependent
type
commit
|
commitdiff
|
tree
2015-07-10
Dwayn
e
Reeves
Cr
e
ate stable ex
p
ression dependent
types for local
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
Dwayne
R
e
eves
Intersect loc
a
l env w
h
en fa
l
ling throu
g
h a swit
c
h-ca
s
e
commit
|
commitdiff
|
tree
2015-07-09
Dwayne R
e
eves
Properly
han
d
le '
t
his' type for methods
commit
|
commitdiff
|
tree
2015-07-09
D
w
a
yn
e
R
eeves
Make 'new class_id()' produce expres
s
ion
dep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2015-07-09
D
w
ayn
e
Reeves
Make the expression
$
t
his a
d
e
pendent
t
y
pe
commit
|
commitdiff
|
tree
2015-07-09
D
wayne
Reeves
Support list a
s
sign
m
e
nt for T
a
bstract of a v
e
c
tor
commit
|
commitdiff
|
tree
2015-07-08
Dwa
y
ne Reeves
On
l
y Creat
e
Expressi
o
n
D
e
p
en
d
ent Types When Neces
s
ary
commit
|
commitdiff
|
tree
2015-06-29
Dwa
y
ne Reeve
s
Move expansi
o
n of Ta
c
c
ess
t
o T
y
ping_ph
a
se
.
localize
commit
|
commitdiff
|
tree
2015-06-29
Dwayne
R
e
eve
s
C
o
m
bine represe
n
t all kind
s
o
f
abstr
a
ct t
y
pes as Tabstract
.
.
.
commit
|
commitdiff
|
tree
2015-06-18
Dwayn
e
Re
e
v
e
s
Full
y
e
x
pand
typ
e
variables in Tgenerics
commit
|
commitdiff
|
tree
2015-06-12
Dwa
y
ne
Reeves
Make Typin
g
_insta
n
tiate
o
nly w
o
rk on decl ty
commit
|
commitdiff
|
tree
2015-06-11
Dw
a
yne Reeves
Mo
v
e fill
i
ng of type holes to Typing
_
p
h
ase
.
loca
l
ize
commit
|
commitdiff
|
tree
2015-06-09
Dwayne
Reeve
s
Allow anonymous
f
uncti
o
ns
t
o b
e
subt
y
p
e
s
of n
o
n-
a
nonym
o
us
.
.
.
commit
|
commitdiff
|
tree
2015-06-03
Dw
a
yne Reeves
M
o
v
e
i
nstantiatio
n
of function tparams to Ty
p
ing
_
ph
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2015-05-29
Dwayn
e
Re
e
ves
A
d
d a
d
diti
o
na
l
c
heck
s
for im
p
lementing
typ
e
constants
commit
|
commitdiff
|
tree
2015-05-19
D
wayn
e
Reeves
A
d
d support for Type
Consta
n
t
s
commit
|
commitdiff
|
tree
2015-05-19
D
w
ay
n
e
R
eeves
Fix bug
i
n Refle
c
tionType
C
onstant cons
t
ruc
t
or
commit
|
commitdiff
|
tree
2015-05-18
Dwayne Reeves
Support pa
t
hname pattern expansion i
n
c
onvert_h
a
ck_
t
es
t
_inpu
.
.
.
commit
|
commitdiff
|
tree
2015-05-08
Dwayne
Re
e
ves
A
d
d error for
ass
i
g
nin
g
t
o
$this
commit
|
commitdiff
|
tree
2015-05-07
Dwayn
e
Reeve
s
Move handling of "this"
t
ype into Typing_phase
.
localize
commit
|
commitdiff
|
tree
2015-04-29
Dwayne Re
e
ve
s
M
o
ve l
o
calize
logic into its own files
commit
|
commitdiff
|
tree
2015-04-27
Dw
a
yne Reeves
Move Expa
n
sio
n
of Typedefs into Localize
commit
|
commitdiff
|
tree
2015-04-22
D
wayne Reeves
Introduce
T
y
p
e "Phases"
B
y
Utili
z
ing GADTs
commit
|
commitdiff
|
tree
2015-04-17
Dwayn
e
Reeve
s
Don't u
s
e unpack
operator f
o
r Me
t
hCallerHelper if
t
here
.
.
.
commit
|
commitdiff
|
tree
2015-04-13
Dwayne Re
e
v
es
Consider T as X t
o
be subtype of X
i
n m
o
re cases
commit
|
commitdiff
|
tree
2015-04-13
Dwa
y
n
e
Reeves
Skip instantiation if there
i
s n
o
thing t
o
substi
t
ute
commit
|
commitdiff
|
tree
2015-04-03
Dwayn
e
Ree
v
es
Properly type met
h
_
caller() f
o
r
m
ethods w
i
t
h
par
a
meters
commit
|
commitdiff
|
tree
2015-04-03
Dwayne Ree
v
e
s
A
llow meth
_
ca
l
ler() to work for methods wit
h
parameters
commit
|
commitdiff
|
tree
2015-03-24
Dwayne Reeves
Forbid con
s
ta
n
ts from implementing a
b
stract type co
n
stants
commit
|
commitdiff
|
tree
2015-03-20
Dwayne Re
e
v
e
s
Add basic reflection
s
upport for ty
p
e constan
t
s
commit
|
commitdiff
|
tree
2015-03-12
Dwayn
e
Re
e
ve
s
B
l
ock Access of Ty
p
e Cons
t
ants at Runtime
commit
|
commitdiff
|
tree
2015-03-06
Dwayne
Ree
v
es
Add Con
s
tModifie
r
t
o AuxUn
i
on
commit
|
commitdiff
|
tree
2015-03-04
Dwayne
Reeves
Allow inheriting abstract constant
s
f
rom multiple ancestors
commit
|
commitdiff
|
tree
2015-02-26
Dwayne Reeves
Fill
type ho
l
e for c
l
ass_meth() calls
commit
|
commitdiff
|
tree
2015-02-26
Dwayne Reeves
Handle Tva
r
a
n
d Tu
n
res
o
lved for Taccess ex
p
ansio
n
commit
|
commitdiff
|
tree
2015-02-18
Dwayne
R
eeves
Loosen In
t
erface Method Incompat Checks for Type Co
n
s
tants
commit
|
commitdiff
|
tree
2015-02-10
Dw
a
yne Reeves
Fix Par
s
er Bug for
Ty
p
e Constant
commit
|
commitdiff
|
tree
2015-02-10
Dwayne
R
eeves
L
imit places wher
e
this::
T
ca
n
be used
commit
|
commitdiff
|
tree
2015-02-10
D
wayne Reeve
s
Improv
e
error messages for type constants
commit
|
commitdiff
|
tree
2015-02-09
Dw
a
y
n
e
Re
e
ve
s
A
l
l
ow Typ
e
consts to be Decl
a
red in Inter
f
aces
commit
|
commitdiff
|
tree
2015-02-04
Dwayne Reeve
s
E
liminate unsoundness of
'
this' references to typeconst
commit
|
commitdiff
|
tree
2015-01-29
Dway
n
e Reeves
Rew
o
rk Type Consts to not
use
type defs
commit
|
commitdiff
|
tree
2015-01-23
Dwayne Reeves
type
c
onstants: add parser
support
commit
|
commitdiff
|
tree
2015-01-22
D
w
ayne
Re
e
v
e
s
Finaliz
e
Type Cons
t
syn
t
ax
commit
|
commitdiff
|
tree
2014-12-13
Dwayne Reeves
Support
s
tat
i
c/sel
f
::
T
ype
C
onst access
commit
|
commitdiff
|
tree
2014-12-04
Dwayne
Reeves
Support for
d
ec
l
arat
i
ons and inheritance
commit
|
commitdiff
|
tree
2014-11-11
Dwa
y
ne R
e
eves
Remo
v
e wildca
r
d matc
h
ing of Typi
n
g_defs
.
ty
commit
|
commitdiff
|
tree
2014-09-15
Dwayne Reev
e
s
"array
k
ey" type
commit
|
commitdiff
|
tree
2014-09-12
Dwayne Reeves
Intr
o
duce arrayke
y
typ
e
commit
|
commitdiff
|
tree
2014-04-23
Dwayne
R
eeves
Make G
e
n
ReadApi cov
a
riant
commit
|
commitdiff
|
tree