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
Port HHBC unique_list from OCaml to Rust
2019-09-13
Pierr
e
O
e
chsel
Add c
o
de
m
od
to infer missing type parameter annotat
i
o
n
commit
|
commitdiff
|
tree
2019-09-13
Pierre Oechsel
Create a fresh v
a
riable for mis
s
ing type param
e
ters
commit
|
commitdiff
|
tree
2019-09-11
Pi
e
rre Oe
c
hsel
C
r
e
ate
g
lobal tyvar during
d
e
cl
p
hase
a
nd
reuse
t
h
e
m
.
.
.
commit
|
commitdiff
|
tree
2019-08-30
Pi
e
rr
e
Oe
c
hse
l
Make
`subtyping_metho
d
`
interact with `env`
commit
|
commitdiff
|
tree
2019-08-30
P
ie
r
r
e
Oechse
l
M
a
ke Tvar be both dec
l
and l
o
cl
commit
|
commitdiff
|
tree
2019-08-30
P
ierr
e
Oechsel
Add a g
l
obal
_
tv
e
nv entry to t
h
e
e
nv
commit
|
commitdiff
|
tree
2019-08-30
P
i
erre Oechs
e
l
R
e
factor tyv
a
r_i
n
fo to
p
repare for global inference
commit
|
commitdiff
|
tree
2019-08-28
Pi
e
r
re Oechse
l
Exte
n
d infer-missing op
t
ion wit
h
a
n
e
w po
s
sible v
a
lue
commit
|
commitdiff
|
tree
2019-08-28
Pier
r
e Oechsel
Add codemod to
inf
e
r missing param
e
ter annotati
o
ns
commit
|
commitdiff
|
tree
2019-08-27
P
i
erre Oechsel
Fix `is_a
c
cep
t
able` in s
e
rverRewriteReturn
T
y
p
e codem
o
d
commit
|
commitdiff
|
tree
2019-08-27
Pie
r
re Oe
c
h
s
el
Move tast/
g
l
obal_infe
r
ence to tas
t
/infer
_
missing
commit
|
commitdiff
|
tree
2019-08-19
Pierre Oechsel
Rename --gl
o
ba
l
-in
f
erence to --i
n
fer-missing
a
n
d
m
a
ke
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Pierre Oechsel
Fill the
`para
m
_type_h
i
nt` ent
r
y wi
t
h the inferr
e
d
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Pi
e
rre Oechsel
Add a
n
entry to
r
ecord the inferre
d
type for unannotated
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Pier
r
e
O
echsel
Add
c
odemod to
i
n
fe
r
return t
y
pes
commit
|
commitdiff
|
tree
2019-08-19
Pierr
e
Oechsel
R
ef
a
ctor
of LambdaParamet
e
rType in ServerRewri
t
e
LambdaParameters
commit
|
commitdiff
|
tree
2019-08-08
Pierre Oechsel
Su
p
por
t
async functions
while generati
n
g
fre
s
h variable
.
.
.
commit
|
commitdiff
|
tree
2019-08-08
Pierre
O
e
c
hsel
Add a `global_inference
`
entry to
the
hhc
o
nfig
commit
|
commitdiff
|
tree
2019-08-08
P
i
erre
Oechsel
Replace
e
xpr
_
annotation
b
y a hi
n
t_ann
o
tation i
n
type_hint
commit
|
commitdiff
|
tree
2019-08-06
Pierre Oechsel
F
i
x ty
p
e_hint on functi
o
n g
e
n
e
rated by p
o
ck
e
t_
u
nive
r
ses
commit
|
commitdiff
|
tree
2019-08-05
P
ier
r
e Oechsel
Fill ty
p
e_hint
s
tructure w
i
th the infe
r
red type
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-01
Pi
e
rre Oechsel
Add an
entry
to
r
ec
o
rd the
infer
r
ed t
y
pe
of a function
.
.
.
commit
|
commitdiff
|
tree
2019-08-01
Pierre Oechs
e
l
G
i
ve type `nothing` t
o
variables in deadcode
commit
|
commitdiff
|
tree
2019-07-19
Pierre Oech
s
el
Add a new optio
n
to use inference results in the t
y
p
e
d ast
commit
|
commitdiff
|
tree
2019-07-18
Pie
r
re Oechsel
I
mprove typing for `noreturn
`
ann
o
ta
t
ed metho
d
s
.
commit
|
commitdiff
|
tree