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
<dinosaure> orbifx[m]: plan to make a release when we handle correctly funny encoding (like latin1 or koi8) and move to angstrom :)
<dinosaure> so lot of work
kerrhau has joined #ocaml
<orbifx[m]> ok
<orbifx[m]> All I need is the email parsing function to break it into a usable record
<dinosaure> however, I'm currently focus on ocaml-git :( by my goal is to make a unikernel to send and receive email, so I believe this project stills alive
<orbifx[m]> So may I should just write a small function.
<dinosaure> hmmhmm, it's depends of your input, MrMime respects the standard (from RFC 822 to RFC 5322) and can parse lot of weird emails
<dinosaure> then, if it just about some regular emails, I think MrMime is too big for you
<lyxia> "oklm-wsh" <3
<lyxia> A good name to promote French culture.
mk9 has quit [Quit: mk9]
<orbifx[m]> thanks dinosaure
mk9 has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 is now known as Guest39202
Guest39202 has quit [Killed (hitchcock.freenode.net (Nickname regained by services))]
cbot has quit [Ping timeout: 276 seconds]
jimmyrcom has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 265 seconds]
cbot has joined #ocaml
pierpa has joined #ocaml
silver has quit [Quit: rakede]
govg has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Remote host closed the connection]
spew has joined #ocaml
an-tuan has quit [Quit: WeeChat 2.0]
kerrhau has quit [Read error: Connection reset by peer]
zv has joined #ocaml
antranigv has joined #ocaml
antranigv has left #ocaml [#ocaml]
cbot has quit [Ping timeout: 256 seconds]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
jimmyrcom has quit [Ping timeout: 260 seconds]
trysound has quit [Quit: Connection closed for inactivity]
spew has quit [Read error: Connection reset by peer]
jimmyrcom has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
jimmyrcom has quit [Max SendQ exceeded]
jimmyrcom has joined #ocaml
ygrek_ has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
ygrek_ has quit [Ping timeout: 248 seconds]
jxv has joined #ocaml
<jxv> Does OCaml have an `Either` type like in Haskell?
<jxv> seems like there's a `maybe`?
<def`> Result
<jxv> ah
<jxv> guess that's where Rust got the name
<def`> Either, Right, Left maps to result, Ok, Error
<simpson> jxv: The `Result` name is *old*, and seems common throughout the ML family. I'm personally wondering where `Either` comes from!
jimmyrcom_ has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
pierpa has quit [Quit: Page closed]
kerrhau has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
Algebr has joined #ocaml
jxv has quit [Quit: zzz…]
<gentauro> simpson: I first saw it in Elm and since that it has arrived to F# and OCaml ...
<gentauro> I like though the reason about Haskells Either naming
<gentauro> The "right" value means succes, while left means "the other"
<simpson> It is a pretty good pun.
KeyJoo has joined #ocaml
rizo[m] has quit [Ping timeout: 264 seconds]
isaachodes[m] has quit [Ping timeout: 264 seconds]
multiocracy[m] has quit [Ping timeout: 264 seconds]
yetanotherion[m] has joined #ocaml
multiocracy[m] has joined #ocaml
isaachodes[m] has joined #ocaml
rizo[m] has joined #ocaml
MercurialAlchemi has joined #ocaml
Algebr has quit [Ping timeout: 265 seconds]
nopf has quit [Read error: Connection reset by peer]
freusque has joined #ocaml
argent_smith has joined #ocaml
argent_smith has quit [Quit: Leaving.]
freyr has joined #ocaml
freyr has quit [Client Quit]
freyr has joined #ocaml
argent_smith has joined #ocaml
nicooo has quit [Ping timeout: 272 seconds]
mfp has joined #ocaml
nicootje has joined #ocaml
<Leonidas> Though it is weird, because at least I always say Left & Right, to have the "Error" constructor the first thing.
<Leonidas> OCamls use of Result is actually pretty new, it is only there for libraries not to constantly reinvent it
<Leonidas> lyxia: what does "oklm-wsh" mean?
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
sh0t has joined #ocaml
mk9 has quit [Client Quit]
mbuf has joined #ocaml
mk9 has joined #ocaml
<lyxia> Leonidas: You say "oklm" when you feel good and relaxed, and "wsh" is a form of punctuation.
<reynir> (how do you pronounce that)
mk9 has quit [Quit: mk9]
<lyxia> With vowels it's "au calme wesh"
BitPuffin has joined #ocaml
<reynir> Ah
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
gjaldon has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
<lyxia> OKLM is almost OCAML!
zolk3ri has joined #ocaml
_andre has joined #ocaml
gjaldon has quit [Remote host closed the connection]
gjaldon has joined #ocaml
freusque has quit [Ping timeout: 265 seconds]
gjaldon_ has joined #ocaml
gjaldon has quit [Ping timeout: 260 seconds]
cbot has quit [Quit: Leaving]
mk9 has quit [Quit: mk9]
mbuf has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
gjaldon_ has quit [Remote host closed the connection]
gjaldon has joined #ocaml
gjaldon has quit [Ping timeout: 248 seconds]
kakadu has joined #ocaml
sepp2k has joined #ocaml
silver has joined #ocaml
whoman has quit [Remote host closed the connection]
cuicui has joined #ocaml
cuicui has quit [Read error: Connection reset by peer]
cuicui has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Ping timeout: 268 seconds]
mk9 has joined #ocaml
cuicui has quit [Quit: leaving]
cuicui has joined #ocaml
cuicui has quit [Client Quit]
cuicui has joined #ocaml
freusque has joined #ocaml
mk9 has quit [Quit: mk9]
<hannes> hello, I wanted to ask something about the OCaml manual: there is an index of exceptions (http://caml.inria.fr/pub/docs/manual-ocaml/libref/index_exceptions.html), but I fail to find "Failure" and "Out of Memory" and "Invalid Argument" in there!?!?
<Drup> pretty sure those are in predef
<Drup> Since those are defined in the original typechecking environment, there aren't in any mli, hence not really picked up by ocamldoc
<hannes> Drup: thank you for the link and your explanation
<Drup> they*
<jpdeplaix> wow, what is Undefined_recursive_module ??
<hannes> Drup: but you agree it would be good to have them in the manual, no? I understand that it is complicated, but for me as a user it would be much more convenient to be able to browse them via the manual...
<Drup> hannes: they are here, though: https://caml.inria.fr/pub/docs/manual-ocaml/core.html
<Drup> just not indexed
<jpdeplaix> oh thx
<hannes> Drup: oh wow, thanks! just not indexed
<Drup> (same as the built-in types)
<hannes> so I'll try to get my hands dirty with that ocamldoc
<Drup> outch, I do not recomend trying to solve that particular problem
<Drup> well, I mean, it depends on your free time and your standing sanity level, but that one is probably very nasty to solve
<hannes> then at least I should open a mantis issue, no?
<Drup> Oh, sure :D
<Drup> jpdeplaix: recursive modules have a runtime check to ensure the absence of ill-defined cycles
an-tuan has joined #ocaml
<Drup> For example, `module rec M : sig val x : int end = struct let x = M.x + 1 end`
<hannes> Drup: i at least did that https://caml.inria.fr/mantis/view.php?id=7708 :)
<jpdeplaix> Drup: I see. Good to know, thx
<Drup> jpdeplaix: the stuff behind the scene for recursive modules is really complicated :D
<jpdeplaix> yah, I figured ^^"
cuicui has quit [Read error: Connection reset by peer]
caw__ has quit [Ping timeout: 252 seconds]
cuicui has joined #ocaml
caw__ has joined #ocaml
zpe has joined #ocaml
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
monstasat has joined #ocaml
<monstasat> Hi! I have a problem with ocaml gc: I have a closure which encloses a functional value. After a while gc collects this function, so the closure works partially. My compiler version is 4.06.0+fp+flambda. Can this be a compiler problem?
mk9 has joined #ocaml
<Drup> monstasat: do you have a reduced example ?
shinnya has joined #ocaml
<monstasat> Drup: here is simplified code: https://pastebin.com/WiRNLap5
<monstasat> Drup: after I deleted O3 flag (replaced with Oclassic) and removed --unbox-closures, gc stops collecting this fn
<monstasat> Drup: really, the initial problem was with my React.event. Functions mapped to this event had not been called.
<Armael> let _ = React.E.map (...)
<monstasat> Drup: it seems that e_push not working
<Armael> you're dropping the event on the floor there
<Armael> so I guess after a while it gets GC'd with its associated computation
<Drup> since you are using Lwt, I recommand using Lwt_react.(E|S).keep
<monstasat> Armael: You're right, but in fact I have another mapping to this event in other function. In my full code I also return the event itself.
<monstasat> Anyway, I will save my event. Thanks for advices
jbrown has joined #ocaml
jimmyrcom has quit [Ping timeout: 265 seconds]
Jesin has quit [Quit: Leaving]
monstasat has quit [Quit: Ухожу я от вас]
monstasat has joined #ocaml
<monstasat> Thanks for your advices! I've solved the problem, it was caused by not saving the event and some other silly mistakes I didn't notice
jao has joined #ocaml
johnelse has quit [Quit: leaving]
shinnya has quit [Ping timeout: 264 seconds]
mk9 has quit [Quit: mk9]
johnelse has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
johnelse is now known as johnel_away
johnel_away is now known as johnelse
<kakadu> Do you remember the story about ocaml standert library is too small and doesn't contain many useful functions?
<kakadu> The same is for Haskell
<kakadu> I just added a MissingH dependency and it's 5 dependencies to be able to trim Strings
MercurialAlchemi has quit [Remote host closed the connection]
monstasat has quit [Quit: Ухожу я от вас]
johnelse has quit [Quit: leaving]
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
cuicui has quit [Read error: Connection reset by peer]
kakadu has left #ocaml ["Konversation terminated!"]
kakadu has joined #ocaml
jxv has joined #ocaml
cuicui has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 263 seconds]
gjaldon has joined #ocaml
freyr has quit [Remote host closed the connection]
johnelse has joined #ocaml
Jesin has joined #ocaml
gjaldon has quit []
an-tuan has quit [Quit: WeeChat 2.0]
_xvilka_ has quit [Ping timeout: 256 seconds]
_xvilka_ has joined #ocaml
cbot has joined #ocaml
_xvilka_ has quit [Ping timeout: 260 seconds]
_xvilka_ has joined #ocaml
jeffmo has quit [*.net *.split]
vinoski has quit [*.net *.split]
ianconnolly has quit [*.net *.split]
jyc has quit [*.net *.split]
strmpnk has quit [*.net *.split]
lynn has quit [*.net *.split]
artart78 has quit [*.net *.split]
ianconnolly has joined #ocaml
vinoski has joined #ocaml
lynn has joined #ocaml
jyc has joined #ocaml
jeffmo has joined #ocaml
artart78 has joined #ocaml
strmpnk has joined #ocaml
_xvilka_ has quit [Ping timeout: 248 seconds]
Jesin has quit [Quit: Leaving]
_xvilka_ has joined #ocaml
freusque has quit [Quit: WeeChat 1.9.1]
freusque has joined #ocaml
freusque has quit [Client Quit]
jxv has quit [Quit: zzz…]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 268 seconds]
Harzilein has quit [Quit: ircII EPIC5-2.0.1 -- Are we there yet?]
_xvilka__ has joined #ocaml
_xvilka_ has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
johnelse is now known as johnel_away
johnel_away is now known as johnelse
zpe has quit [Ping timeout: 248 seconds]
esum has joined #ocaml
ziyourenxiang has quit [Ping timeout: 260 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 268 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 260 seconds]
cbot_ has quit [Ping timeout: 268 seconds]
dynrzk has joined #ocaml
eni has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
cuicui has quit [Ping timeout: 276 seconds]
dynrzk has quit [Quit: leaving]
malc_ has joined #ocaml
Anarchos has joined #ocaml
kakadu has joined #ocaml
circ-user-DfNgQ has joined #ocaml
dhil has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
circ-user-DfNgQ has quit [Remote host closed the connection]
jxv has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
nicootje has quit [Remote host closed the connection]
nicootje has joined #ocaml
cbot has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Ping timeout: 255 seconds]
jnavila has joined #ocaml
trysound has joined #ocaml
sz0_ has joined #ocaml
sz0_ has quit [Client Quit]
sz0 has joined #ocaml
KeyJoo has quit [Ping timeout: 276 seconds]
BitPuffin has quit [Remote host closed the connection]
jxv has quit [Quit: zzz…]
jxv has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
pierpa has joined #ocaml
eni has quit [Remote host closed the connection]
<hannes> anyone aware of a https://tools.ietf.org/html/rfc8264 (PRECIS Framework: Preparation, Enforcement, and Comparison of Internationalized Strings in Application Protocols) implementation in OCaml (using uu*)?
sepp2k has quit [Quit: Leaving.]
zolk3ri has quit [Quit: Lost terminal]
cbot has quit [Quit: Leaving]
jnavila has quit [Remote host closed the connection]
trysound has quit [Quit: Connection closed for inactivity]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
kakadu has quit [Remote host closed the connection]
barcabuona has quit [Quit: WeeChat 2.0.1]
ziyourenxiang has joined #ocaml
shinnya has joined #ocaml
jxv has quit [Ping timeout: 276 seconds]