<rgrinberg>
is ppx_tools broken for other people in the top level?
<rgrinberg>
I get Error: Reference to undefined global `Longident' when #requir'ing it
ryanartecona has quit [Quit: ryanartecona]
agravier has quit [Quit: agravier]
hashpuppy has quit [Quit: Connection closed for inactivity]
aggelos_ has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
agravier has joined #ocaml
aggelos_ has joined #ocaml
shortCircuit__ has quit [Ping timeout: 268 seconds]
aggelos_ has quit [Ping timeout: 255 seconds]
pierpa has quit [Remote host closed the connection]
aggelos_ has joined #ocaml
aggelos_ has quit [Ping timeout: 255 seconds]
aggelos_ has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
shortCircuit__ has joined #ocaml
Simn has joined #ocaml
<reynir>
rgrinberg: I'm not getting that
<rgrinberg>
4.04.1 with utop 2.0?
<reynir>
4.03.0 with utop 1.19.3
<reynir>
OK I get the same in utop 2.0.1 on 4.04.0
<rgrinberg>
ah, ok. I think it might be related to the recent version of utop + findlib
robertc has quit [Read error: Connection reset by peer]
robertc has joined #ocaml
segmond has quit [Quit: l8r]
AlexRussia has quit [Ping timeout: 255 seconds]
lizzin has joined #ocaml
<lizzin>
i am having trouble installing core and utop via 'opam install core utop'. using opam(1.2.2) and ocaml(4.04.1). I'm not seeing any super helpful error messages other than it failed to install base, lwt and spawn. what else should i do to narrow down the issue?
freusque has joined #ocaml
freusque has quit [Client Quit]
shortCircuit__ has quit [Ping timeout: 240 seconds]
shortCircuit__ has joined #ocaml
agravier has quit [Read error: Connection reset by peer]
freusque has joined #ocaml
seliopou has quit [Ping timeout: 240 seconds]
jlam__ has quit [Ping timeout: 240 seconds]
agravier has joined #ocaml
seliopou has joined #ocaml
DanielRichman has quit [Ping timeout: 260 seconds]
DanielRichman has joined #ocaml
freusque has quit [Quit: WeeChat 1.7]
freusque has joined #ocaml
sgronblo has quit [Read error: Connection reset by peer]
sgronblo has joined #ocaml
toolslive has quit [Quit: Ex-Chat]
alfredo has joined #ocaml
freusque has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
pootler has joined #ocaml
pootler is now known as Merv_
andreas_ has joined #ocaml
Algebr has joined #ocaml
Merv_ has quit []
Merv_ has joined #ocaml
lizzin has quit [Ping timeout: 246 seconds]
nahra has joined #ocaml
shortCircuit__ has quit [Ping timeout: 246 seconds]
lizzin has joined #ocaml
lizzin is now known as Guest61845
freusque has quit [Quit: WeeChat 1.7]
freusque has joined #ocaml
shortCircuit__ has joined #ocaml
sgronblo has quit [Read error: Connection reset by peer]
sgronblo has joined #ocaml
agravier has quit [Quit: agravier]
Guest61845 has quit [Changing host]
Guest61845 has joined #ocaml
Guest61845 is now known as lizzin
freusque has quit [Ping timeout: 240 seconds]
enterprisey has quit [Remote host closed the connection]
shortCircuit__ has quit [Ping timeout: 255 seconds]
shortCircuit__ has joined #ocaml
lizzin has quit [Quit: leaving]
silver has joined #ocaml
raphaelss has quit [Remote host closed the connection]
cbot_ has quit [Quit: Leaving]
argent_smith has joined #ocaml
chat_ has quit [Ping timeout: 260 seconds]
chat has joined #ocaml
chat is now known as Guest97402
AlexRussia has joined #ocaml
mfp_ has joined #ocaml
iZsh has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
dhil has joined #ocaml
dhil has quit [Client Quit]
sgronblo has quit [Read error: Connection reset by peer]
<vgrocha>
Hi. is there an OCaml library to read Microsoft Excel (.xls, .xlsx) files? The closest thing I found is ocaml-csv
sepp2k has joined #ocaml
<orbifx[m]>
Checked opam?
<orbifx[m]>
vbmithr: any notes on what you kept and what not? There is an internal product we have we hoped would work on with the interface I submitted
yomimono has joined #ocaml
<octachron>
vgrocha, I would not hope for any library able to read reliably native excel file format in any programming language
<orbifx[m]>
vgrocha: I agree with octachron. Can you target ods instead?
<vgrocha>
I did check opam, there are no results for "Excel", nor "xls{x,}"
<vgrocha>
unfortunately no, those are files received from clients
KeyJoo has joined #ocaml
<octachron>
vgrocha, well ".xls" format is not documented and ".xlsx" is documented with extreme reluctance
<vgrocha>
interesting. Yeah, I was going to ask why there aren't any reliable libraries
FreeBirdLjj has quit [Remote host closed the connection]
<vgrocha>
octachron
FreeBirdLjj has joined #ocaml
<octachron>
if you have a restricted target, it may possible to extract the relevant data from ".xlsx" since these are a bundle of xml files
<vgrocha>
thanks for the info
tane has joined #ocaml
ryanartecona has joined #ocaml
mlnoob has joined #ocaml
dhil has joined #ocaml
slash^ has joined #ocaml
<mlnoob>
I am new to Ocaml and functional programming and I am learning functors. I need some help with this snippet. https://codeshare.io/2poRVD.
<mlnoob>
When I do Eq_prod_int.eq (1, 2) (12, 3), I am getting a type mismatch error. It says, Eq_prod_int.t = int * int was exptected.
jlam__ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
<yomimono>
I think you want the definition of `eq` in EQ_PROD to be t -> t -> bool, since you say that Eq_prod's type t is X.t * Y-t
<octachron>
mlnoob, as a general advice, when starting with functors it is generally worthwhile to look at the (module) type inferred by the compiler without the signature constraint
<yomimono>
yes, she's got that lwt PR up in a tab next to this chat window :D
tg has joined #ocaml
Merv_ has joined #ocaml
P4Titan has joined #ocaml
<Drup>
yomimono: would be interesting a list of "exposed" libraries that have fuzzing and, perhaps more importantly, the one who don't.
<Drup>
+to maintain
<yomimono>
Not sure what "exposed" means?
<yomimono>
Oh, as in, have been exposed to afl-fuzz, not as in are directly exposed to user input?
<Drup>
I meant the later, yes
<yomimono>
Almost none of them do AFAIK, so the problem pretty much reduces to finding the entry points into whatever application or library.
<yomimono>
Even the libraries that we've done fuzz testing for still don't have fuzz testing integrated into the normal testing suite yet.
<yomimono>
But possibly another group is doing better :)
<Drup>
Listing "easy" library to fuzz would be useful for people I think
<Drup>
(I mean, fuzzing xmlm and jsonm is probably much easier that all the network libraries in mirage :p)
<yomimono>
In MirageOS 3 it's actually not so hard to at least fuzz the parsers
jlam has quit [Remote host closed the connection]
<yomimono>
But your point is well taken - generally, a productive place to look is parsers
<yomimono>
I'm not a good person to answer this question I think, because I don't know which libraries are widely used in the broader ecosystem. But if you have a repository in mind, I'd be happy to have a look at it and try to suggest something.
<yomimono>
A library that already has qcheck tests would probably be really fun to do :D
nahra has quit [Remote host closed the connection]
<companion_cube>
tssss
nahra has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
<companion_cube>
is sexplib fuzzed?
Anarchos has quit [Quit: Vision[0.10.1]: i've been blurred!]
<yomimono>
oh, good thought! I've never fuzzed it and it's not in the crowbar examples dir
<yomimono>
stedolan may have done some work with it testing afl-persistent
<gasche>
will add the crowbar link, thanks!
<companion_cube>
I suppose the compiler itself could be fuzzed, but it must have been tried, surely
<companion_cube>
or Coq, #yolo
<yomimono>
yes, that's what stedolan was originally doing with all these nice tools :)
<companion_cube>
try to make Coq prove false by fuzzing ;)
jlam has joined #ocaml
<zozozo>
gasche: where would I post a "optimise msat" task for the hackaton ?
moei has quit [Quit: Leaving...]
Simn has quit [Read error: Connection reset by peer]
ontologiae_ has quit [Read error: Connection reset by peer]
ontologiae_ has joined #ocaml
<Armael>
people could try fuzzing ocaml-mustache I guess :-'
<companion_cube>
fuzzing the spec, you mean?
<companion_cube>
:p
<Armael>
uh, idk?
<companion_cube>
that was a joke referring to the fact the spec is crazy
<companion_cube>
nvm
<yomimono>
Joking aside, something that has a really complicated `t` and then a set of (hopefully) well-defined operations on `t`s that should fulfill specific properties is a pretty nice match for crowbar
<yomimono>
a really complicated and exposed `t`
<yomimono>
I know absolutely nothing about mustache but I see a big complicated `t` in an `mli` here :D
<Drup>
yomimono: it's a parser, that's it :p
<Armael>
yea
<Armael>
it can parse and render
KeyJoo has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
<gasche>
zozozo: do you have one link I can add to the wiki page?
<orbifx[m]>
The author recommends Result.t, except some "exceptional" cases :P
<orbifx[m]>
has the situation changed at all?
yomimono has quit [Ping timeout: 255 seconds]
spew has joined #ocaml
raphaelss has quit [Ping timeout: 258 seconds]
John[Lisbeth] has joined #ocaml
<John[Lisbeth]>
do you guys know about the krivine machine?
<orbifx[m]>
I don't
<orbifx[m]>
Also most OCamlers either sleep or are out partying at this time. I think the former :P
aantron_ has joined #ocaml
shinnya has joined #ocaml
<aantron_>
P4Titan: i kind of know lwt :)
<aantron_>
yomimono: gasche: Drup: thanks for discussing/including that PR. regarding issues, lwt does have a *lot* more issues than i have time to write up, or remember easily if i didn't immediately put them in my old TODO file. i hope to create lots more easy issues over time
<aantron_>
like already said, if you run into anything that needs fixing, it might be exactly the kind of code somebody else wants to write *right now*, so please open an issue. maybe it will be easy :)
jar286 has joined #ocaml
spew has quit [Ping timeout: 255 seconds]
jar286 has quit [Quit: jar286]
copy` has quit [Quit: Connection closed for inactivity]