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]
<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)
<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.
<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>
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?
<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]