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
fix miss-match "vec" vs "HH\vec"
2020-04-30
Vincent Siles
f
ix mi
s
s-match "vec" vs "HH
\
v
e
c"
commit
|
commitdiff
|
tree
2020-04-21
Vincent Siles
using Hh_pre
l
u
d
e in src/providers
commit
|
commitdiff
|
tree
2020-04-21
Vincent Sil
e
s
U
s
i
ng Hh_prelu
d
e in
sr
c
/procs
commit
|
commitdiff
|
tree
2020-04-21
Vincent Siles
A
d
d H
h
_p
r
elude to
src/naming
commit
|
commitdiff
|
tree
2020-04-21
Vinc
e
nt S
i
les
Use a visitor to c
h
eck
existanc
e
o
f
PU
commit
|
commitdiff
|
tree
2020-04-17
Vincent
Siles
Replacing
`
$
me
m
bers
`
g
e
nerat
i
o
n wi
t
h re
f
lection/c
a
c
h
e
commit
|
commitdiff
|
tree
2020-04-17
Vinc
e
n
t Siles
Upda
t
i
n
g `Members
`
to u
s
e
`keyset` inst
e
ad
o
f `v
e
c
.
.
.
commit
|
commitdiff
|
tree
2020-04-17
V
i
ncent Siles
move PU translation
outside o
f
`emit`
commit
|
commitdiff
|
tree
2020-04-16
Vin
c
e
n
t
Siles
Make PU loc
a
l
i
zation
m
o
r
e precise
commit
|
commitdiff
|
tree
2020-04-15
V
i
n
cent Siles
adding mi
s
sin
g
dun
e
fil
e
commit
|
commitdiff
|
tree
2020-04-15
V
i
nc
e
nt Siles
Add
the
s
upport for user attri
b
ut
e
s
on PU
commit
|
commitdiff
|
tree
2020-04-15
Vince
n
t Siles
Adding
Hh_
p
relude in src
/
hackfmt
commit
|
commitdiff
|
tree
2020-04-14
Vincent Siles
Clean PU pa
r
s
i
ng code
commit
|
commitdiff
|
tree
2020-04-11
Vin
c
ent S
i
les
format
the
P
U test d
i
rectory
commit
|
commitdiff
|
tree
2020-04-11
Vincent S
i
l
e
s
Ad
d
a new l
i
ne after a PU en
u
m
b
lock
commit
|
commitdiff
|
tree
2020-04-10
Vincent Siles
re
m
ove
p
olymorphic equality fro
m
s
r
c
/naming
commit
|
commitdiff
|
tree
2020-04-10
Vincent Siles
r
e
mo
v
e polymorp
h
ic eq
u
a
l
ity from src/uti
l
s
commit
|
commitdiff
|
tree
2020-04-09
Vincen
t
Siles
remove
polymorphic equali
t
y f
r
om src/err
o
rs
commit
|
commitdiff
|
tree
2020-04-09
Vin
c
ent Siles
r
emov
e
polymorphic equality
from sr
c
/cl
i
ent
commit
|
commitdiff
|
tree
2020-04-09
Vincent S
i
les
upda
t
e H
h
_prelud
e
to
m
a
tch r
e
cent
v
ers
i
on of Core_kernel
commit
|
commitdiff
|
tree
2020-04-07
Vincent
S
iles
allow i
n
s
t
a
lling ocaml-variants compile
r
w
ith
o
pa
m
.
.
.
commit
|
commitdiff
|
tree
2020-04-07
Vincent
Siles
f
ixing typo and missing
neg
commit
|
commitdiff
|
tree
2020-04-06
V
i
nc
e
n
t Siles
Er
r
or if PU are used w
i
th i
s
/as refineme
n
t
commit
|
commitdiff
|
tree
2020-04-06
Vincent Sile
s
removin
g
the no longer used `pu_lo
c
`
type
commit
|
commitdiff
|
tree
2020-04-06
Vincent
S
i
l
e
s
Removing
PU prefix
t
o simplify syn
t
ax of dependent
.
.
.
commit
|
commitdiff
|
tree
2020-04-06
Vincent Si
l
es
update
pu_emit
commit
|
commitdiff
|
tree
2020-04-06
Vincen
t
Siles
Use `Happly "HH
\
\mi
x
ed"` instead of `Hmi
x
ed` + f
i
x
.
.
.
commit
|
commitdiff
|
tree
2020-04-02
Vincent Siles
Fi
x
dune b
u
ild
commit
|
commitdiff
|
tree
2020-04-02
Vincen
t
Sil
e
s
f
i
x
m
a
s
t
e
r: hphp/ha
c
k/test/decl:v
e
rify_
d
irect
_
d
e
cl_parser
.
.
.
commit
|
commitdiff
|
tree
2020-04-01
Vincent Si
l
e
s
a
l
l
o
w building a opam repo with a c
u
stom
c
om
p
i
l
e
r/package
.
.
.
commit
|
commitdiff
|
tree
2020-03-27
Vincent
Sile
s
Getting
r
id
of
most usage of Perva
s
i
ves
.
c
ompare/eq
commit
|
commitdiff
|
tree
2020-03-27
Vincent Siles
Postpone locali
z
ation
o
f function parameters after
.
.
.
commit
|
commitdiff
|
tree
2020-03-26
V
i
n
c
e
n
t
Siles
R
emove I/O u
s
age of Pervasives in favor of S
t
dl
i
b
commit
|
commitdiff
|
tree
2020-03-26
Vi
n
cent Siles
Removing
u
sage of `-u
n
sa
f
e-string`
commit
|
commitdiff
|
tree
2020-03-17
Vin
c
e
nt Sil
e
s
su
g
gestion aft
e
r D20116350
commit
|
commitdiff
|
tree
2020-03-03
Vince
n
t Sil
e
s
Alternativ
e
l
o
c
alization of PU
commit
|
commitdiff
|
tree
2020-03-02
Vincent Siles
Raw port o
f
PU translation t
o
rust
commit
|
commitdiff
|
tree
2020-02-20
Vi
n
cent S
i
les
Fix build by
r
emoving
l
ast remaining `Tnot
h
ing`
commit
|
commitdiff
|
tree
2020-02-18
Vince
n
t S
i
les
f
ix support for
reify_check in
PU
commit
|
commitdiff
|
tree
2020-02-14
Vincent
S
iles
Rewrite type parameter / atom c
h
eck for members
commit
|
commitdiff
|
tree
2020-02-14
Vincen
t
Si
l
es
fix lint
H
a
c
kLint
5
62
4
w
.
r
.
t PU depe
n
dent
types
commit
|
commitdiff
|
tree
2020-01-30
Vinc
e
nt Siles
add
i
ng miss
i
ng support i
n
h
h
bc for PU
commit
|
commitdiff
|
tree
2020-01-29
Vince
n
t Siles
Add Typ
i
ng_make_type
.
err
to build Terr types
commit
|
commitdiff
|
tree
2020-01-28
Vincent Siles
replace failwith with e
r
r
or in
t
yping of PU identifiers
commit
|
commitdiff
|
tree
2020-01-15
Vincen
t
Siles
add recov
e
ry for
u
nknown class
or
e
num durin
g
typing
commit
|
commitdiff
|
tree
2019-12-18
Vincent Siles
refactor a
d
d
_
cons
t
raints
commit
|
commitdiff
|
tree
2019-12-03
V
i
ncent S
i
l
es
fix opam_se
t
up
.
s
h
commit
|
commitdiff
|
tree
2019-12-03
Vincent S
i
les
deadcode
an
d
ty
p
o
commit
|
commitdiff
|
tree
2019-11-29
Vincent Si
l
es
Keeping tract of PU typing en
v
commit
|
commitdiff
|
tree
2019-11-29
Vincent Siles
update AST* with reifie
d
i
n
fo
r
mation for
P
U
commit
|
commitdiff
|
tree
2019-11-29
Vincent Si
l
es
Adding 'reif
y
' to cas
e
type decla
r
at
i
on
.
commit
|
commitdiff
|
tree
2019-11-27
Vin
c
ent Siles
al
t
ernati
v
e typ
e
checking
a
lgorithm for PU
commit
|
commitdiff
|
tree
2019-10-31
Vincent Siles
Fix
d
une files involving ru
s
t/ca
r
go build steps
commit
|
commitdiff
|
tree
2019-10-22
Vincent Sile
s
fixing erron
e
ous comm
e
nt
commit
|
commitdiff
|
tree
2019-10-17
Vi
n
c
en
t
Siles
Fix PU
Nast_ch
e
ck
commit
|
commitdiff
|
tree
2019-10-16
Vincent Sil
e
s
f
ixin
g
d
e
bug print o
f
PU
commit
|
commitdiff
|
tree
2019-10-14
V
inc
e
nt Siles
missin
g
forma
t
inst
r
uct
i
on in Pp_t
y
pe
commit
|
commitdiff
|
tree
2019-10-07
Vincent Siles
add
basic
ty
p
e
c
h
eck
i
ng of PU's bodie
s
commit
|
commitdiff
|
tree
2019-10-03
Vincent Siles
remove du
n
e
warning introduced
i
n D1763
8
283
commit
|
commitdiff
|
tree
2019-10-01
Vincent Siles
implement two
f
un
c
t
ions in
e
mitter
commit
|
commitdiff
|
tree
2019-09-26
V
i
ncent Siles
Check that PU's atom are well-
f
orme
d
commit
|
commitdiff
|
tree
2019-09-26
Vincent Si
l
es
Check that PU
are
d
e
c
lared in prop
e
r classes
commit
|
commitdiff
|
tree
2019-09-26
Vinc
e
nt Si
l
es
a
d
d
de
p
endencies to hhi files so
p
px i
s
correctl
y
ru
n
commit
|
commitdiff
|
tree
2019-09-23
Vincent
S
i
les
Check
P
U
e
n
umeration are
well-formed
commit
|
commitdiff
|
tree
2019-09-20
Vincent Si
l
es
a
d
ding PU a
t
om expressio
n
s i
d
t
o the sh
a
red heap
commit
|
commitdiff
|
tree
2019-09-11
Vincent Siles
Eras
e
PU hint for simpler compilatio
n
commit
|
commitdiff
|
tree
2019-09-09
Vincent Siles
rem
o
ving useless
.
out tes
t
f
i
les
commit
|
commitdiff
|
tree
2019-09-09
Vincent
Siles
removing
n
ow useless flag i
n
hh_*
but hackc
commit
|
commitdiff
|
tree
2019-09-09
Vincent S
i
l
es
removin
g
th
e
hacksperimental
f
lag for PU syntax
commit
|
commitdiff
|
tree
2019-09-09
Vincent
Siles
Add
p
r
oper errors for
P
U typ
i
ng
commit
|
commitdiff
|
tree
2019-08-28
Vinc
e
nt Sil
e
s
Addin
g
support f
o
r PU in shado
w
_decl/env
commit
|
commitdiff
|
tree
2019-08-28
V
i
ncent Siles
Implemen
t
pri
n
t
i
ng for
n
e
w
P
U types
commit
|
commitdiff
|
tree
2019-08-28
Vincent Siles
Introdu
c
e
Tatom, Tpu
and
T
pu_acc
e
s
s
commit
|
commitdiff
|
tree
2019-08-28
Vincent Siles
update parser
and ast with H
p
u_
a
c
c
ess
commit
|
commitdiff
|
tree
2019-08-22
Vinc
e
nt
Si
l
es
Introduce
p
o
cket universes hints
commit
|
commitdiff
|
tree
2019-08-22
Vi
n
cent Siles
Removing from constrai
n
t in favor of 'a
s
' syntax
commit
|
commitdiff
|
tree
2019-08-09
Vince
n
t Siles
relocate
some
P
H
P test
f
ile to the test director
y
commit
|
commitdiff
|
tree
2019-08-07
Vincent
Siles
r
e
move
dune/merlin warning
s
u
ppresso
r
for
merlin accu
r
acy
commit
|
commitdiff
|
tree
2019-07-31
V
i
n
c
ent Siles
add
i
ng a
d
dit
i
o
nal prepr
o
cess to w
o
r
k
aroun
d
m
e
r
lin's
.
.
.
commit
|
commitdiff
|
tree
2019-07-26
V
i
ncen
t
Siles
Remove o
u
t
d
a
ted comment
+
fix
unt
i
l oc
a
mlme
r
lin is
.
.
.
commit
|
commitdiff
|
tree
2019-07-20
Vin
c
ent Siles
up
d
ating
f
bc
o
de to superca
m
l
1
.
10 (ocam
l
4
.
07
.
1)
commit
|
commitdiff
|
tree
2019-06-27
V
in
c
e
n
t
Si
l
es
fixing compilation after D
1
5976770
commit
|
commitdiff
|
tree
2019-06-21
Vincent
S
i
les
fix integ
r
a
t
i
on_ml
/
test_all for d
u
ne
commit
|
commitdiff
|
tree
2019-06-12
V
i
ncent Siles
Update dune and merlin ve
r
sion
commit
|
commitdiff
|
tree
2019-05-31
Vincent
S
i
les
S
ync
FB / OSS build
o
n
build_
i
d
commit
|
commitdiff
|
tree
2019-05-30
Vincent Siles
remov
e
e
rr
o
r
message
d
ue to the addit
i
on of
f
l
o
w s
y
mlink
commit
|
commitdiff
|
tree
2019-05-28
V
i
ncent Siles
u
pda
t
e tests after D15452213
commit
|
commitdiff
|
tree
2019-05-24
Vin
c
ent Siles
plug flow into dune
'
s build to b
u
ild
h
hjs (v
2
)
commit
|
commitdiff
|
tree
2019-05-23
V
i
ncent Siles
rewr
i
t
e
s
rc/parser/dun
e
to prepare
f
or rust parser
commit
|
commitdiff
|
tree
2019-05-23
V
i
ncent
Siles
m
ake b
u
ck cal
l
dune
commit
|
commitdiff
|
tree
2019-05-21
V
i
n
c
e
n
t Siles
remo
v
e Final from th
e
generated 'Me
m
bers' function
commit
|
commitdiff
|
tree
2019-05-17
Vin
c
ent Siles
add remaining of
int
e
gratio
n
_m
l
t
ests
commit
|
commitdiff
|
tree
2019-05-17
Vi
n
cent S
i
les
Make build
_
revis
i
on's imple
m
entation
coherent + introduc
e
.
.
.
commit
|
commitdiff
|
tree
2019-05-15
V
i
ncent Siles
add
i
ng more tests + fix tes
t
us
i
n
g inj
e
ct
i
on
commit
|
commitdiff
|
tree
2019-05-14
Vi
n
cent Si
l
es
U
se virtual library to correctly link inject
o
r_config
commit
|
commitdiff
|
tree
2019-05-13
Vi
n
cent Siles
Update dune
version + add merlin and ocp-indent in
.
.
.
commit
|
commitdiff
|
tree
2019-05-10
Vincent Siles
Removes a
d
ependen
c
y
b
etwee
n
hh
_
single_comp
i
le and
.
.
.
commit
|
commitdiff
|
tree
2019-05-08
Vincent Siles
remove usele
s
s de
p
endency be
t
ween
h
h_single_
t
ype_c
h
ec
k
.
.
.
commit
|
commitdiff
|
tree
2019-05-06
Vincent S
i
les
Fix dune bui
l
d
commit
|
commitdiff
|
tree
2019-04-30
Vincent Siles
Update mi
n
i-repo to b
u
ild hhjs
commit
|
commitdiff
|
tree
next