adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<Algebr> hmm, looks like either tuareg or ocp-indent don't know how to handle indendation for local exception of 4.04
yomimono has quit [Ping timeout: 258 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
lol-icon has quit [Quit: Goddammit, Emacs.]
unyu has joined #ocaml
smondet has quit [Ping timeout: 260 seconds]
infinity0 has quit [Ping timeout: 258 seconds]
infinity0 has joined #ocaml
rgrinberg has joined #ocaml
abeaumont has quit [Ping timeout: 268 seconds]
wu_ng has joined #ocaml
d0nn1e has quit [Ping timeout: 268 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
agarwal1975 has joined #ocaml
d0nn1e has joined #ocaml
abeaumont has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
fraggle_ has quit [Ping timeout: 246 seconds]
nomicflux has quit [Quit: nomicflux]
desmond has quit [Ping timeout: 260 seconds]
silver has quit [Read error: Connection reset by peer]
nomicflux has joined #ocaml
nomicflux has quit [Ping timeout: 264 seconds]
isd has quit [Remote host closed the connection]
isd has joined #ocaml
infinity0 has quit [Remote host closed the connection]
isd has quit [Ping timeout: 245 seconds]
mfp has quit [Ping timeout: 250 seconds]
Lucasfish has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
<Lucasfish> Hello, is there something like ghci :info command for displaying the definition of variant types and signatures?
scitesy has joined #ocaml
tmtwd has joined #ocaml
<yminsky> In utop, you can type #typeof "v" to get the type of the variable v.
<yminsky> If you apply it to a type, you get the definition of that type. Similarly for modules and signatures.
FreeBirdLjj has joined #ocaml
<Lucasfish> that's a good thing to know, thanks
MercurialAlchemi has joined #ocaml
pierpa` has quit [Ping timeout: 245 seconds]
zirman has quit [Remote host closed the connection]
AlexRussia has quit [Ping timeout: 268 seconds]
noddy has quit [Ping timeout: 268 seconds]
Lucasfish has quit [Quit: Page closed]
tmtwd has quit [Ping timeout: 256 seconds]
zirman has joined #ocaml
scitesy has quit [Read error: Connection reset by peer]
wu_ng has quit [Ping timeout: 258 seconds]
zirman has quit [Ping timeout: 256 seconds]
jonasen has joined #ocaml
wu_ng has joined #ocaml
govg has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 245 seconds]
zany-wombat has joined #ocaml
zany-wombat has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 258 seconds]
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
copy` has quit [Quit: Connection closed for inactivity]
freusque has joined #ocaml
wu_ng has quit [Quit: Leaving]
wu_ng has joined #ocaml
MercurialAlchemi has joined #ocaml
freusque has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
jonasen has joined #ocaml
govg has joined #ocaml
freusque has joined #ocaml
AlexDenisov has joined #ocaml
govg has quit [Ping timeout: 250 seconds]
govg has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
_y has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Quit: Textual IRC Client: www.textualapp.com]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 246 seconds]
Orion3k has quit [Ping timeout: 260 seconds]
Orion3k has joined #ocaml
Simn has joined #ocaml
tobiasBora has joined #ocaml
argent_smith has joined #ocaml
maattdd has joined #ocaml
AltGr has joined #ocaml
raphinou has joined #ocaml
raphinou has quit [Client Quit]
raphinou has joined #ocaml
leah2 has quit [Ping timeout: 258 seconds]
trepta7 has quit [Ping timeout: 252 seconds]
average has quit [Quit: leaving]
zirman has joined #ocaml
zirman has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
<xyproto> Why does opam insist that my system is a "switch"? What's the history behind that?
ErwanG has joined #ocaml
ErwanG has quit [Client Quit]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
Flerex has joined #ocaml
ziyourenxiang has joined #ocaml
<chelfi> xyproto: opam can manage several compilers at once. By default, if you are using the compiler provided by the distribution, it will be detected as the system switch
<chelfi> your* distribution
Flerex has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
<chelfi> you can switch to another version (and last I checked it was recommended)
djellemah has quit [Ping timeout: 268 seconds]
chris2_ has joined #ocaml
chris2_ is now known as leah2
dhil has joined #ocaml
djellemah has joined #ocaml
Balod is now known as balod
<balod> Hello, anybody knows the status of RIP? (https://github.com/darioteixeira/rip)
<balod> It looks so much easier than any other REST/Web framework have seen for OCaml
<balod> Unfortunately it doesn't compile as is on my machine :'(
jonasen has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
_andre has joined #ocaml
<AltGr> xyproto, it's not your system that is a switch, it's your "opam switch" that is the "system" one, i.e. your active opam environment that is based on the system installation of OCaml
<AltGr> balod: that seems unreleased, right ? No opam package, no github release, no tags
ziyourenxiang has quit [Quit: Leaving]
<balod> Yes, it's unreleased. I was hoping Dario Texeira or somebody with insider knowledge could give more information.
<companion_cube> there is also something called ocplib-resto
<balod> companion_cube thanks, I'll have a look
<balod> However I wasn't looking for something limited to JSON, more something equivalent but easier to use than webmachine
kakadu has joined #ocaml
<balod> So I'm comparing webmachine/opium/rip so far
govg has quit [Ping timeout: 245 seconds]
jonasen has joined #ocaml
<companion_cube> oh.
<raphinou> so yesterday I learned to replace ; by >>= fun () -> when using lwt. But now using the ppx, I don't know how to replace the ;
<raphinou> I have currently this http://pastebin.com/Jqni1mFf
<raphinou> any advice?
<Armael> replace "a; b" by "let%lwt () = a in b"
<Armael> or rather, "a >>= fun () -> b" by "let%lwt () = a in b"
ziyourenxiang has joined #ocaml
<reynir> can't you ppx the semi-colon operator now since 4.04?
<Armael> ah, maybe. not sure if the lwt ppx handles that though
<reynir> So »a ;%lwt b« should be possible in 4.04 (if lwt implements it ofc)
<reynir> yea
<raphinou> I get this error: This expression has type unit but an expression was expected of type 'a Lwt.t
<raphinou> on the Lwt_unix.bind call of the pastebin code
zirman has joined #ocaml
<raphinou> I'm using ocaml 4.02 (ubuntu 16.04 package)
zirman has quit [Ping timeout: 252 seconds]
wu_ng has quit [Remote host closed the connection]
freusque has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
maattdd has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
zirman has joined #ocaml
zirman has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
infinity0 has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
ryanartecona has joined #ocaml
<Drup> reynir: it doesn't, and I find that syntax so ridiculously hideous that I'm not sure I want to implement it
ryanartecona has quit [Ping timeout: 250 seconds]
maattdd has joined #ocaml
<reynir> heh :D
fre has joined #ocaml
freusque has quit [Ping timeout: 252 seconds]
dhil has quit [Ping timeout: 258 seconds]
govg has joined #ocaml
fraggle_ has joined #ocaml
nicoo has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
nicoo has joined #ocaml
raphinou has quit [Quit: WeeChat 1.4]
nicoo has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nicoo has joined #ocaml
dhil has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
agarwal1975 has quit [Quit: agarwal1975]
Flerex has joined #ocaml
ryanartecona has joined #ocaml
ryanartecona has quit [Ping timeout: 245 seconds]
fraggle-boate has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
unbalanced has joined #ocaml
yomimono has joined #ocaml
agarwal1975 has joined #ocaml
pierpa has joined #ocaml
AlexRussia has joined #ocaml
govg has joined #ocaml
bobbypriambodo has joined #ocaml
bobbypriambodo has quit [Ping timeout: 260 seconds]
isd has joined #ocaml
yomimono has quit [Ping timeout: 258 seconds]
xyproto has quit [Quit: WeeChat 1.6]
rgrinberg has joined #ocaml
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
isd has quit [Ping timeout: 246 seconds]
th5 has joined #ocaml
ryanartecona has joined #ocaml
FreeBirdLjj has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
al-damiri has joined #ocaml
yomimono has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
jlongster has joined #ocaml
d0nn1e has quit [Ping timeout: 240 seconds]
d0nn1e has joined #ocaml
govg has quit [Ping timeout: 250 seconds]
Mercuria1Alchemi has joined #ocaml
copy` has joined #ocaml
shinnya has joined #ocaml
infinity0 has quit [Ping timeout: 264 seconds]
jonasen has joined #ocaml
infinity0 has joined #ocaml
octachron has joined #ocaml
slash^ has joined #ocaml
jnavila has quit [Quit: It was time]
<Leonidas> ; is already hideous
maattdd has quit [Ping timeout: 245 seconds]
<octachron> Leonidas, really? At least, it is a commonly used punctuation sign in several written languages
<octachron> ;%text_modifier is several order of magnitude weirder: a text modifier to a punctuation mark
ziyourenxiang has quit [Quit: Leaving]
ryanartecona has quit [Quit: ryanartecona]
sternenseemann has left #ocaml [#ocaml]
<Leonidas> octachron: in written languages it is okay, I use it sometimes as stylistic device. As for formal languages I kinda dislike it because its conflated in my mind with a line terminator sign
<Leonidas> octachron: only after I convinced my mind to accept it as operator (;) : unit -> 'a -> 'a I kinda accepted it :)
<Leonidas> as a sink for unit values, so to speak which makes sense in a way
yomimono has quit [Ping timeout: 258 seconds]
trepta7 has joined #ocaml
ryanartecona has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
yomimono has joined #ocaml
f[x] has joined #ocaml
tvynr has joined #ocaml
<tvynr> I'm weirdly having trouble finding anything useful here... does anyone know how to extend the timeout on an OUnit test to beyond 60 seconds?
<tvynr> Dug into the sources and discovered a type OUnitTest.test_length. There's apparently no way to configure this from the command line by default.
<dmbaturin> tvynr: Not me, but I have another problem that likely warrants a pull request and module interface extension. I guess we can cooperate on that. :)
ciniglio has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
f[x] has quit [Ping timeout: 258 seconds]
jnavila has quit [Client Quit]
kakadu has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
AltGr has left #ocaml [#ocaml]
f[x] has joined #ocaml
Smerdyakov has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
<Smerdyakov> I'm using the ocaml-xml-rpc package, which has a kind of plugin system for choosing a frontend that receives RPC requests. The only usable frontend I found included with the library is for CGI. Is anyone aware of an existing frontend for HTTP?
<dmbaturin> Smerdyakov: Long time no see!
<dmbaturin> Not me, but you made me think I should look into that package for what I'm doing now... :)
<dmbaturin> ...though I'll need an HTTP frontend as well.
* Smerdyakov waves.
<Smerdyakov> It's rather aggravating not to have one freely available out there!
<dmbaturin> Depending on the way it works, maybe it's easy to wrap it in cohttp or similar. But I have no idea what I'm talking about because I haven't seen the package yet.
<Smerdyakov> It probably only needs a page of code, but it will still take me an hour to write. ;)
<dmbaturin> I thought someone like you can produce the code in no time, it's the correctness proof that will take an hour. ;)
<dmbaturin> Back to serious, CGI as default is a bit of strange idea nowadays.
<Smerdyakov> Yeah, but this library is more than 10 years old.
<Smerdyakov> What's the right default for TCP programming in OCaml today?
sh0t has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
<dmbaturin> Well, I guess it explains. // So far I only used Unix, or its Lwt counterpart for that.
_andre has quit [Quit: leaving]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlongster has joined #ocaml
kakadu has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlongster has joined #ocaml
average has joined #ocaml
jonasen_ has joined #ocaml
jonasen has quit [Ping timeout: 265 seconds]
fraggle-boate has quit [Ping timeout: 258 seconds]
jonasen_ has quit [Ping timeout: 258 seconds]
jonasen has joined #ocaml
smondet has joined #ocaml
djellemah_ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
djellemah has quit [Disconnected by services]
djellemah_ is now known as djellemah
jonasen_ has joined #ocaml
jonasen has quit [Ping timeout: 260 seconds]
jmiven has quit [Quit: co'o]
abeaumont has quit [Ping timeout: 265 seconds]
ryanartecona has joined #ocaml
argent_smith has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
jmiven has joined #ocaml
slash^ has quit [Quit: Leaving]
dhil has quit [Ping timeout: 250 seconds]
aantron has quit [Ping timeout: 250 seconds]
noddy has joined #ocaml
Flerex has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
aantron has joined #ocaml
yomimono has quit [Quit: Leaving]
wolfcore has quit [Ping timeout: 250 seconds]
noddy has quit [Ping timeout: 246 seconds]
wolfcore has joined #ocaml
unbalanced has quit [Quit: WeeChat 1.6]
Flerex has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
<flux> nice how freenode has toned down their wallops. "please read the update" - update says "we recommend you change password"
jlongster has quit [Quit: Textual IRC Client: www.textualapp.com]
larhat has quit [Quit: Leaving.]
isd has joined #ocaml
trepta7 has quit [Ping timeout: 260 seconds]
isd has left #ocaml [#ocaml]
isd has joined #ocaml
sepp2k has joined #ocaml
zirman has quit [Remote host closed the connection]
sepp2k has quit [Client Quit]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
Algebr has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
Algebr has joined #ocaml
luzie has quit [Quit: WeeChat 1.7-dev]
luzie has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
Mercuria1Alchemi has quit [Remote host closed the connection]
nomicflux has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
fraggle-boate has joined #ocaml
jonasen_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zirman has quit [Ping timeout: 246 seconds]
Smerdyakov has quit [Quit: Leaving]
infinity0 has quit [Ping timeout: 258 seconds]
infinity0 has joined #ocaml
noddy has joined #ocaml
janmi has joined #ocaml
jnavila has quit [Remote host closed the connection]
freusque has joined #ocaml
janmi has quit [Ping timeout: 260 seconds]
Algebr` has joined #ocaml
th5 has quit []
Simn has quit [Quit: Leaving]
octarin has joined #ocaml
Flerex has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
zirman has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
kakadu has left #ocaml [#ocaml]
zirman has quit [Ping timeout: 260 seconds]
<octarin> Hello. I would like to know what is the function associated to the * operator. (*) has apparently a special meaning for comments and I don’t find any equivalent to (+), (-) etc for the multiplication
<smondet> octarin: you can add spaces: # ( * ) ;;
<smondet> - : int -> int -> int = <fun>
<octarin> ty
smondet has quit [Ping timeout: 258 seconds]
trepta7 has joined #ocaml
zirman has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
ryanartecona has quit [Quit: ryanartecona]