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
Move "function call in lvalue" check from `typing.ml` to TAST check
2022-03-07
Catherine Gasnier
i
mpro
v
e error message and p
o
sition for "bad decl override
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherine Gasnier
I
m
p
r
ove posi
t
ions and wording of
"
me
t
h
o
d no
t
im
p
lem
e
nted
.
.
.
commit
|
commitdiff
|
tree
2022-03-04
Catherine Gas
n
ier
add hh_autoimport
.
mli + do
c
commit
|
commitdiff
|
tree
2022-03-04
Cath
e
rine Gasnier
w
ire th
e
Pos
.
t of a class'
p
aren
t
s down in Ty
p
ing_
e
xten
d
s
commit
|
commitdiff
|
tree
2022-03-01
Catherine Gasnier
Fix doc blocs
in Trait_re
u
se_che
c
k
commit
|
commitdiff
|
tree
2022-03-01
Catherine Gasnie
r
A few renamings in Typing_
e
xtends
commit
|
commitdiff
|
tree
2022-02-28
Cath
e
rine Gasnier
remo
v
e
T
y
ping_e
n
v
.
wrap_inferenc
e
_env_call
commit
|
commitdiff
|
tree
2022-02-26
Catherine Gasn
i
er
Remove calls to the Mea
s
ure
m
odule
i
n
Naming_h
e
ap
commit
|
commitdiff
|
tree
2022-02-24
Catherine Gasnier
remove fu
n
ct
i
on aast_t
o
_nast which does no
t
h
ing
commit
|
commitdiff
|
tree
2022-02-21
Catherine Gasnier
declutter Typing_env_from_def
.
clas
s
_env
commit
|
commitdiff
|
tree
2022-02-21
Catherine Gas
n
ier
make Rtype
c
onst take a lazy s
t
ring
commit
|
commitdiff
|
tree
2022-02-18
Catherine Gasnier
ma
k
e s
t
ring
i
n
R
t
yp
e
_
a
ccess lazy
commit
|
commitdiff
|
tree
2022-02-15
Catherine Gasn
i
er
reset type variable identifiers for eac
h
top-level
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Catherine Gasnier
factor out code about method return into helper
commit
|
commitdiff
|
tree
2022-01-31
Cather
i
ne Ga
s
n
i
er
Typi
n
g
_
subtype:
t
ak
e
some
f
u
n
ctions o
u
t of
b
i
g
r
ecur
s
ion
commit
|
commitdiff
|
tree
2022-01-31
Ca
t
herine Gasn
i
er
N
a
s
t
Ini
t
Check
.
clas
s
_ sh
o
uld
b
elon
g
to `class
_
wellformedness_
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catheri
n
e
Gasnier
r
e
m
o
ve
d
iagnostic
su
b
scription
c
ode
commit
|
commitdiff
|
tree
2022-01-28
Cath
e
rine
G
asni
e
r
r
emo
v
e flag s
t
r
eam_
e
rrors
commit
|
commitdiff
|
tree
2022-01-28
Catherin
e
Gasnier
removing stream_error
s
flag
:
re
m
o
ve br
a
nching on flag
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
r
emo
v
e Adhoc_profiler
commit
|
commitdiff
|
tree
2022-01-28
C
atherine Gasnie
r
create check_
c
lass_members helper
commit
|
commitdiff
|
tree
2022-01-28
Catherine Gasnier
furt
h
er break do
w
n `class_we
l
lformedness_chec
k
s
`
commit
|
commitdiff
|
tree
2022-01-28
Cath
e
rine Gasnier
h
e
lpers
f
o
r
class
w
ellformedness che
c
k
s
and class h
i
erarchy
.
.
.
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
asnie
r
add check
_
class_w
h
ere
_
c
o
ns
t
raint helper
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
asni
e
r
export seal
e
d
-re
l
ated logic into helper
commit
|
commitdiff
|
tree
2022-01-28
Catherine
G
asnier
Let Err
o
rs
.
t derive sho
w
for debugging
commit
|
commitdiff
|
tree
2022-01-28
Cather
i
ne
G
a
snie
r
Let ServerEnv
.
en
v
derive show
commit
|
commitdiff
|
tree
2022-01-27
Catherine G
a
snie
r
rename
a
nd document chec
k
_construct
o
r_dep
commit
|
commitdiff
|
tree
2022-01-26
Catherine Gasnier
clean-up co
d
e ch
e
cking overr
i
de keyword
commit
|
commitdiff
|
tree
2022-01-26
Ca
t
herine
G
a
snie
r
s
etup_
e
nv_for_class_def_
c
he
c
k helper
commit
|
commitdiff
|
tree
2022-01-24
Catheri
n
e Gasnie
r
s
implify
c
hecking
of multiple conc
r
e
te
d
ef
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2022-01-24
Catherine Gasnier
simplify
in
t
erface implem
e
ntation checking
commit
|
commitdiff
|
tree
2022-01-21
Cath
e
rine Gasnier
no
ne
e
d to check dynamically callable
for
members that
.
.
.
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasnier
B
r
eak down Typin
g
_extends
.
check_over
r
ide
commit
|
commitdiff
|
tree
2022-01-21
Catherine Gasnier
refactor
c
h
eck_override: remove p
a
rameter ignore_fun
_
return
commit
|
commitdiff
|
tree
2022-01-21
Cather
i
ne Gasnier
refactor ad
d
ing
depende
n
cy when calling
check_overri
d
e
commit
|
commitdiff
|
tree
2022-01-21
Cathe
r
ine Ga
s
nier
d
o
n
o
t check
overri
d
ing a syn
t
hesize
d
m
e
mb
e
r
commit
|
commitdiff
|
tree
2022-01-19
C
a
the
r
ine Gasni
e
r
refactor some common pr
i
vate + LSB logic
commit
|
commitdiff
|
tree
2022-01-19
Catherine
G
asnie
r
ma
k
e class element flags abs
t
r
act
commit
|
commitdiff
|
tree
2022-01-19
Catherine Gasnier
refactor class element fl
a
gs and add a pretty p
r
inter
commit
|
commitdiff
|
tree
2022-01-18
Catherine
G
as
n
i
e
r
fix
m
aster build
commit
|
commitdiff
|
tree
2022-01-18
Catherine Gasnier
remove
d
ea
d
code in Decl_env
commit
|
commitdiff
|
tree
2022-01-14
Ca
t
he
r
ine Gasnier
Let Typing
_
c
l
a
s
se
s
_heap
.
Api
.
t derive show
commit
|
commitdiff
|
tree
2022-01-13
Catherine Gas
n
ier
remo
v
e dea
d
parameter `che
c
k
_p
r
i
v
a
t
es`
commit
|
commitdiff
|
tree
2022-01-13
Catherine
Gasnier
un
i
on all p
a
rent
member
s
b
ef
o
re doing o
v
erride checks
commit
|
commitdiff
|
tree
2022-01-11
Cathe
r
ine Gas
n
ie
r
aggregat
e
redundan
t
k
e
ys from /p
r
oc/cpuinfo as a
h
i
s
tog
r
a
m
commit
|
commitdiff
|
tree
2022-01-06
C
a
therine Gasnier
remove
t
he multicach
e
in f
a
vor
o
f the frequen
c
y cache
commit
|
commitdiff
|
tree
2021-12-20
Catherine Gasnier
introduce HackEventLogger
.
PerFileProfi
l
ingConfi
g
.
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-16
C
a
t
herin
e
Gasnier
var
i
ous refactorings about
memb
e
r "source" / kind
commit
|
commitdiff
|
tree
2021-12-15
Catherine Gasnier
defunctionalize part of
T
yping_extends
commit
|
commitdiff
|
tree
2021-12-15
C
atherine G
a
snier
r
e
name
p
ar
a
ms of Err
o
rs
.
try_when
commit
|
commitdiff
|
tree
2021-12-15
C
a
t
heri
n
e Gasnier
r
e
fact
o
r
a
nd
e
xpo
r
t
i
nternal function d
o
ing method
.
.
.
commit
|
commitdiff
|
tree
2021-12-15
Cat
h
erine Gasn
i
er
use enu
m
ins
t
ead of polymor
p
hic variant for m
e
mber
.
.
.
commit
|
commitdiff
|
tree
2021-12-14
C
a
t
herine Gasnie
r
`--p
r
ofil
e
-log` acts as `--co
n
f
ig profile_l
o
g=
t
ru
e
`
commit
|
commitdiff
|
tree
2021-12-14
Ca
t
herine Gasnier
avoid transforma
t
io
n
to
S
e
q
uence
.
t the
n
back
t
o
list
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gas
n
ier
D
o
not dump per-f
i
le profiles in log
s
commit
|
commitdiff
|
tree
2021-12-06
Catherine Gasni
e
r
break
d
own Typing_
e
xtends
.
ch
e
c
k
_members
commit
|
commitdiff
|
tree
2021-12-06
C
atherine Ga
s
nier
remove useless returning of
clas
s
name
commit
|
commitdiff
|
tree
2021-12-06
Cather
i
ne Gasnier
getti
n
g and adding cla
s
s from heap should be done by
.
.
.
commit
|
commitdiff
|
tree
2021-11-24
Catherine Gasni
e
r
add a config
file flag
e
quiva
l
e
n
t for --profile-log
commit
|
commitdiff
|
tree
2021-11-23
Catherine Gasn
i
er
Decl_folded_class:
p
ull st
u
ff out of the big recursion
commit
|
commitdiff
|
tree
2021-11-15
C
a
ther
i
n
e Gasnier
move BloomFilter
i
nto i
t
s own libra
r
y
commit
|
commitdiff
|
tree
2021-11-15
Cat
h
e
r
in
e
Gasnie
r
move deferred_decl in
t
o
i
t
s
own l
i
b
r
ary
commit
|
commitdiff
|
tree
2021-11-15
C
atherine Ga
s
n
i
e
r
r
e
org
a
nize modules
into typing_t
o
plevel, typing_wellformedne
.
.
.
commit
|
commitdiff
|
tree
2021-11-15
Cat
h
e
r
ine
G
a
sn
i
e
r
remove some u
n
necessary depend
e
ncies on
typing_misc
commit
|
commitdiff
|
tree
2021-11-15
C
a
th
e
ri
n
e
Gasnier
sepa
r
a
t
e
nast_visitor library
commit
|
commitdiff
|
tree
2021-11-15
Catherine Gasnier
separat
e
module tas
t
_env
commit
|
commitdiff
|
tree
2021-11-11
Cathe
r
ine Gas
n
ier
s
eparate library for typing_global_inf
e
rence
commit
|
commitdiff
|
tree
2021-11-11
Cath
e
r
ine Gasnier
wel
l
formedne
s
s checks in separate l
i
brary
commit
|
commitdiff
|
tree
2021-11-10
Cathe
r
ine Gasnier
move certain modules out of typi
n
g
_
a
lgebra int
o
their
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Catheri
n
e Gasn
i
er
sepa
r
ate typing_utils librar
y
commit
|
commitdiff
|
tree
2021-11-10
Cather
i
ne Gasn
i
er
separate librar
y
for type_m
a
pper
commit
|
commitdiff
|
tree
2021-11-10
Catherine
Gasnier
s
e
p
a
rate librar
y
for core typing operations
commit
|
commitdiff
|
tree
2021-11-09
Cath
e
rine G
a
snier
a
d
apt
OCAML_
L
ANDMARKS fo
r
w
orker processes
commit
|
commitdiff
|
tree
2021-11-09
Catherine
G
a
snier
r
e
m
o
ve dangling mli
commit
|
commitdiff
|
tree
2021-11-09
Catherine
Ga
s
nier
sepa
r
a
te libr
a
r
y
t
yping_env
commit
|
commitdiff
|
tree
2021-11-09
Catherine G
a
sn
i
e
r
sep
a
rat
e
t
y
p
ing_
e
nv_
t
ype
s
library
commit
|
commitdiff
|
tree
2021-11-04
Catherine Gasni
e
r
remove f
l
ag
a
b
o
ut
nu
m
ber of
t
i
me
s
to d
e
f
e
r
commit
|
commitdiff
|
tree
2021-11-03
Cather
i
ne Gasn
i
e
r
remove flag deferments_l
i
ght
commit
|
commitdiff
|
tree
2021-11-03
C
atherine Gasn
i
er
r
e
factor hphp/hack/tes
t
/typeche
c
k
/dune and add target
.
.
.
commit
|
commitdiff
|
tree
2021-11-03
Catherine Gasnier
add landmarks to opam
commit
|
commitdiff
|
tree
2021-10-27
C
at
h
erine Gasnie
r
simplify Deferred_decl API
commit
|
commitdiff
|
tree
2021-10-14
Ca
t
herine G
a
snier
f
ix bug
i
n d
e
ferme
n
ts w
i
th interrupted t
y
pechec
k
ing
commit
|
commitdiff
|
tree
2021-10-06
Catherine Ga
s
nier
imp
l
eme
n
t `worklo
a
d_quantile` opti
o
n
commit
|
commitdiff
|
tree
2021-10-01
Catherine Gasnier
Sto
p
t
ypechecking when r
e
aching threshold
commit
|
commitdiff
|
tree
2021-10-01
Cathe
r
ine Ga
s
nier
fix
t
y
po in
s
erver local config lo
g
i
c
commit
|
commitdiff
|
tree
2021-09-28
Catherine Gasnier
Fi
x
t
y
po in config wi
r
ing
commit
|
commitdiff
|
tree
2021-09-16
Ca
t
herine G
a
sn
i
er
add rollout fla
g
de
f
e
r
e
ments_light
commit
|
commitdiff
|
tree
2021-09-13
C
a
theri
n
e Gasni
e
r
clean up unused T
y
ping_
e
nv
.
p
r
int_siz
e
fu
n
ction
commit
|
commitdiff
|
tree
2021-09-02
Catherin
e
Gasnier
ad-hoc profiler
:
s
u
btract pr
o
filing
t
i
m
e
commit
|
commitdiff
|
tree
2021-09-01
Cathe
r
ine Gasnier
A
dho
c
p
r
o
f
i
l
er: do not profile beyond a cert
a
in stack
.
.
.
commit
|
commitdiff
|
tree
2021-09-01
Catherine Gas
n
ier
log adhoc profili
n
g in
f
o
commit
|
commitdiff
|
tree
2021-09-01
C
at
h
erine
G
asnier
Ad-hoc profiler
commit
|
commitdiff
|
tree
2021-08-27
Catherin
e
Gasnier
deprecate env
.
ServerEnv
.
per
s
istent_client
i
n
f
avor
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Catherine Gasni
e
r
Typing_check_service
.
go
r
eturns record instead of
l
a
r
ge
.
.
.
commit
|
commitdiff
|
tree
2021-08-05
Cat
h
erine G
a
snier
simp
l
ify L
S
Ta
b
le
.
get
commit
|
commitdiff
|
tree
2021-07-29
Catherine Gasnier
additio
n
al unit te
s
t
commit
|
commitdiff
|
tree
2021-07-29
Catherin
e
G
a
snier
introduc
e
tim
e
to first
error metrics
commit
|
commitdiff
|
tree
2021-07-28
C
a
t
h
erine
Gasnier
Refactor rech
e
ck
loop s
t
at
s
u
p
dating into h
e
lper func
t
ion
commit
|
commitdiff
|
tree
2021-07-28
Catherine G
a
s
n
ier
R
efactor ServerTypecheck
.
check_kind into
its own
mod
u
le
.
.
.
commit
|
commitdiff
|
tree
next