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
use an array instead of map for counters
2020-10-02
Hrutvik Kanabar
Refact
o
r `Typing_subtype` to m
a
ke
`
default_subtype
.
.
.
commit
|
commitdiff
|
tree
2020-10-02
Hrutv
i
k
K
anabar
Untangl
e
`Typing_object_get` and make its nullsafe
.
.
.
commit
|
commitdiff
|
tree
2020-09-23
Hrutvik Kanaba
r
A
d
d o
p
t-out for e
x
plici
t
gene
r
ics check fo
r
s
ta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2020-09-23
H
r
utvik Kanabar
T
ypeche
c
k function
c
alls
using
subtyping of function
.
.
.
commit
|
commitdiff
|
tree
2020-09-18
Hrutvik Kanabar
F
i
x some comments
commit
|
commitdiff
|
tree
2020-09-17
Hrutvik Kanabar
Use su
b
typing to t
y
pecheck dispa
t
ch
c
alls for instance
.
.
.
commit
|
commitdiff
|
tree
2020-09-16
Hrutvik K
a
n
a
bar
Clean up snippets of s
u
b
t
y
ping code
commit
|
commitdiff
|
tree
2020-09-16
Hrutvik
K
anabar
Upda
t
e some
tests after `
c
all_
u
se
r
_func` d
e
precation
commit
|
commitdiff
|
tree
2020-09-14
Hrutvik Kan
a
bar
A
ug
m
en
t
`T
h
a
s
_m
e
mber` wi
t
h
`
expli
c
it_targ
s
` field
commit
|
commitdiff
|
tree
2020-09-14
H
r
utvik
Kanabar
A
d
d a
n
entrypoint to
`
Typing
_
solver`
commit
|
commitdiff
|
tree
2020-09-14
Hrutvik Kan
a
b
a
r
Move explicit generics TAS
T
check to localisati
o
n
commit
|
commitdiff
|
tree
2020-09-11
Hrutvik
Kanabar
Remove unneccesary ind
i
r
ect
i
on in `Typing
.
ca
l
l`
commit
|
commitdiff
|
tree
2020-09-09
Hr
u
tvik K
a
nabar
Depreca
t
e
`
call_user_fu
n
c
`
commit
|
commitdiff
|
tree
2020-08-21
Hrutvik Kanabar
A
d
d missi
n
g calls
t
o
`expand_type`
i
n TAST ch
e
cks
commit
|
commitdiff
|
tree
2020-08-21
Hrutvik Kanabar
E
nsure
typing
e
nvironmen
t
is
n
ot
dropped
during subtyping
commit
|
commitdiff
|
tree
2020-08-11
Hr
u
tvik
Kanabar
Mod
i
fy subt
y
p
ing for shapes i
n
c
a
se of u
n
d
e
fined
fiel
d
s
commit
|
commitdiff
|
tree
2020-08-04
Hrutv
i
k Kan
a
bar
A
d
d fl
a
g to
gate method call inference c
o
nstrai
n
ts
commit
|
commitdiff
|
tree