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
Kill debugger's usage of pseudomains and varenv
2020-07-22
And
r
e
w Kennedy
Fix
p
o
si
t
ion for missing type cons
t
member
on type
commit
|
commitdiff
|
tree
2020-07-22
A
n
drew Kenned
y
Rename nastCheck
m
odule
commit
|
commitdiff
|
tree
2020-07-09
Andrew Kenned
y
Check tra
i
t use for
constraint s
a
tisf
a
cti
o
n
commit
|
commitdiff
|
tree
2020-07-06
Andrew Ken
n
edy
Fix
unsou
n
dness
in overriding of generi
c
method
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2020-07-02
Andrew
Kennedy
R
e
move some
u
ses of the H
a
shtb
l
.
find API in
d
ecl heap
commit
|
commitdiff
|
tree
2020-07-01
Andrew Kennedy
R
emove red
u
ndant generics
from Shapes
m
e
thods
commit
|
commitdiff
|
tree
2020-07-01
Andrew Kenned
y
Fix
S
hapes
:
:
r
emoveKey q
u
a
dratic blowup
commit
|
commitdiff
|
tree
2020-06-19
A
ndrew
K
e
nnedy
R
e
factor su
b
typ
e
_method
commit
|
commitdiff
|
tree
2020-06-19
A
n
d
rew K
e
nnedy
Clean up initialization of ge
n
eric pa
r
a
meters and constrai
n
t
s
commit
|
commitdiff
|
tree
2020-06-16
Andrew Kenne
d
y
Remove another use of reason info
commit
|
commitdiff
|
tree
2020-06-13
Andrew Kennedy
R
e
move redundant code from loc
a
lize_ft
commit
|
commitdiff
|
tree
2020-06-11
Andr
e
w Kennedy
Add new
option stdin-name to
specify f
i
lena
m
e
u
sed
.
.
.
commit
|
commitdiff
|
tree
2020-06-04
Andrew Ke
n
ne
d
y
M
ove e
r
ror
h
and
l
in
g
from decl_hin
t
t
o NAST ch
e
ck
commit
|
commitdiff
|
tree
2020-06-03
Andrew Kennedy
Do no
t
tri
g
ge
r
errors a
n
d then s
i
lence t
h
e
m
when c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2020-06-03
And
r
ew Kenned
y
Avo
i
d us
e
of
g
e
t_reason for type checking
commit
|
commitdiff
|
tree
2020-06-01
A
ndrew Kenned
y
Remove redundant check for const
r
aint
satisfac
t
ion
.
.
.
commit
|
commitdiff
|
tree
2020-05-29
An
d
rew
Kenn
e
d
y
Recursive type errors
should n
o
t be obscure
d
by tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2020-05-28
Andrew K
e
nnedy
Detec
t
errors with out-
o
f-def
i
nition primary positio
n
s
commit
|
commitdiff
|
tree
2020-05-28
A
ndrew Kennedy
Mo
v
e check for missing type hint on
class con
s
tants
.
.
.
commit
|
commitdiff
|
tree
2020-05-20
Andrew Kenne
d
y
Fix ba
d
position for fail
u
re to sa
t
isfy where constraint
.
.
.
commit
|
commitdiff
|
tree
2020-05-15
Andrew
K
enn
e
dy
Remove string m
a
t
c
hi
n
g for hhi
exte
n
sio
n
commit
|
commitdiff
|
tree
2020-05-14
Andrew Kennedy
Do no
t
re
p
ort unbound na
m
e errors w
h
e
n expa
n
ding
t
ype
.
.
.
commit
|
commitdiff
|
tree
2020-05-14
Andre
w
Kennedy
D
o not
r
epo
r
t
d
u
pl
i
cate errors fo
r
inherited
type constants
commit
|
commitdiff
|
tree
2020-05-12
Andrew Kenne
d
y
Fix
b
ad p
o
s
ition bugs in trait us
a
ge
commit
|
commitdiff
|
tree
2020-05-12
Andrew Kennedy
F
i
x erro
r
f
o
r const
o
verriding s
o
tha
t
o
v
erriding
pro
p
ert
y
.
.
.
commit
|
commitdiff
|
tree
2020-05-12
Andrew Kenned
y
Do not rep
o
rt duplicate
c
yclic
defin
i
tion e
r
ror
s
due
.
.
.
commit
|
commitdiff
|
tree
2020-05-07
Andrew K
e
nnedy
D
o
n
ot recheck i
n
herit
e
d type constants for enforceability
commit
|
commitdiff
|
tree
2020-05-05
Andrew Kenn
e
dy
Bad position for err
o
r relating to dynamic pr
o
p
e
rty
.
.
.
commit
|
commitdiff
|
tree
2020-05-01
Andrew Kenn
e
dy
Do not che
c
k wrong clas
s
when
t
he
r
e
are
dupl
i
c
ate defin
i
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2020-04-30
Andrew
Kennedy
Fix
a
r
r
ay refin
e
ment b
u
g
commit
|
commitdiff
|
tree
2020-04-30
Andr
e
w
Kennedy
Remove f
t
_arity (part 1)
commit
|
commitdiff
|
tree
2020-04-23
A
n
drew K
e
nnedy
Propagate variance information to
b
o
u
n
d
s on type parame
t
er
s
commit
|
commitdiff
|
tree
2020-04-20
Andrew Kennedy
Uni
f
y decl and
locl type representa
t
ion of array
s
commit
|
commitdiff
|
tree
2020-04-17
Andr
e
w
K
ennedy
Add test har
n
e
s
s for
h
h_check
commit
|
commitdiff
|
tree
2020-04-17
An
d
rew
Kenn
e
d
y
Ad
d
tast
o
p
t
ion to hh_c
h
eck
commit
|
commitdiff
|
tree
2020-04-14
Andrew
K
ennedy
Re
p
lace F
e
ll
i
psi
s
b
y
use o
f
Fva
r
iadic
commit
|
commitdiff
|
tree
2020-04-14
An
d
r
ew Ken
n
e
dy
Small changes t
o
m
ake T
A
ST output comp
a
tible
commit
|
commitdiff
|
tree
2020-04-09
A
n
drew Kennedy
A
v
o
i
d redun
d
ant get_class in expand_type
c
onst
commit
|
commitdiff
|
tree
2020-04-09
Andrew Ken
n
e
d
y
A
d
d
defini
t
ion sit
e
pos
i
tion to cyc
l
ic typedef error
commit
|
commitdiff
|
tree
2020-04-09
Andrew Kennedy
Replace use of b
o
ols in decl
element by bitwise
f
lags
commit
|
commitdiff
|
tree
2020-04-09
An
d
r
e
w
K
enn
e
d
y
Replace us
e
of
bools in
p
ara
m
b
y bitwise
flags
commit
|
commitdiff
|
tree
2020-04-07
Andrew Kenn
e
d
y
Wra
p
un
p
ac
k
err
o
r
s
u
sing
on_error
commit
|
commitdiff
|
tree
2020-04-07
A
nd
r
ew Ke
n
nedy
Implement
t
ransitive inheritance in subtyping
commit
|
commitdiff
|
tree
2020-04-03
Andrew
K
ennedy
Stre
n
gthen redun
d
ant gen
e
ri
c
s ch
e
ck to
a type che
c
k
er
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
Move xhp_attr i
n
t
o
c
e
_flags
commit
|
commitdiff
|
tree
2020-04-02
Andrew Kennedy
Replace use of
b
ools in class element
b
y bitwise flags
commit
|
commitdiff
|
tree
2020-04-02
A
ndrew Kennedy
Remove max
a
r
ity in
ft_arity, use List
.
l
e
n
gth fp_p
a
ra
m
s
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Andr
e
w Kennedy
R
eplace
use of
boo
l
s etc i
n
fun_type by bitw
i
s
e
flags
commit
|
commitdiff
|
tree
2020-04-01
Andrew K
e
nnedy
F
ix infinite
loop in is_enforce
a
b
le
commit
|
commitdiff
|
tree
2020-03-31
Andr
e
w
Kennedy
Avoid calls to get_cl
a
ss w
h
ere possible
commit
|
commitdiff
|
tree
2020-03-30
A
n
drew Kenne
d
y
U
se naming
c
onve
n
tion to de
t
ermine varian
c
e
o
f gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2020-03-30
Andrew Ken
n
ed
y
I
mple
m
ent inh
e
ritance in subtyping
commit
|
commitdiff
|
tree
2020-03-30
Andrew Kennedy
I
n
itial
implementation of subt
y
ping, return st
a
teme
n
t
commit
|
commitdiff
|
tree
2020-03-20
A
ndrew Kennedy
Kill A
K
empty
arr
a
y type
commit
|
commitdiff
|
tree
2020-03-10
A
ndrew
Kennedy
All
o
cate subtype
propositions in the arena
commit
|
commitdiff
|
tree
2020-03-10
Andrew Kennedy
Auxiliary
functions on
types
commit
|
commitdiff
|
tree
2020-03-06
Andrew Kennedy
F
i
x posi
t
i
o
n bug
commit
|
commitdiff
|
tree
2020-03-05
An
d
rew
Kenn
e
dy
C
leanup after opaque ty cha
n
ge
commit
|
commitdiff
|
tree
2020-03-05
Andrew Kenn
e
dy
Extend Type
B
uilder with class
e
s and well-known
types
commit
|
commitdiff
|
tree
2020-03-04
Andrew K
e
nnedy
Move meth
o
d_def out of
t
yping
.
ml
commit
|
commitdiff
|
tree
2020-03-03
Andrew Kenn
e
dy
F
irst sta
b
at h
h
_check
commit
|
commitdiff
|
tree
2020-03-03
A
n
d
r
ew Kenne
d
y
Mo
v
e more code out of
typing
.
ml
commit
|
commitdiff
|
tree
2020-03-03
Andrew Kennedy
Split typing
.
m
l into multiple modules
commit
|
commitdiff
|
tree
2020-02-24
Andrew Kennedy
Refactor continua
t
ions
map to a
s
sist
Ru
s
t o
x
idize
commit
|
commitdiff
|
tree
2020-02-19
Andrew K
e
nned
y
Remove Tnothing d
e
cl type
commit
|
commitdiff
|
tree
2020-02-12
Andrew
Ken
n
edy
En
a
b
le ne
w
_inference_lambda by default, remove al
l
.
.
.
commit
|
commitdiff
|
tree
2020-02-04
A
n
dr
e
w Kennedy
Avoid
R
eason
.
to_
p
os in validate ty
p
e
commit
|
commitdiff
|
tree
2020-01-29
Andrew
Kennedy
Avo
i
d acce
s
sing reason on
type
commit
|
commitdiff
|
tree
2020-01-29
And
r
e
w
K
enne
d
y
In
inheritance check
s
g
et positions d
i
rectly from class
.
.
.
commit
|
commitdiff
|
tree
2020-01-24
Andrew Kennedy
Fix bad
position bug
commit
|
commitdiff
|
tree
2020-01-23
Andre
w
K
e
nnedy
Fix build br
e
ak
commit
|
commitdiff
|
tree
2020-01-23
Andrew Ken
n
e
dy
Actually m
a
ke ty and constrai
n
t_
t
y
pe opaque
commit
|
commitdiff
|
tree
2020-01-23
Andre
w
Ke
n
nedy
M
ake ty opaq
u
e in
T
ypin
g
_defs (part 13)
commit
|
commitdiff
|
tree
2020-01-23
Andrew K
e
nnedy
Make ty opaque
i
n Ty
p
ing_
d
efs (part 12)
commit
|
commitdiff
|
tree
2020-01-23
A
ndrew Kennedy
M
a
ke t
y
opaque in Typing_defs (part 1
1
)
commit
|
commitdiff
|
tree
2020-01-21
Andre
w
Kenned
y
Make ty opaque
in
T
yp
i
ng_defs (part 10)
commit
|
commitdiff
|
tree
2020-01-20
A
ndrew Kenn
e
dy
Make ty opaque in T
y
ping_
d
ef
s
(part 9)
commit
|
commitdiff
|
tree
2020-01-20
A
nd
r
ew Ken
n
edy
Make ty op
a
qu
e
in Typing_defs (part 8)
commit
|
commitdiff
|
tree
2020-01-20
A
n
drew Kennedy
Make ty opa
q
ue in Typing_
d
efs (part 7)
commit
|
commitdiff
|
tree
2020-01-20
A
ndr
e
w Kennedy
Make ty o
p
aque in T
y
ping_defs (part
6
)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Ken
n
edy
Ma
k
e ty
o
paque in
T
yping_defs (part 5)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Kennedy
Make ty op
a
que i
n
T
yping_defs (par
t
4)
commit
|
commitdiff
|
tree
2020-01-20
Andrew Kennedy
Ma
k
e ty opaque in T
y
ping_defs (part 3)
commit
|
commitdiff
|
tree
2020-01-16
A
ndre
w
Ke
n
nedy
M
ak
e
ty opaque in
Typi
n
g_d
e
fs
(
p
art 1)
commit
|
commitdiff
|
tree
2020-01-05
Andrew Kennedy
Ad
d
o
n
_
e
rror to ety_
e
nv
e
nvironment
commit
|
commitdiff
|
tree
2019-12-18
Andrew Kennedy
Return type for hh pseudo functi
o
ns sh
o
uld be v
o
id
commit
|
commitdiff
|
tree
2019-12-06
Andrew Kennedy
End fix
e
d po
i
nt
i
tera
t
ion early if we rea
c
h a fixed
.
.
.
commit
|
commitdiff
|
tree
2019-12-05
Andrew Kennedy
Remov
e
unnecessary use of
Errors
.
t
ry
commit
|
commitdiff
|
tree
2019-11-28
A
n
d
r
ew
K
ennedy
Remove
some u
s
es of Errors
.
try (
5
)
commit
|
commitdiff
|
tree
2019-11-28
Andrew
Ken
n
edy
Re
m
ove use
o
f Errors
.
try in coer
c
ion pro
c
essing
commit
|
commitdiff
|
tree
2019-11-27
Andre
w
Kenne
d
y
Remove anoth
e
r
u
s
e
of Err
o
rs
.
try
commit
|
commitdiff
|
tree
2019-11-27
Andrew
Kennedy
Remo
v
e Errors
.
try_add_err
commit
|
commitdiff
|
tree
2019-11-27
Andrew Kennedy
Report type cons
t
subsumption error
at use
site
commit
|
commitdiff
|
tree
2019-11-21
Andrew Kennedy
Remove some u
s
es of
E
r
r
o
rs
.
try (2)
commit
|
commitdiff
|
tree
2019-11-21
A
ndrew Kennedy
Remove s
o
me uses
of Erro
r
s
.
try (3)
commit
|
commitdiff
|
tree
2019-11-21
Andr
e
w Kenned
y
Remove uses of
t
ry_add
_
e
rr
commit
|
commitdiff
|
tree
2019-11-19
An
d
rew Kennedy
Remove some
uses
of Errors
.
try (4)
commit
|
commitdiff
|
tree
2019-11-08
And
r
ew Kennedy
R
e
mov
e
final u
s
e
s
of
i
s_sub_typ
e
_LEGACY_
D
EPRECATED
commit
|
commitdiff
|
tree
2019-11-08
A
ndrew Kennedy
R
e
move more uses
o
f is_sub_type_L
E
G
ACY_DEPRECATED
commit
|
commitdiff
|
tree
2019-11-07
An
d
rew Kenn
e
dy
Put
s
ubtype_prop helpers in separate
m
odule
commit
|
commitdiff
|
tree
next