adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
keep_learning_M has joined #ocaml
keep_learning_M has quit [Client Quit]
keep_learning_M has joined #ocaml
keep_learning_M has quit [Quit: This computer has gone to sleep]
ygrek has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
keep_learning_M has joined #ocaml
keep_learning_M has quit [Client Quit]
mfp has quit [Ping timeout: 246 seconds]
keep_learning_M has joined #ocaml
keep_learning_M has quit [Client Quit]
AtumT has quit [Quit: AtumT]
keep_learning_M has joined #ocaml
demonimin has quit [Ping timeout: 246 seconds]
silver has quit [Quit: rakede]
pie_ has quit [Read error: Connection reset by peer]
pie_ has joined #ocaml
sonologico has joined #ocaml
FreeBirdLjj has joined #ocaml
pie_ has quit [Changing host]
pie_ has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mathiass has joined #ocaml
mathiass has quit [Client Quit]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
vimvigor[m] has left #ocaml [#ocaml]
AnAverageHuman has quit [Ping timeout: 256 seconds]
amiloradovsky1 has joined #ocaml
amiloradovsky1 is now known as amiloradovsky
amiloradovsky has quit [Ping timeout: 250 seconds]
gravicappa has joined #ocaml
<amiloradovsky> pie_: OPAM doesn't seem to work on NixOS at all.
<pie_> amiloradovsky, oh?
<pie_> actually the reason i asked was mirageos, and i got as far as being able to run it's noop example before stopping
ygrek has quit [Ping timeout: 245 seconds]
Birdface has joined #ocaml
dimitarvp has joined #ocaml
dimitarvp has quit [Client Quit]
freyr69 has joined #ocaml
mildtaste has joined #ocaml
JimmyRcom has quit [Quit: Leaving]
pie_ has quit [Ping timeout: 255 seconds]
<AxiomaticEspress> Hi! Is there any function that could return the position of a value or of a nested module in a module? Thanks
<Drup> AxiomaticEspress: you mean like an index ? How would you even use that ? There are no real indices in modules
<AxiomaticEspress> Drup: Yes, an index; I learned that modules are just blocks at runtime, their contents being fields, in order. A functor is then a function from blocks to block. And I wanted to access things inside the module parameters of the functor. It works, but I want to avoid couting up the thing I wanna call in an .mli file :)
gareppa has joined #ocaml
<Drup> why would you ever want to do this ?
<AxiomaticEspress> I wanna compile Idris lang to Malfunction
barockobamo has joined #ocaml
<Drup> Oh, it's for the FFI ?
<AxiomaticEspress> yes
<AxiomaticEspress> :)
mfp has joined #ocaml
<Drup> you should really explain that directly, because otherwise, it's really complete nonsense
<AxiomaticEspress> apologies
<Drup> So, the only way to associate modules to their block representation is to fully typecheck them.
<Drup> I think the path are annotated with indices (for each of the field accesses) just after typechecking, when moving to Lambda
<Drup> (would have to check)
<Enjolras> isn't idirs already compiling to malfunction ?
<Drup> Enjolras: it does, but without typed FFI to OCaml
<AxiomaticEspress> Drup: cheers
<AxiomaticEspress> Enjolras: yeah, I'm trying to add some stuff to it
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
pie_ has joined #ocaml
gareppa has quit [Quit: Leaving]
themsay has quit [Ping timeout: 246 seconds]
freyr69 has quit [Remote host closed the connection]
freyr69 has joined #ocaml
malc_ has joined #ocaml
ihavelotsoffries has joined #ocaml
<ihavelotsoffries> Hello
<ihavelotsoffries> anyone know if you can get ocaml manual as unix man pages?
<ihavelotsoffries> or some other sort of format for quick local lookup?
<Armael> ihavelotsoffries: "man List" works
<Armael> (List or an other module from the standard library)
augfab has joined #ocaml
<Armael> I don't think there's the part of the manual which is not API docs, though
<octachron> There are also a pdf and texinfo versions of the manual available
<ihavelotsoffries> Oh cool, weird that they don't show up in `mak -k ocaml`
<ihavelotsoffries> Thanks!
vasiliy_san_ has joined #ocaml
jimt has quit [Ping timeout: 250 seconds]
jimt has joined #ocaml
dhil has joined #ocaml
zmt01 has joined #ocaml
zmt00 has quit [Ping timeout: 250 seconds]
themsay has joined #ocaml
ihavelotsoffries has quit [Remote host closed the connection]
al-damiri has joined #ocaml
silver has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
jaar has joined #ocaml
amiloradovsky has joined #ocaml
pierpal has joined #ocaml
asymptotically has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
silenc3r has joined #ocaml
jao has joined #ocaml
asymptotically has quit [Ping timeout: 256 seconds]
sonologico has quit [Ping timeout: 246 seconds]
sonologico has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
leah2 has quit [Remote host closed the connection]
leah2 has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
asymptotically has joined #ocaml
toolslive has joined #ocaml
amiloradovsky has joined #ocaml
ollehar_ has joined #ocaml
toolslive has quit [Client Quit]
toolslive has joined #ocaml
toolslive has quit [Client Quit]
rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
Haudegen has joined #ocaml
bronsen has quit [Quit: WeeChat 2.4]
bronsen has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
asymptotically has left #ocaml ["Leaving"]
bronsen has quit [Remote host closed the connection]
bronsen has joined #ocaml
AnAverageHuman has joined #ocaml
amiloradovsky has quit [Ping timeout: 272 seconds]
dhil has joined #ocaml
q9929t has joined #ocaml
amiloradovsky has joined #ocaml
amiloradovsky has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
pie_ has quit [Ping timeout: 268 seconds]
jao has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
malc_ has quit [Remote host closed the connection]
q9929t has quit [Quit: q9929t]
vasiliy_san_ has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
silenc3r has quit [Quit: Leaving]
sagotch has joined #ocaml
<sagotch> Hey. Is this IF behavior new ? Is it a bug ? https://pastebin.com/AA7DB7RN I would expect `print_endline s2` to be executed in both cases. NB: if I remove the `let s1 = ...`, then s2 would be printed in any case
jaar has quit [Quit: Leaving]
<sagotch> (using OCaml version 4.07.0)!
<zozozo> sagotch: due to some strange priorities during parsing, the print_endline s2 is actually parsed as belonging to the "then" branch of the if, rather than outside of it
<sagotch> Yes, but is it intended ?
<zozozo> I found that the best way to avoid this kind of problem is to use an automatic indentation using ocp-indent
<adrien> and 4.01.0 works the same as 4.07.1
<zozozo> ocp-indent correctly indents your example
ygrek has joined #ocaml
<sagotch> Hum... it seems that is does indeed, which is strange since I use to use auto indent and this line was not...
<sagotch> nope, I probably forgot to auto-indent, my bad. But I have to say that I find that parsing rule quite confusing...
al-damiri has quit [Quit: Connection closed for inactivity]
<zozozo> yeah, I have the habit of using begin...end for all conditional branches that span more than one line personnaly
<sagotch> I thought that using "let ... in" would actually avoid the need of extra parenthesing, I guess that I have to check all my code now :(
<zozozo> sagotch: juste ocp-indent -i *.ml and check that there are no diffs ?
dhil has quit [Ping timeout: 272 seconds]
<sagotch> I will, be I am working on an old codebase, and indentation is a mess, but thanks :)
pie_ has joined #ocaml
<zozozo> ^^
<zozozo> good luck
FreeBirdLjj has quit [Remote host closed the connection]
freyr69 has quit [Remote host closed the connection]
pie_ has quit [Changing host]
pie_ has joined #ocaml
unyu has quit [Ping timeout: 258 seconds]
sonologico has quit [Ping timeout: 255 seconds]
dhil has joined #ocaml
sagotch has quit [Quit: Leaving.]
Haudegen has quit [Read error: Connection reset by peer]
pie_ has quit [Ping timeout: 250 seconds]
pierpal has joined #ocaml
ollehar_ has quit [Ping timeout: 245 seconds]
gareppa has joined #ocaml
Serpent7776 has joined #ocaml
<Leonidas> zozozo: my solution is not to use `if` ;-)
<companion_cube> I always put parens around if, problem solved
<Leonidas> OLisp
AtumT has joined #ocaml
AnAverageHuman has joined #ocaml
Jesin has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 246 seconds]
<zozozo> Leonidas: you can always do match cond with true -> ... ^^
<companion_cube> 😱
zmt01 has quit [Read error: Connection reset by peer]
zmt00 has joined #ocaml
ocabot has quit [Remote host closed the connection]
companion_cube has quit [Remote host closed the connection]
Jesin has joined #ocaml
ocabot has joined #ocaml
companion_cube has joined #ocaml
jao has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
ziyourenxiang has quit [Ping timeout: 245 seconds]
<Leonidas> zozozo: that's what I do and despite companion_cube being terrified it works pretty well in practice
<companion_cube> ?
<Leonidas> that's how I interpreted that emoji
<companion_cube> ah, it's more horror than terror
<companion_cube> or disgust
augfab has quit [Ping timeout: 250 seconds]
gareppa has quit [Quit: Leaving]
barockobamo has quit [Quit: Leaving]
Haudegen has joined #ocaml
unyu has joined #ocaml
ygrek has joined #ocaml
sonologico has joined #ocaml
rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
gravicappa has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
AnAverageHuman has quit [Ping timeout: 256 seconds]
jao has joined #ocaml
sonologico has quit [Ping timeout: 246 seconds]
sonologico has joined #ocaml
ocabot has quit [Remote host closed the connection]
companion_cube has quit [Quit: WeeChat 2.3]
iovec has quit [Quit: Connection closed for inactivity]
ocabot has joined #ocaml
companion_cube has joined #ocaml
<madroach> I'm searching for a library providing IO on bigarrays like Lwt_bytes.{read,write}, but without lwt. The Stdlib only provides IO on bigarrays via mmap.
<companion_cube> I think most people doing "serious" IO are doing it with lwt (or async)
<def`> Jane street libs have bigstrings for that
<companion_cube> that's one thing, but do you have a blocking read_file into a bigstring‽
<companion_cube> or read_from_channel I mean
<def`> blocking one... I don't know.
<companion_cube> I think otherwise the community version is cstruct?
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
<madroach> cstruct only uses lwt, it provides no read/write interface. neither on fd nor on channels.
<companion_cube> oh really‽
jnavila has joined #ocaml
themsay has quit [Ping timeout: 244 seconds]
<madroach> afaics yes, really. Shouldn't this functionality be included in the Stdlib?
<companion_cube> https://github.com/mirage/ocaml-cstruct/blob/master/lwt/lwt_cstruct.mli certainly seems to offer read/write
<madroach> ... I'm looking for functions _without_ lwt
<companion_cube> yeah well I don't know, no one does it afaict
<madroach> ok, thanks for having a look. Then either I'll implement it via mmap or write my own stubs...
<madroach> companion_cube: Would you be interested in merging Bigstring and Bigstringaf ?
<Armael> :^)
<madroach> companion_cube: and maybe adding the functions I'm missing.
<companion_cube> hu, not particularly, not if it requires C stubs
<companion_cube> I'm not really sure what the point is
<madroach> Bigstringaf has cstubs for fast blits.
<companion_cube> maybe they'll be interested
gareppa has joined #ocaml
<Leonidas> madroach: https://github.com/janestreet/base_bigstring that's without Core or Async or Lwt.
<companion_cube> doesn't seem to have IO functions?
<Leonidas> yeah, looks like it. Haven't used it, since it was just released
<companion_cube> doesn't seem to add much to bigstring{,af}, unless you're already using base and such
<Leonidas> "String type based on Bigarray, for use in I/O and C-bindings." is what the description states, so it looks like you're meant to do IO on a higher level
<madroach> thanks for looking into it.
themsay has joined #ocaml
kakadu has joined #ocaml
sonologico has quit [Ping timeout: 268 seconds]
sonologico has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
dhil has joined #ocaml
themsay has quit [Read error: Connection reset by peer]
gravicappa has quit [Ping timeout: 246 seconds]
themsay has joined #ocaml
sonologico has quit [Ping timeout: 250 seconds]
gareppa has quit [Quit: Leaving]
sonologico has joined #ocaml
Serpent7776 has quit [Quit: leaving]
dhil has quit [Ping timeout: 255 seconds]
sonologico has quit [Ping timeout: 246 seconds]
marvin2 has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
Birdface has quit [Ping timeout: 272 seconds]
silver_ has joined #ocaml
silver has quit [Ping timeout: 255 seconds]
silver_ is now known as silver
Haudegen has quit [Remote host closed the connection]
kvda has joined #ocaml
AnAverageHuman has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
kakadu has quit [Remote host closed the connection]
Haudegen has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
AnAverageHuman has joined #ocaml
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
ygrek has joined #ocaml
amiloradovsky has joined #ocaml