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
Allow function pointer builtins in constant initializers
2019-09-17
Pier
r
e Oe
c
hsel
Save global_tvenv whe
n
done typec
h
eckin
g
each file
commit
|
commitdiff
|
tree
2019-09-17
Pierre Oechsel
Expand bounds
of global tyvars to remove d
e
p
e
n
dencies
.
.
.
commit
|
commitdiff
|
tree
2019-09-17
Pierre Oech
s
el
Prev
e
nt solving o
f
globa
l
type variabl
e
s
commit
|
commitdiff
|
tree
2019-09-13
Pierre Oechsel
Add codemod to infer m
i
s
s
ing
ty
p
e parameter an
n
otation
commit
|
commitdiff
|
tree
2019-09-13
P
ierr
e
Oechse
l
Create a fresh v
a
riable for
missing type
param
e
ters
commit
|
commitdiff
|
tree
2019-09-11
P
i
erre Oechsel
Create glo
b
a
l
tyvar du
r
ing decl
phase and reuse them
.
.
.
commit
|
commitdiff
|
tree
2019-08-30
Pierre Oechsel
M
a
ke `subtyping_method
`
interac
t
with `env`
commit
|
commitdiff
|
tree
2019-08-30
Pi
e
r
r
e Oechsel
Make Tvar
b
e both de
c
l
an
d
locl
commit
|
commitdiff
|
tree
2019-08-30
P
ierre Oechsel
Add a g
l
o
b
a
l_tvenv entry t
o
the e
n
v
commit
|
commitdiff
|
tree
2019-08-30
Pier
r
e Oe
c
hsel
Refacto
r
tyvar_info
t
o prepare for
g
lobal inference
commit
|
commitdiff
|
tree
2019-08-28
P
i
erre Oechsel
Extend infer
-
missing
o
ption with a new
p
ossible v
a
lu
e
commit
|
commitdiff
|
tree
2019-08-28
Pierre Oechsel
Add
c
odemod to infe
r
missing
p
arameter annot
a
tions
commit
|
commitdiff
|
tree
2019-08-27
Pie
r
re
Oechsel
Fix `is_acceptable`
in ser
v
erRewri
t
eRe
t
urnType codemod
commit
|
commitdiff
|
tree
2019-08-27
Pierre
Oec
h
sel
M
o
ve tast/global_
i
nference to tast/infer_missing
commit
|
commitdiff
|
tree
2019-08-19
Pierre Oechsel
Rename
--global-inference to --infer-missi
n
g and make
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Pierre Oec
h
sel
F
ill t
h
e
`
param
_
type_hint`
entry with t
h
e
inferred
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
P
i
erre
O
echsel
Add an entry to recor
d
the inferre
d
type fo
r
u
nan
n
otated
.
.
.
commit
|
commitdiff
|
tree
2019-08-19
Pierre Oechsel
Add codemod to in
f
er return types
commit
|
commitdiff
|
tree
2019-08-19
Pie
r
re O
e
chsel
R
efactor of
L
a
m
b
da
P
arameterType in Server
R
ew
r
i
te
L
a
mbdaParamet
e
rs
commit
|
commitdiff
|
tree
2019-08-08
Pierr
e
O
echsel
Su
p
port as
y
nc functions while generating fresh variable
.
.
.
commit
|
commitdiff
|
tree
2019-08-08
Pier
r
e
Oechsel
Add a `global_inference
`
entry to the hhconfig
commit
|
commitdiff
|
tree
2019-08-08
Pier
r
e
Oechsel
Replac
e
expr_annotation by a h
i
nt_annotation
i
n type_hint
commit
|
commitdiff
|
tree
2019-08-06
Pierre Oechs
e
l
Fix type_
h
int on function generated by pocket_unive
r
ses
commit
|
commitdiff
|
tree
2019-08-05
Pierre Oechsel
Fill type_hint st
r
ucture with t
h
e
infe
r
r
ed type when
.
.
.
commit
|
commitdiff
|
tree
2019-08-01
Pierre
O
echsel
Add
a
n
e
ntry
t
o reco
r
d the
inferred
t
y
p
e o
f
a fu
n
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2019-08-01
Pierr
e
Oech
s
e
l
G
ive type `
n
o
thing` to varia
b
les
i
n
deadco
d
e
commit
|
commitdiff
|
tree
2019-07-19
Pierre Oechs
e
l
Add a new
optio
n
t
o
use infe
r
ence re
s
ul
t
s in the typed
ast
commit
|
commitdiff
|
tree
2019-07-18
P
ie
r
re Oech
s
el
Improve ty
p
ing for `nor
e
tu
r
n
` ann
o
tated methods
.
commit
|
commitdiff
|
tree