ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
rand000 has quit [Quit: leaving]
thomasga has joined #ocaml
AltGr has joined #ocaml
axiles has joined #ocaml
prsn has quit [Ping timeout: 245 seconds]
prsn has joined #ocaml
dav has quit [Remote host closed the connection]
freling has quit [Quit: Leaving.]
madroach has quit [Ping timeout: 264 seconds]
dav has joined #ocaml
madroach has joined #ocaml
ericwa has quit [Quit: Leaving...]
prsn has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
prsn has joined #ocaml
claudiuc has quit [Remote host closed the connection]
boogie has quit [Remote host closed the connection]
cdidd has quit [Ping timeout: 245 seconds]
prsn has quit [Ping timeout: 265 seconds]
prsn has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
ghostpl_ has joined #ocaml
dav has quit [Read error: Connection reset by peer]
ghostpl_ has quit [Ping timeout: 250 seconds]
badon has quit [Quit: Leaving]
paolooo has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
prsn has quit [Ping timeout: 265 seconds]
prsn has joined #ocaml
keen__________85 has joined #ocaml
keen__________84 has quit [Ping timeout: 265 seconds]
yminsky has joined #ocaml
MrScou___ has quit [Remote host closed the connection]
prsn has quit [Ping timeout: 245 seconds]
Guest23255 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
prsn has joined #ocaml
darkf has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
bjorkintosh has joined #ocaml
ygrek has joined #ocaml
prsn has quit [Ping timeout: 256 seconds]
prsn has joined #ocaml
bjorkintosh has quit [Ping timeout: 244 seconds]
nullcat has joined #ocaml
<dmbaturin> Is there a way to start an async thread with a callback that takes something else than unit in Lwt?
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
tcpc has left #ocaml ["WeeChat 1.0"]
struktured has joined #ocaml
<dmbaturin> What should I do if I expect most of connections to be long running so I want to spawn a thread on accept and read from the descriptor forever?
pyon has quit [Ping timeout: 246 seconds]
Denommus has quit [Quit: going home]
boogie has quit [Remote host closed the connection]
badon has joined #ocaml
prsn has quit [Ping timeout: 240 seconds]
yminsky has quit [Quit: yminsky]
tel has joined #ocaml
yminsky has joined #ocaml
prsn has joined #ocaml
waneck has joined #ocaml
yminsky has quit [Client Quit]
yminsky has joined #ocaml
pyon has joined #ocaml
paolooo has quit [Ping timeout: 246 seconds]
yminsky has quit [Quit: yminsky]
prsn has quit [Ping timeout: 246 seconds]
mfp_ has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
rgrinberg1 has quit [Quit: WeeChat 1.1.1]
rgrinberg has joined #ocaml
ggole has joined #ocaml
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 256 seconds]
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
enquora has quit [Quit: enquora]
ptc has joined #ocaml
ptc is now known as Guest59356
<maurer> Hey, can anyone help me figure out whether the behavior I found here: https://gist.github.com/maurer/143f8b18ed8a80ffab47 is a bug or me misusing ocamlgraph somehow?
<maurer> (the tl;dr is that after a map_vertex and some edge removals, a node has indegree 0 and no predecessors, but printing all edges shows an edge to it)
Guest59356 has quit [Ping timeout: 244 seconds]
ptc_ has joined #ocaml
prsn has quit [Ping timeout: 256 seconds]
prsn has joined #ocaml
<smondet> dmbaturin: as long as your accect/read/write/etc are from Lwt_unix evertyhing should be fine (maybe have a look at the examples https://github.com/ocsigen/lwt/tree/master/examples/unix)
waneck has quit [Read error: Connection reset by peer]
<dmbaturin> smondet: Well, but if I start it with async which takes unit -> 'a Lwt.t, how do I tell it the descriptor I got from accept?
tel has quit [Remote host closed the connection]
enquora has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
keen__________86 has joined #ocaml
prsn has quit [Ping timeout: 252 seconds]
keen__________85 has quit [Ping timeout: 272 seconds]
prsn has joined #ocaml
badon has quit [Quit: Leaving]
struktured has quit [Ping timeout: 256 seconds]
tel has joined #ocaml
<smondet> dmbaturin: async (fun () -> something_with descriptor) ?
badkins has quit []
ygrek has quit [Ping timeout: 264 seconds]
prsn has quit [Ping timeout: 252 seconds]
<dmbaturin> smondet: Oh. Good point, thanks.
prsn has joined #ocaml
ptc_ has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
badon has joined #ocaml
ygrek has joined #ocaml
<dmbaturin> smondet: This kind of partial application will correctly fine at runtime, right?
tel has quit [Ping timeout: 252 seconds]
prsn has quit [Ping timeout: 250 seconds]
prsn has joined #ocaml
natrium1970 has joined #ocaml
<natrium1970> Is there a clever (but not too esoteric) way to avoid duplicating type information in the .mli an .ml? For example http://pastebin.com/Bt9sd5Xj.
<dmbaturin> natrium1970: Do you want anyone outside the module to use the type directly?
<natrium1970> yes.
iorivur has quit [Ping timeout: 256 seconds]
<dmbaturin> Ah. Hhm, good question.
<natrium1970> I couldn’t find a way that would expose type t without also exposing the implementation of to_string.
<ggole> Pull the type t into a third module and reference it in both .ml and .mli
<ggole> (Not a very nice solution, really, but effective enough.)
<natrium1970> I should have included the detail that I didn’t want to exposure the implementation of to_string. It’s not a big deal. It’s more of a curiousity.
prsn has quit [Ping timeout: 256 seconds]
ghostpl_ has joined #ocaml
<ggole> I'm not sure what you mean
prsn has joined #ocaml
<natrium1970> I’d like the user to see a module with type t = A | B of int | C of string and a function to_string, but not see the *implementation* of to_string.
<ggole> That's achieved easily enough by having a .mli
<natrium1970> Yes, I have that. But then the type t = … has to be repeated in the .ml file.
<ggole> I'm suggesting making another module containing the type t, and just using that
ghostpl_ has quit [Ping timeout: 246 seconds]
<ggole> You shouldn't need any duplication if you do it that way.
<natrium1970> Oh, okay. Let me see if I can make that work.
<ggole> eg in the .mli, type t = OtherModule.t
govg_ has quit [Quit: leaving]
<natrium1970> It’s not quite working out.
<ggole> Oh?
<natrium1970> ggole: Okay. I had to open the module Othermodule in m.ml: http://pastebin.com/BjSWyFDA
<ggole> Right.
<ggole> Or you could use local open, or qualified names
<natrium1970> yeah. Okay. Thanks ggole and dmbaturin
<natrium1970> This is the most helpful channel.
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
enquora has quit [Quit: enquora]
c74d has joined #ocaml
joeattueyi has joined #ocaml
huza has joined #ocaml
prsn has quit [Ping timeout: 256 seconds]
prsn has joined #ocaml
Bhavya has joined #ocaml
ghostpl_ has joined #ocaml
bugabinga has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 272 seconds]
AltGr has left #ocaml [#ocaml]
AltGr has joined #ocaml
prsn has quit [Ping timeout: 244 seconds]
prsn has joined #ocaml
ebzzry has joined #ocaml
bugabinga has joined #ocaml
<maurer> Hey, can anyone help me figure out whether the behavior I found here: https://gist.github.com/maurer/143f8b18ed8a80ffab47 is a bug or me misusing ocamlgraph somehow?
<dmbaturin> It's not like everyone ignores you, but I have no experience with ocamlgraph at all. :)
<maurer> dmbaturin: Yeah, I just saw that there had been a big change in channel activity so I rementioned it
<maurer> figured some new people may have shown
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
kapil___ has quit [Quit: Connection closed for inactivity]
ygrek has joined #ocaml
prsn has quit [Ping timeout: 245 seconds]
huza has quit [Quit: WeeChat 0.3.8]
prsn has joined #ocaml
AlexRussia has quit [Ping timeout: 240 seconds]
AlexRussia has joined #ocaml
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
joeattueyi has quit []
AlexRussia has quit [Ping timeout: 244 seconds]
xificurC has joined #ocaml
AlexRussia has joined #ocaml
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
axiles has quit [Ping timeout: 256 seconds]
axiles has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
prsn has quit [Ping timeout: 245 seconds]
prsn has joined #ocaml
natrium1970 has quit [Quit: natrium1970]
sgnb has joined #ocaml
Bhavya has quit [Ping timeout: 245 seconds]
fraggle-boate has quit [Ping timeout: 245 seconds]
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
Submarine has quit [Quit: Leaving]
Bhavya has joined #ocaml
prsn has quit [Ping timeout: 252 seconds]
matason has joined #ocaml
prsn has joined #ocaml
freling has joined #ocaml
cdidd has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
axiles has quit [Ping timeout: 272 seconds]
Haudegen has quit [Ping timeout: 240 seconds]
prsn has quit [Ping timeout: 244 seconds]
prsn has joined #ocaml
Simn has joined #ocaml
Haudegen has joined #ocaml
kakadu has joined #ocaml
zpe has joined #ocaml
toolslive has joined #ocaml
prsn has quit [Ping timeout: 265 seconds]
<toolslive> is there something like Oo.copy but for record types ?
prsn has joined #ocaml
freling has quit [Quit: Leaving.]
<ggole> Not really. There's syntax for copying a record and altering a field, though
pgas has quit [Quit: /quit]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<toolslive> let clone = { t with t.x = t.x}
<toolslive> ?
<ggole> Yeah
<ggole> Of course this isn't polymorphic at all
<toolslive> yes. well, I never missed it until 10 minutes ago...
<Drup> maurer: I have no idea, it's very weird
<Drup> I can reproduce, you should report to https://github.com/backtracking/ocamlgraph/issues
prsn has quit [Ping timeout: 246 seconds]
<mrvn> It's easy to write one in C or marshal + unmarshal
prsn has joined #ocaml
tane has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Quit: Leaving.]
fraggle-boate has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
prsn has quit [Ping timeout: 245 seconds]
Bhavya has quit [Quit: Quit the channel]
prsn has joined #ocaml
govg has joined #ocaml
ebzzry has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
bjorkintosh has joined #ocaml
prsn has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
thomasga has joined #ocaml
prsn has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
Bhavya has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
dsheets has joined #ocaml
thomasga has quit [Quit: Leaving.]
prsn has quit [Ping timeout: 272 seconds]
prsn has joined #ocaml
siddharthv has joined #ocaml
testcocoon has quit [Ping timeout: 246 seconds]
siddharthv is now known as siddharthv_away
siddharthv_away is now known as siddharthv
<ollehar> any comments about 1ML?
<ollehar> seems cool.
ygrek has quit [Ping timeout: 252 seconds]
testcocoon has joined #ocaml
prsn has quit [Ping timeout: 250 seconds]
prsn has joined #ocaml
toolslive has quit [Remote host closed the connection]
mort___ has joined #ocaml
thomasga has joined #ocaml
<kakadu> ollehar: link?
<ollehar> also, reddit.
govg has quit [Quit: leaving]
reem has quit [Remote host closed the connection]
_andre has joined #ocaml
sdothum has joined #ocaml
Bhavya has quit [Quit: Quit the channel]
iorivur has joined #ocaml
axiles has joined #ocaml
prsn has quit [Ping timeout: 264 seconds]
freling has joined #ocaml
prsn has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
bugabinga has quit [Remote host closed the connection]
Bhavya has joined #ocaml
bugabinga has joined #ocaml
thomasga has quit [Quit: Leaving.]
octachron has joined #ocaml
dsheets has joined #ocaml
thomasga has joined #ocaml
Haudegen has joined #ocaml
siddharthv is now known as siddharthv_away
oscar_toro has quit [Quit: Lost terminal]
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 264 seconds]
prsn has quit [Ping timeout: 264 seconds]
axiles has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
thomasga has quit [Quit: Leaving.]
axiles has joined #ocaml
Simn has quit [Quit: Leaving]
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
prsn has quit [Ping timeout: 272 seconds]
AltGr has left #ocaml [#ocaml]
prsn has joined #ocaml
freling has quit [Quit: Leaving.]
<Algebr> is .. an extension of some sort? example: | '0' .. '9'
<adrien_znc> range in pattern matchin
<adrien_znc> not recent at all
<Algebr> only valid in pattern matching?
<ggole> It's the row variable in object types as well
Bhavya has quit [Quit: Quit the channel]
axiles has quit [Ping timeout: 256 seconds]
axiles has joined #ocaml
<flux> ..what?
<ggole> Er, are you asking me?
<flux> yes :-)
h0ffline has quit [Ping timeout: 246 seconds]
<flux> range patterns in object types?
<ggole> Well, try let f x = x#z and look at the output
<ggole> It has the field z, but it also has a .. that stands for the 'shape' of the rest of the object
<flux> well, ok, it has the token .., but it means completely different thing :)
<ggole> Yes
ygrek has joined #ocaml
prsn has quit [Ping timeout: 250 seconds]
prsn has joined #ocaml
thomasga has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
prsn has quit [Ping timeout: 264 seconds]
<chris2> ocamlfind: Package `core_profiler.offline_tool' requires itself
<chris2> why is that a problem, i'm not even touching that package...
prsn has joined #ocaml
<adrien_znc> narcissist packages
* chris2 hacks the META file
freling has joined #ocaml
paradoja has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
SuperNoeMan has quit [Ping timeout: 245 seconds]
badkins has joined #ocaml
shinnya has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
prsn has quit [Ping timeout: 252 seconds]
SuperNoeMan has joined #ocaml
prsn has joined #ocaml
boadie has joined #ocaml
<haesbaert> is there a way to make exceptions in Lwt blow the program instead of failing the current Lwt ?
<haesbaert> I mean exceptions that are not catch by Lwt.catch
boadie has quit [Ping timeout: 265 seconds]
c74d has quit [Ping timeout: 265 seconds]
keen__________86 has quit [Read error: Connection reset by peer]
keen__________86 has joined #ocaml
c74d has joined #ocaml
jerith has quit [Ping timeout: 246 seconds]
jerith has joined #ocaml
<Algebr> are people converging to oasis as the general build tool?
<MercurialAlchemi> Algebr: it's used rather widely
prsn has quit [Ping timeout: 252 seconds]
<MercurialAlchemi> that said, it's not exactly perfect
<companion_cube> there is no convergence when it comes to build systems
prsn has joined #ocaml
ptc has joined #ocaml
ptc is now known as Guest25926
<mrvn> oasis is a meta build system, like automake.
<tane> hi there
<tane> does anyone know of a way to force Cmdliner to print help in `Plain mode by default, instead of `Pager. The latter seems to have Utf8 problems, eating my precious umlauts
uris77 has joined #ocaml
Simn has joined #ocaml
<smondet> tane: I use `export PAGER=cat` in my shell
<smondet> (then it also works with other annoying things like `git blah --help` and so on)
<tane> ok, that works :)
<tane> thanks
<tane> still eats the umlauts meh
<tane> i will have to live with that for now
<MercurialAlchemi> utf8 and ocaml walk into a bar...
<smondet> then the problem maybe your terminal or something
<tane> smondet, if i do not export PAGER=cat and run ./app --help=plain it works
<smondet> and with `cat` it doesn't?
<tane> ./app --help=plain | cat still displays correctly
<tane> <standard input>:15: warning: can't find character with input code 195
<tane> <standard input>:15: warning: can't find character with input code 188
<tane> those errors i cat with PAGER=cat, but i do not know where they come from :)
freling has quit [Quit: Leaving.]
<smondet> are your sources utf-8 or latin1 ?
<tane> utf8
jyc has quit [Ping timeout: 256 seconds]
prsn has quit [Ping timeout: 252 seconds]
<smondet> tane: ok I have the same problem with cmldliner stuff
jyc has joined #ocaml
<tane> ok, today's the day of strange errors
prsn has joined #ocaml
<flux> I think they come from troff
<smondet> yes from `groff` or `ngroff`
<flux> because the troff binary contains the string 'find character with input code'
<tane> ok
<tane> haha ok
darkf has quit [Quit: Leaving]
<tane> the question is if it was advisable to remove -Tascii then
<tane> don't these tools lookup the environment LANG etc for themselves to see what's approriate?
madroach has joined #ocaml
prsn has quit [Ping timeout: 250 seconds]
prsn has joined #ocaml
dsheets has joined #ocaml
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
rgrinberg has joined #ocaml
Guest25926 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ptc has joined #ocaml
ptc is now known as Guest72579
lordkryss has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
axiles has quit [Ping timeout: 246 seconds]
prsn has quit [Ping timeout: 245 seconds]
prsn has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
vfoley has joined #ocaml
AlexRussia has joined #ocaml
MrScout has joined #ocaml
thomasga has quit [Quit: Leaving.]
h0ffline has joined #ocaml
vfoley has quit [Ping timeout: 256 seconds]
vfoley has joined #ocaml
vfoley has quit [Changing host]
vfoley has joined #ocaml
slash^ has joined #ocaml
<vfoley> Can anyone offer some assistance with Menhir and external symbols? I have a parser.mly file and a token.ml file (which contains a type token = ... definition). When compiling with ocamlbuild -use-menhir -menhir 'menhir -v --explain --external-tokens Token' main.native, I get an error when compiling parser.mly that my tokens are undefined.
thomasga has joined #ocaml
<tane> you need to define your tokens in your .mly file
<vfoley> I want to define them outside (hence the --external-token usage)
<vfoley> Or are you saying I need to duplicate them in the .mly file as well?
<whitequark> two .mly files iirc
Haudegen has joined #ocaml
<whitequark> a .mlypack and two .mly files
<vfoley> ok
<vfoley> thanks
<Algebr> for omake, is there a way to make one .default depend on the completion of another .default?
prsn has quit [Ping timeout: 245 seconds]
ghostpl_ has quit [Remote host closed the connection]
boogie has joined #ocaml
prsn has joined #ocaml
<Drup> haesbaert: it should be the case
<Drup> ollehar: 1ML is very interesting
<ollehar> Drup: yeah, I like it
<Drup> there was a talk about it at last ML workshop
dsheets has quit [Ping timeout: 256 seconds]
<ollehar> video?
<Drup> yes
<Drup> This is probably the most interesting base currently for a ML-like language.
<ollehar> cool
<Drup> (not counting fancy features like effects and all that, just the traditional part :p)
<ollehar> I was looking a programming language directly inferred from simply-typed lambda calc, but this is better of course :)
<ollehar> *for a
dsheets has joined #ocaml
Guest72579 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Algebr has quit [Remote host closed the connection]
octachron has quit [Quit: Leaving]
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
freling has joined #ocaml
<Drup> simply typed lambda calculus is horrible to program with.
<Drup> you lack .. too much things
testcocoon has quit [Quit: Coyote finally caught me]
nojb has joined #ocaml
<whitequark> compassion, empathy, humanity
testcocoon has joined #ocaml
ptc_ has joined #ocaml
matason has quit [Quit: Later!]
nojb has quit [Quit: nojb]
matason has joined #ocaml
<nicoo> :D
<nicoo> And polymorphism :P
<Drup> whitequark: and recursion
<Drup> don't forget recursion.
<reynir> yea it's pretty limited what you can compute
prsn has quit [Ping timeout: 255 seconds]
<nicoo> Drup: Can't you have a fix-point builtin in simply-typed lambda calculus ?
<mrvn> nicoo: that's untypable
<companion_cube> one fix-point per type
<Drup> well, you can't have Y
<nicoo> mrvn: You can have a type-indexed builtin (yes, this is quite close to introducing polymorphism)
<Drup> and you can't have arbitrary recursion either, iirc
<mrvn> but I guess if you make a built-in Y you can magically hardcode the type
prsn has joined #ocaml
<mrvn> but then you have simply-typed lambda + recursion
<Drup> then, yeah, you can, but it's not typed lambda calculus anymore, it's bigger :)
<thizanne> but then you don't have STLC anymore, so where do you stop ?
<mrvn> thizanne: at ocaml
<mrvn> the one stop lace for all your programming needs
<mrvn> +p
Haudegen has quit [Ping timeout: 244 seconds]
<whitequark> well i want regions
<whitequark> regicaml
<companion_cube> nicoo: in some sense, OCaml isn't polymorphic, it has type schematas, not polymorphic types
Muzer has quit [Max SendQ exceeded]
<companion_cube> (record fields excepted)
<ggole> whitequark: MLKit?
<whitequark> not ocaml D:
Haudegen has joined #ocaml
Muzer has joined #ocaml
zpe has quit [Remote host closed the connection]
<companion_cube> whitequark: what for?
ghostpl_ has joined #ocaml
prsn has quit [Ping timeout: 256 seconds]
matason_ has joined #ocaml
<mrvn> Guest61842: go and play nethack
<mrvn> ups, ewin
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
matason_ has quit [Client Quit]
matason_ has joined #ocaml
prsn has joined #ocaml
matason has quit [Ping timeout: 264 seconds]
ptc has joined #ocaml
ptc is now known as Guest17562
ghostpl_ has quit [Ping timeout: 256 seconds]
<companion_cube> love the Ook code snippet
<Drup> whitequark: mezzo ? :)
thomasga has quit [Quit: Leaving.]
<whitequark> companion_cube: iunno. just wanna
freling has quit [Quit: Leaving.]
vfoley has quit [Ping timeout: 256 seconds]
thomasga has joined #ocaml
prsn has quit [Ping timeout: 240 seconds]
prsn has joined #ocaml
<ollehar> though it bother me a bit that 1ML also has aliceml, mixml, etc etc etc
<ollehar> *bothers
<ollehar> just a couple of proof-of-concept?
<tane> it's from the same city :)
<haesbaert> Drup: I think now I see it, the exception needs to be propagated "up" the first Lwt_run
Haudegen has quit [Ping timeout: 245 seconds]
<haesbaert> until there it's in each Lwt, I wanted to explode if the returned valued is not handled on the first ocasion, but I see now this is impossible
<Drup> you should not have multiple Lwt_run.
<haesbaert> oh I don't, I miss expressed myself
<haesbaert> changing my first thread from a join to choose will do the trick of exploding
freling has joined #ocaml
<rgrinberg> Drup: mind if I make a PR to rename Cset -> Sedlexing_cset ?
dhil has joined #ocaml
Haudegen has joined #ocaml
freling has quit [Client Quit]
<Drup> not at all
<rgrinberg> sedlexing_ or sedlex_?
<rgrinberg> Drup: ^
prsn has quit [Ping timeout: 250 seconds]
MooseAndCaml has joined #ocaml
<Drup> no opinion, it's internal to the ppx anyway, it's not visible to the end user.
prsn has joined #ocaml
<MooseAndCaml> hi. Is there anyway to make merlins autocompletion window display only one column?
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
beginner has joined #ocaml
jcloud has joined #ocaml
beginner has quit [Quit: Leaving]
beginner has joined #ocaml
beginner has joined #ocaml
prsn has quit [Ping timeout: 272 seconds]
ghostpl_ has joined #ocaml
beginner has quit [Client Quit]
govg has joined #ocaml
prsn has joined #ocaml
axiles has joined #ocaml
ghostpl_ has quit [Ping timeout: 265 seconds]
larhat has quit [Quit: Leaving.]
prsn has quit [Ping timeout: 256 seconds]
kakadu has quit [Quit: Page closed]
prsn has joined #ocaml
tani has joined #ocaml
tane has quit [Killed (orwell.freenode.net (Nickname regained by services))]
tani is now known as tane
Anarchos has joined #ocaml
<Anarchos> Is there a channel intended towards compcert discussion ?
MooseAndCaml has quit [Ping timeout: 246 seconds]
<dmbaturin> Anarchos: Maybe try asking on #coq
<Anarchos> ok
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
mort___ has quit [Ping timeout: 265 seconds]
ollehar1 has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
prsn has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
ghostpl_ has joined #ocaml
c355E3B has joined #ocaml
c355E3B has quit [Client Quit]
ghostpl_ has quit [Ping timeout: 245 seconds]
prsn has quit [Ping timeout: 256 seconds]
prsn has joined #ocaml
micrypt has joined #ocaml
paradoja has left #ocaml ["Killed buffer"]
rgrinberg has joined #ocaml
yminsky has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
ggole has quit [Ping timeout: 245 seconds]
yminsky has quit [Client Quit]
prsn has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
prsn has joined #ocaml
thomasga has quit [Ping timeout: 256 seconds]
kakadu has joined #ocaml
prsn has quit [Ping timeout: 246 seconds]
prsn has joined #ocaml
thomasga has joined #ocaml
rand000 has joined #ocaml
vfoley has joined #ocaml
vfoley has quit [Changing host]
vfoley has joined #ocaml
_andre has quit [Quit: leaving]
pyon is now known as pyon-who
claudiuc has joined #ocaml
pyon-who is now known as pyon
prsn has quit [Ping timeout: 272 seconds]
prsn has joined #ocaml
Denommus has joined #ocaml
badkins has quit []
thomasga has quit [Quit: Leaving.]
prsn has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
prsn has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
thomasga has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
keen__________86 has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
ghostpl_ has joined #ocaml
testcocoon has joined #ocaml
Guest17562 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
prsn has quit [Ping timeout: 244 seconds]
ghostpl_ has quit [Ping timeout: 244 seconds]
prsn has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
ptc has joined #ocaml
ptc is now known as Guest65209
flux has quit [Ping timeout: 250 seconds]
Nahra has joined #ocaml
badon has quit [Quit: Leaving]
jprakash has joined #ocaml
TheLemonMan has joined #ocaml
prsn has quit [Ping timeout: 252 seconds]
shinnya has joined #ocaml
prsn has joined #ocaml
shinnya has quit [Client Quit]
SGrondin has joined #ocaml
shinnya has joined #ocaml
matason_ has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
shinnya has quit [Quit: ZNC - http://znc.in]
shinnya has joined #ocaml
prsn has quit [Ping timeout: 272 seconds]
prsn has joined #ocaml
ollehar1 has quit [Ping timeout: 255 seconds]
badon has joined #ocaml
uris77 has quit [Quit: leaving]
waneck has joined #ocaml
reem has joined #ocaml
prsn has quit [Ping timeout: 246 seconds]
reem has quit [Remote host closed the connection]
iorivur has quit [Ping timeout: 256 seconds]
prsn has joined #ocaml
reem_ has joined #ocaml
struktured has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
freling has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
struk|work has quit [Ping timeout: 246 seconds]
boogie has quit [Remote host closed the connection]
prsn has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
prsn has joined #ocaml
tane has quit [Quit: Verlassend]
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
Anarchos has quit [Quit: O kousk emaon. Nozh vezh mat deoc'h !]
boogie has joined #ocaml
psy_ has quit [Ping timeout: 246 seconds]
herkul has joined #ocaml
psy_ has joined #ocaml
prsn has quit [Ping timeout: 252 seconds]
prsn has joined #ocaml
ghostpl_ has joined #ocaml
iorivur has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
ghostpl_ has quit [Ping timeout: 264 seconds]
prsn has quit [Ping timeout: 252 seconds]
prsn has joined #ocaml
meteo_ has joined #ocaml
nullcat has joined #ocaml
xificurC has quit [Ping timeout: 264 seconds]
prsn has quit [Ping timeout: 252 seconds]
prsn has joined #ocaml
freling has quit [Quit: Leaving.]
prsn has quit [Ping timeout: 245 seconds]
prsn has joined #ocaml
iorivur has quit [Ping timeout: 256 seconds]
herkul has quit []
rand000 has quit [Quit: leaving]
kakadu has quit [Remote host closed the connection]
nullcat has quit [Read error: Connection reset by peer]
dhil has quit [Quit: Leaving]
prsn has quit [Ping timeout: 245 seconds]