adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
kakadu_ has quit [Remote host closed the connection]
maufred has quit [Ping timeout: 252 seconds]
<whoman> am i reading this right? in ocaml, "evaluation order is undefined" ...??
<lyxia> for some things like function application
<lyxia> semi-colon still sequences operations as expected
snhmib has quit [Ping timeout: 248 seconds]
maufred has joined #ocaml
orbifx has quit [Ping timeout: 276 seconds]
shinnya has quit [Ping timeout: 240 seconds]
Algebr` has quit [Remote host closed the connection]
Algebr` has joined #ocaml
Algebr`` has joined #ocaml
Algebr` has quit [Ping timeout: 258 seconds]
Algebr`` has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 250 seconds]
jimt has quit [Quit: leaving]
nomicflux has joined #ocaml
jimt has joined #ocaml
silver has quit [Read error: Connection reset by peer]
barcabuona has quit [Quit: WeeChat 1.9.1]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
cbot has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
cobreadmonster has joined #ocaml
enterprisey has joined #ocaml
enterprisey has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
nomicflux has quit [Quit: nomicflux]
ohama has quit [Ping timeout: 240 seconds]
ohama has joined #ocaml
spew has joined #ocaml
pierpa has quit [Quit: Page closed]
spew has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 255 seconds]
mbuf has joined #ocaml
zaquest has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 240 seconds]
ocaml542 has joined #ocaml
ocaml542 has quit [Client Quit]
cobreadmonster has quit [Quit: Connection closed for inactivity]
tg has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (verne.freenode.net (Nickname regained by services))]
zmt00 has quit [Quit: Leaving]
raphaelss has quit [Remote host closed the connection]
tg has joined #ocaml
Jesin has quit [Quit: Leaving]
zolk3ri has joined #ocaml
jnavila has joined #ocaml
argent_smith has joined #ocaml
jnavila has quit [Ping timeout: 276 seconds]
ygrek_ has joined #ocaml
sapristi has joined #ocaml
jnavila has joined #ocaml
cbot has quit [Quit: Leaving]
enterprisey has quit [Remote host closed the connection]
raphaelss has joined #ocaml
freusque has joined #ocaml
TheLemonMan has joined #ocaml
argent_smith has quit [Quit: Leaving.]
kakadu has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
frefity has joined #ocaml
andreas___ has quit [Quit: Connection closed for inactivity]
AltGr has joined #ocaml
snhmib has joined #ocaml
_andre has joined #ocaml
mfp has joined #ocaml
BitPuffin|osx has joined #ocaml
kakadu has quit [Ping timeout: 250 seconds]
kakadu_ has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
shiyaz has joined #ocaml
jnavila has joined #ocaml
zaquest has joined #ocaml
zaquest has quit [Client Quit]
zaquest has joined #ocaml
argent_smith has joined #ocaml
voglerr has joined #ocaml
spion has quit [Ping timeout: 255 seconds]
pyx has joined #ocaml
<orbifx[m]> How do I define the precedence of a custom infix operator? Didn't find it in the manual
<thizanne> you don't, it's defined wrt the first char of your operator iirc
Serpent7776 has joined #ocaml
spion has joined #ocaml
<orbifx[m]> Thanks thizanne
<octachron> thizanne, orbifx[m]: the correct link is https://caml.inria.fr/pub/docs/manual-ocaml/expr.html
pyx has quit [Quit: WeeChat 1.9.1]
kerrhau has quit [Ping timeout: 268 seconds]
Geekingfrog has quit [Ping timeout: 264 seconds]
rpcope has quit [Ping timeout: 240 seconds]
rpcope has joined #ocaml
jnavila has quit [Ping timeout: 276 seconds]
voglerr has quit [Remote host closed the connection]
silver has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
Geekingfrog has joined #ocaml
voglerr has joined #ocaml
jnavila has joined #ocaml
sapristi has quit [Ping timeout: 268 seconds]
<voglerr> why is it that #show_type always says nonrec, even for recursive types?
<voglerr> # #show_type list;;
<voglerr> type nonrec 'a list = [] | (::) of 'a * 'a list
<companion_cube> sounds like a bug ‽
<voglerr> where does that issue belong? ocaml mantis?
<zolk3ri> 7/2
<zolk3ri> Err.
jnavila has quit [Ping timeout: 250 seconds]
<adrien> aantron: thanks for lambdasoup! :)
<companion_cube> ^
snhmib has quit [Ping timeout: 276 seconds]
jnavila has joined #ocaml
spew has joined #ocaml
snhmib has joined #ocaml
spew has quit [Read error: Connection reset by peer]
mbuf has quit [Quit: Leaving]
nomicflux has joined #ocaml
<adrien> gitlab: no thanks for the holes in the API :P
sh0t has joined #ocaml
shinnya has joined #ocaml
<orbifx[m]> huh?
sh0t has quit [Ping timeout: 276 seconds]
voglerr has quit []
raphaelss has quit [Remote host closed the connection]
jbrown has joined #ocaml
nomicflux has quit [Quit: nomicflux]
raphaelss has joined #ocaml
sh0t has joined #ocaml
mbuf has joined #ocaml
<M-martinklepsch> I want to split a string whenever there are say 5 consecutive spaces — is this the right way to go? https://ocaml.janestreet.com/ocaml-core/109.40.00/doc/re2/Regex.html (specifically the split function I guess)
<M-martinklepsch> (I'm using Core/Base)
<companion_cube> no idea then, I'd use re
<jmiven> re2 has a dependency on Core I believe, so it's maybe not the best choice if you want to use Base
<companion_cube> to core_kernel, it seems
<jmiven> right!
<M-martinklepsch> I guess I'll just give `re` a spin
<companion_cube> #require "re.perl";;
<companion_cube> let re = Re_perl.compile_pat "[ ]{5}";;
<companion_cube> Re.split re "some string";;
sapristi has joined #ocaml
<M-martinklepsch> I don't really care about Core/Base whatnot, just want to use what's most popular/has best documentation, may totally be that that is not Core/Base as well :D
<companion_cube> popularity isn't really clear
<companion_cube> the community is fragmented
<M-martinklepsch> companion_cube: Thanks for the snippet, I thought I got it to compile using `open Re_perl` but now I'm only getting Unbound module. Also when I add the require line I'm getting "Error: optcomp: unknown directive"... I'm using jbuilder and added `re` as a dependency
FreeBirdLjj has joined #ocaml
<companion_cube> you need to add re.perl as a dependency
<companion_cube> open is unecessary though, you can (and should) use qualified names
sepp2k has joined #ocaml
<M-martinklepsch> companion_cube: awesome, that worked!
FreeBirdLjj has quit [Ping timeout: 268 seconds]
<companion_cube> :)
malina has joined #ocaml
mbuf has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
argent_smith has quit [Quit: Leaving.]
andrejbauer has joined #ocaml
<andrejbauer> Anyone out there? I have a question about OPAM.
<companion_cube> try anyway
spew has joined #ocaml
raphaelss has quit [Remote host closed the connection]
th5 has joined #ocaml
enterprisey has joined #ocaml
<Drup> companion_cube: Re_perl, really ?
<Drup> pcre was not enough ?
<Drup> (on, in this case, posix)
Duns_Scrotus has left #ocaml [#ocaml]
<companion_cube> I'd rather use one syntax everywhere
<Drup> Ok, but the perl one is really disgusting
<companion_cube> it's close to vim's one, I think, so I'm mostly used to it
<companion_cube> I like not having too much escaping
nightblues has joined #ocaml
enterprisey has quit [Remote host closed the connection]
danieli has joined #ocaml
andrejbauer has quit [Ping timeout: 260 seconds]
nightblues has quit [Quit: Leaving.]
danieli has quit [Changing host]
danieli has joined #ocaml
shinnya has quit [Ping timeout: 276 seconds]
jao has joined #ocaml
demonimin has quit [Remote host closed the connection]
* adrien wonders if he has a bug in lambdasoup
demonimin has joined #ocaml
tane has joined #ocaml
kakadu has joined #ocaml
zmt00 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
raphaelss has joined #ocaml
freusque has quit [Ping timeout: 276 seconds]
Serpent7776 has quit [Quit: Leaving]
rwmjones has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
rwmjones has joined #ocaml
KeyJoo has joined #ocaml
Jesin has joined #ocaml
Jesin has quit [Remote host closed the connection]
shiyaz has quit [Ping timeout: 260 seconds]
andreas___ has joined #ocaml
<M-martinklepsch> anyone a recommendation for a library that prints nice colors to a terminal? :)
<octachron> For text on an unix terminal, Fmt(or Format) + tags?
th5 has quit [Ping timeout: 240 seconds]
th5 has joined #ocaml
th5 has quit [Read error: Connection reset by peer]
<Armael> iirc ANSITerminal (the lib) contains the escape codes for colors and such
th5 has joined #ocaml
th5_ has joined #ocaml
th5 has quit [Ping timeout: 276 seconds]
th5_ has quit [Ping timeout: 255 seconds]
BitPuffin|osx has quit [Ping timeout: 248 seconds]
ygrek_ has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
Anarchos has joined #ocaml
argent_smith has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
davs has joined #ocaml
tane has quit [Quit: Leaving]
jbrown has quit [Ping timeout: 260 seconds]
KeyJoo has quit [Ping timeout: 255 seconds]
zaquest has quit [Quit: Leaving]
jbrown has joined #ocaml
AltGr has left #ocaml [#ocaml]
<whoman> File "src/color.ml", line 69, characters 17-33: Error: Uninterpreted extension 'message.omit_nil'.
zaquest has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
jnavila has joined #ocaml
sz0 has joined #ocaml
_snhmib has joined #ocaml
snhmib has quit [Ping timeout: 246 seconds]
jnavila has quit [Ping timeout: 276 seconds]
soupault has joined #ocaml
jnavila has joined #ocaml
orbifx has joined #ocaml
davs has quit [Ping timeout: 255 seconds]
davs has joined #ocaml
dedgrant_ has quit [Quit: Leaving]
dedgrant has joined #ocaml
enterprisey has quit [Remote host closed the connection]
davs has quit [Ping timeout: 255 seconds]
jbrown has quit [Ping timeout: 260 seconds]
sapristi has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 240 seconds]
soupault has quit [Ping timeout: 255 seconds]
zolk3ri has quit [Quit: leaving]
_snhmib has quit [Ping timeout: 240 seconds]
spew has quit []
ygrek_ has joined #ocaml
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
silver has quit [Read error: Connection reset by peer]
ygrek_ has quit [Ping timeout: 248 seconds]
lostman has joined #ocaml
sh0t has quit [Remote host closed the connection]
shinnya has joined #ocaml
spew has joined #ocaml
_snhmib has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
<companion_cube> there's stuff in containers, too, ofc
<Drup> "ofc" :D
<companion_cube> :p
<companion_cube> well I'm a big user of Format
cbot has joined #ocaml
<orbifx> Does Tyxml have a Tyxml.elt can group children, but doesn't have a rendered parent?
<orbifx> I want to concatenate a `Tyxml.elt list` but I don't want to put thim inside another parent.
<Drup> orbifx: why do you want that ?
<Drup> (I smell an X/Y problem)
<orbifx> What's an X/y problem?
<orbifx> I'm using Mustache, which (unfortunately) can have nested concatenations. So when I'm generate the header from a template.. the type system thinks that `Header can appear within `Header, which it doesn't allow.
<orbifx> But I want to concatenate all the children under a single `Header element.
<orbifx> I'm now concatenating all the elts under a `Div, which is sensible if I were expecting more levels, and then put the `Div inside the `Header. But there shouldn't be a `Div.
<Drup> why not simply return a list of elements, instead of a single one ?
argent_smith has quit [Quit: Leaving.]
kakadu has quit [Ping timeout: 276 seconds]
<orbifx> Mustach.fold's ~concat type is `a list -> a` :/
<orbifx> The proper solution is to write a custom fold, but I thought I might be lucky with a hack for now
<orbifx> `Div is an acceptable hack
<Drup> sure, just make 'a = _ elt list
<Drup> then concat is just list concatenation
<Drup> and you return singletons at the leafs
<orbifx> will ` _ elt list` = Tyxml.elt ?
<Drup> No, elt is Tyxml.elt
<orbifx> Well the functions that generate the list elements, generate Tyxml.elt
<orbifx> let me push this to a branch, easier if you see
<Drup> Just put them in singletons
<Drup> But yeah, past me your current version
<orbifx> That's my expression
<Drup> just make all your other functions return list singletons, instead of tyxml elements
maufred has quit [Ping timeout: 255 seconds]
<orbifx> Ok thanks
<orbifx> But rewriting the fold will be more efficient, right?
<Drup> not really
<Drup> A bit
<orbifx> K
<orbifx> Will get around to something in the end. I'm doing a big refactoring now.
barcabuona has joined #ocaml
<orbifx> Thanks Drup
<orbifx> What are you working on these days?
<Drup> Anyway, it's a fairly classical technique, returning list of elements instead of elements
<Drup> so that you can concatenate them, and wrap them only when necessary
<Drup> Well, I'm doing my postdoc, and I will happily not tell the subject, otherwise I fear people will get hyped for something that might be vaporware :3