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
nojb has joined #ocaml
BitPuffin has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
nojb has quit [Quit: nojb]
NoNNaN has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
NoNNaN has joined #ocaml
nojb has joined #ocaml
rgrinberg has joined #ocaml
enitiz_ has quit [Remote host closed the connection]
enitiz has joined #ocaml
<artagnon> whitequark: Fixed!
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
matason has quit [Quit: Leaving...]
alkoma has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 258 seconds]
ygrek has joined #ocaml
mcclurmc_ has quit [Remote host closed the connection]
MrScout_ has joined #ocaml
sars has joined #ocaml
MrScout has quit [Ping timeout: 258 seconds]
ivan\ has quit [Ping timeout: 252 seconds]
MrScout_ has quit [Ping timeout: 258 seconds]
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
ivan\ has joined #ocaml
ivan\ has quit [Ping timeout: 258 seconds]
ivan\ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
<whitequark> Leonidas: it's just the name of the field, like `Error "foo", or sometimes `Error "foo.1" if it's a tuple
<whitequark> return whatever you want, really
Bluddy has quit [Quit: Connection closed for inactivity]
ontologiae_ has joined #ocaml
oscar_toro has joined #ocaml
oscar_toro has quit [Max SendQ exceeded]
Hannibal_Smith has quit [Quit: Leaving]
oscar_toro has joined #ocaml
rgrinberg has joined #ocaml
alkoma has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
<artagnon> whitequark: Does the change look good?
<artagnon> ... or are you waiting on the other reviewers?
Riviera_ has joined #ocaml
<whitequark> which change?..
ontologiae_ has quit [Ping timeout: 256 seconds]
<whitequark> artagnon: re D6806, I don't see why changes outside AddOCaml are necessary. remove them.
<artagnon> I've described that two steps are necessary.
<artagnon> The second change is required because lit expects LIBDIR, which is not set.
<whitequark> well, fix lit then
<whitequark> don't just add random unscoped variables in main cmakelists
<artagnon> What do you mean?
<artagnon> How can I fix lit?
<artagnon> Use LLVM_LIBRARY_DIR?
<artagnon> Then I have to get Make to set that.
<artagnon> LIBDIR is a GNU'ism iiuc.
<artagnon> See also: SHLIBDIR.
<whitequark> what?
<whitequark> there's lit.cfg
<artagnon> Yes.
<artagnon> Which picks up @LIBDIR@
rgrinberg has quit [Quit: Leaving.]
<whitequark> well, fix that instead
<whitequark> why did you remove -ldopt?
<artagnon> ... because -ldopt is only for shared library.
<artagnon> "Options passed to shared linker"
<artagnon> Without ldopt, an external program links fine.
<artagnon> How do I fix lit.cfg? I need /some/ variable that's common to make and cmake, right?
<artagnon> make already exports LIBDIR.
<whitequark> or a conditional
<whitequark> lit.cfg is python
<artagnon> So, like if @LIBDIR@ else @LLVM_LIB_DIR@?
<whitequark> yeah
<artagnon> You're sure that's less ugly?
<whitequark> well, alternatively, seek approval from someone else to change cmakelists
<whitequark> because I can't give it
<whitequark> no idea what else that might change
<artagnon> Okay. chandlerc is marked on it.
<Leonidas> whitequark: but I don't know the name of the field. Maybe the methods could take an optional field name value?
<Leonidas> maybe I am overcomplicating things, if so then sorry :-)
<whitequark> artagnon: why did you change -I in ocamldoc?
<whitequark> Leonidas: currently it is not hierarchical, yes
<whitequark> I mean
<whitequark> if you serialize a structure like {"x":1,"y":2}
ygrek has quit [Quit: ygrek]
<whitequark> of course you know the name of the field you're currently working with
<whitequark> but not where the structure itself is located, right?
ygrek has joined #ocaml
<whitequark> so currently I just don't output that, instead I expect you to look at the backtrace. it's definitely not the best solution
<whitequark> I was thinking about passing an optional field to specify the path from the root, yes
<Leonidas> do I? When i have a {foo: mytype} and {bar: mytype}, and a mytype_of_yojson, I can't currently know whether it should be `Error "typename.foo" or `Error "anothertype.bar"
<Leonidas> yes, an optional field was exactly what I was thinking about :)
<Leonidas> it is not that important but nice to have.
<whitequark> ohhh
<whitequark> actually ppx_deriving provides this facility
myyst has quit [Ping timeout: 265 seconds]
myyst has joined #ocaml
<artagnon> whitequark: For static linking, I need the -L...
<artagnon> -ldopt -L... is for shared linking only.
<Leonidas> whitequark: deriving or _deriving_ppx?
<Leonidas> *_deriving_yojson
<whitequark> artagnon: why do you need -L?
<Leonidas> yojson is my least favorite project name in recent history
<artagnon> whitequark: So that it finds the LLVM libraries!
<artagnon> No rpath, remember?
<whitequark> I have shown you the part in lit.cfg where it provides a -L
<whitequark> to the tests
<whitequark> there is no need to embed -L with an absolute path permanently inside the cma
<artagnon> I'm not able to link programs otherwise.
<artagnon> When I say -package ..., it should link, right/
<artagnon> Or do I have to explicitly give the -L when I link external programs to the cma?
<whitequark> are you trying to link against an installed version of LLVM?
<whitequark> or a build tree?
<artagnon> (that's not how it works in dynamic linking)
<artagnon> build tree.
<whitequark> if latter, this won't work, and this is an ocaml issue
<whitequark> sec
<whitequark> you should've said you don't have a problem with tests. yeah, this is a known issue
<whitequark> this will be fixed in 4.02.2
<artagnon> No, I do have a problem with the tests.
<artagnon> It's a multiple-issue.
<whitequark> for 4.02.1 and earlier, the preferred solution is to add linkopts = "-Lpath" to META, where path is the path to LLVM libs
<artagnon> So what's the problem putting absolute paths for now?
<artagnon> Oh.
<whitequark> because LLVM installs are supposed to be relocatable
<whitequark> and absolute paths in binaries are anything but
<artagnon> Right.
<whitequark> *especially* if this is an absolute path to the *build tree*
<whitequark> which doesn't even exist most of the time
<artagnon> Right.
rgrinberg has joined #ocaml
<artagnon> Okay, so the issue is lit.cfg.
<whitequark> yes. if it can't find the package, then somehow OCAMLPATH is not set properly
<artagnon> It's not.
<artagnon> Because LIBDIR is empty.
<whitequark> or, the META file does not exist
<whitequark> ok
<artagnon> (I checked)
<whitequark> ok
<artagnon> So, should we add the linkopts to META?
<artagnon> (how was it working in the make codepath?)
<whitequark> no, linkopts should be added to META during installation
<artagnon> ok
<whitequark> by a system like OPAM
<artagnon> Hm.
<whitequark> that is, in the case where LLVM libraries are not present in the system search path
<whitequark> (most of the time they are)
<whitequark> it's really quite a corner case
<artagnon> So how was I able to link to llvm build tree in the make codepath?
pyon has quit [Quit: stupid emacs]
<artagnon> Er, ocaml bindings build tree.
<whitequark> that's a good question
<whitequark> pass -verbose to ocamlc/opt and you will learn
pyon has joined #ocaml
<whitequark> anyway, if you want to link to a build tree, pass -L in your buildsystem
* artagnon nods
<whitequark> OCAMLPARAM=L=/path,_ works, too
<artagnon> Oh, cool.
nojb has quit [Quit: nojb]
<artagnon> Finally, the INTDIR replacement was a "while we're there" change.
<artagnon> You always insist on sneaking in some extra changes, so I thought I'd do it myself this time :P
<artagnon> INTDIR is an "internal" variable.
<artagnon> LLVM_LIBRARY_DIR is the user-facing one.
<whitequark> hm, that makes sense
<whitequark> you haven't replaced all of them, though. I will
<artagnon> (I thought I did)
<whitequark> grep.
<artagnon> Wait, I'll do it.
<artagnon> Oh, in the file I meant.
<artagnon> Okay.
<whitequark> too late
<whitequark> ok, I found the nice way to fix the LIBDIR issue
* artagnon shakes his head
<artagnon> Taking all the credit :P
<whitequark> I do attribute your patches to you
<whitequark> see commit descriptions
<artagnon> Hehe, cool.
<artagnon> git mirror lags.
<whitequark> not committed yet
<whitequark> er, not pushed
<whitequark> or whatever is the svn equivalent
<artagnon> You use raw SVN?
<whitequark> git-svn
<artagnon> Ah.
<artagnon> Let me know when you have committed; I'll test.
darkf has joined #ocaml
oscar_toro has quit [Ping timeout: 244 seconds]
weykent has quit [Ping timeout: 258 seconds]
weykent has joined #ocaml
<whitequark> ok, so, tests now pass on cmake static and shared builds
<artagnon> Thanks.
<whitequark> you should be able to build your code with the OCAMLPARAM trick.
<whitequark> let me know if anything else is broken
<whitequark> and, thanks for the bugreports!
<artagnon> Sure :)
<artagnon> How do I set OCAMLPARAM in my Makefile?
<artagnon> export OCAMLPARAM = L = llvm/build/lib
<artagnon> Doesn't work.
<artagnon> Illegal environment variable: no '_' separator found (??)
<whitequark> L=llvm/build/lib,_
govg has joined #ocaml
<artagnon> warning: discarding value of variable "L" in OCAMLPARAM
<whitequark> hrm
<whitequark> OCAMLPARAM=cclib=-Lllvm/build/lib,_
<artagnon> Perfect, thanks.
<artagnon> Now, there's just the gc patch left.
demonimin has quit [Ping timeout: 246 seconds]
demonimin has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
mcc has joined #ocaml
samrat has joined #ocaml
marynate has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
eyyub1 has quit [Ping timeout: 250 seconds]
<whitequark> artagnon: annnnd autoconf tests also pass
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 250 seconds]
BitPuffin has joined #ocaml
enitiz is now known as needMoreMotivati
oriba_ has quit [Quit: Verlassend]
samrat has quit [Quit: Computer has gone to sleep.]
chinglish has joined #ocaml
struktured has quit [Ping timeout: 258 seconds]
BitPuffin has quit [Ping timeout: 255 seconds]
psy has quit [Ping timeout: 245 seconds]
needMoreMotivati is now known as enitiz
psy has joined #ocaml
lambdahands has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
kapil__ has joined #ocaml
psy has quit [Ping timeout: 244 seconds]
psy has joined #ocaml
samrat has joined #ocaml
WraithM has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
jhaberstro has joined #ocaml
govg has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
struktured has joined #ocaml
ygrek has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
zump has joined #ocaml
<zump> Why is printing in ocaml such a mess
<zump> You do something wrong and get a c++ template esque error
<zump> The worst.
enitiz has quit [Remote host closed the connection]
enitiz has joined #ocaml
<whitequark> what're you doing for printing?
zump has quit [Read error: Connection reset by peer]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
zump has joined #ocaml
<zump> Printf.printf?
<zump> Printf.printf a string. And it fails. (not a literal)
zump has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
enitiz has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Quit: Leaving.]
<whitequark> oh, yeah, it must be a literal.
<whitequark> if you just want to print a string, use print_string :]
rgrinberg has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
kido1412 has joined #ocaml
AlexRussia has joined #ocaml
MercurialAlchemi has joined #ocaml
<kido1412> hey, guys. I'm reading LLVM's OCaml example right now. http://llvm.org/docs/tutorial/OCamlLangImpl1.html I find the lex_comment is hard to understand, and lex_comment = parser | [< ' ('\n'); stream=lex >] -> stream | [< 'c; e=lex_comment >] -> e | [< >] -> [< >] I've read the camlp4 document: http://caml.inria.fr/pub/docs/manual-camlp4/manual003.html, it says 'The component pattern = expr applies the function denoted by expr to the
lambdahands has quit [Ping timeout: 258 seconds]
<kido1412> it says 'The component pattern = expr applies the function denoted by expr to the current stream, then matches the result of the function against pattern.' But I still can't get the point.
* whitequark sighs
<whitequark> so here's the thing, the OCaml tutorial recommends you use camlp4 parsers
<whitequark> it's outdated and in dire need of rewriting (AHEM Drup)
<whitequark> please don't use camlp4 parsers.
<whitequark> please use menhir instead, it is nice.
mcc has quit [Quit: This computer has gone to sleep]
teiresias has quit [Quit: leaving]
samrat has quit [Quit: Computer has gone to sleep.]
kido1412 has quit [Ping timeout: 246 seconds]
kido1412 has joined #ocaml
<kido1412> How about Camlp5?
<whitequark> camlp5 is an old version of camlp4
<whitequark> yes, old.
samrat has joined #ocaml
mcclurmc has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
axiles has joined #ocaml
<kido1412> thanks @whitequark
govg has joined #ocaml
kakadu has joined #ocaml
milosn has quit [Remote host closed the connection]
milosn has joined #ocaml
leowzukw has joined #ocaml
lambdahands has joined #ocaml
lambdahands has quit [Ping timeout: 255 seconds]
RossJH has joined #ocaml
alkoma has quit [Ping timeout: 240 seconds]
kido1412 has quit [Quit: Page closed]
Valdo has joined #ocaml
Valdo has quit [Ping timeout: 240 seconds]
matason has joined #ocaml
mcclurmc has joined #ocaml
divyanshu has quit [Ping timeout: 258 seconds]
divyanshu has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
jhaberstro has quit [Quit: jhaberstro]
nojb has joined #ocaml
leowzukw has quit [Quit: Lost terminal]
larhat has joined #ocaml
_andre has joined #ocaml
matason has quit [Quit: Leaving...]
tharugrim has quit [Ping timeout: 245 seconds]
ontologiae_ has joined #ocaml
alkoma has joined #ocaml
tharugrim has joined #ocaml
lordkryss has joined #ocaml
alkoma has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Quit: Leaving.]
nojb has quit [Quit: nojb]
badon has quit [Quit: Leaving]
mcclurmc has joined #ocaml
MercurialAlchemi has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
ggole has joined #ocaml
lambdahands has joined #ocaml
AlexRussia has quit [Ping timeout: 272 seconds]
brendan_ has quit [Ping timeout: 245 seconds]
lambdahands has quit [Ping timeout: 258 seconds]
AlexRussia has joined #ocaml
nojb has joined #ocaml
Simn has joined #ocaml
badon has joined #ocaml
govg has quit [Ping timeout: 244 seconds]
matason has joined #ocaml
mengu has joined #ocaml
govg has joined #ocaml
matason has quit [Client Quit]
orbitz has quit [Ping timeout: 256 seconds]
mcclurmc has joined #ocaml
nojb has quit [Quit: nojb]
mcclurmc has quit [Ping timeout: 240 seconds]
alkoma has joined #ocaml
nojb has joined #ocaml
alkoma has quit [Ping timeout: 244 seconds]
RossJH has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jk_ has joined #ocaml
|jbrown| has quit [Remote host closed the connection]
jbrown has joined #ocaml
nojb has quit [Quit: nojb]
jbrown has quit [Remote host closed the connection]
jbrown has joined #ocaml
nojb has joined #ocaml
jbrown has quit [Remote host closed the connection]
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
orbitz has joined #ocaml
nojb has quit [Client Quit]
mcclurmc has joined #ocaml
bezirg has joined #ocaml
lambdahands has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 265 seconds]
lambdahands has quit [Ping timeout: 244 seconds]
jbrown has joined #ocaml
jbrown has quit [Remote host closed the connection]
jbrown has joined #ocaml
jbrown has quit [Remote host closed the connection]
alkoma has joined #ocaml
nojb has joined #ocaml
brendan_ has joined #ocaml
alkoma has quit [Ping timeout: 245 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
RossJH has joined #ocaml
oscar_toro has joined #ocaml
jbrown has joined #ocaml
teemperor has joined #ocaml
Hannibal_Smith has joined #ocaml
<adrien> so...
<adrien> I'm a bit disappointed by mldonkey's CPU usage
<adrien> PID USER PR NI VIRT RES SHR S %CPU %MEM TIME+ COMMAND
<adrien> 3358 adrien 20 0 221m 87m 7828 R 97 1.2 8:30.54 mlnet
<adrien> 20MB/s and 100% CPU on a small-but-not-that-small CPU
jk_ has quit [Remote host closed the connection]
bezirg has quit [Ping timeout: 245 seconds]
<flux> time to profile?-)
mbac has quit [Quit: brb]
<adrien> I'll let this finish :P
<adrien> I think I'm not uploading much because mldonkey is CPU-bound now and has no _cpu_ time for upload anymore :>
<flux> use perf and do some on-the-fly profiling!
<adrien> binary is stripped =/
<flux> :(
govg has quit [Ping timeout: 265 seconds]
<flux> well, you could still see library usage
<flux> linux performance/system monitoring tools are quite close to getting amazing
<flux> just yesterday I tried systemtap for the first time and found out which process is messing with X DPMS setting
<flux> (though it wouldn't have worked (quite as easily) if X didn't know the process id of its peers)
<adrien> :)
<adrien> brendangregg.com has really nice stuff but a bit disorganized (best thing to do is look at the blog)
<adrien> for mldonkey I think the thing to do might be to just thread upload and download separately if that doesn't require too much locking
<ousado> adrien: they have a freenode channel
<ousado> maybe a known issue?
<ousado> 20 MB/s for something "written in OCaml, with some C and some assembly" sounds really horrible
mcclurmc has joined #ocaml
<ousado> .. at least for any protocol that's meant for file transfer
<adrien> it's 20MB/s for P2P
<adrien> it's not straight download
mcclurmc has quit [Ping timeout: 245 seconds]
alkoma has joined #ocaml
hugomg has joined #ocaml
Thooms has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
Bluddy has joined #ocaml
alkoma has quit [Ping timeout: 255 seconds]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
teemperor has quit [Quit: Page closed]
enitiz_ has joined #ocaml
BitPuffin has joined #ocaml
lambdahands has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
uris77 has joined #ocaml
enitiz_ has quit [Quit: Leaving]
lambdahands has quit [Ping timeout: 255 seconds]
enitiz has joined #ocaml
marynate has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
samrat has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
alkoma has joined #ocaml
hugomg has quit [Ping timeout: 256 seconds]
uris77 has quit [Read error: Connection reset by peer]
jonludlam has quit [Ping timeout: 245 seconds]
alkoma has quit [Ping timeout: 244 seconds]
uris77 has joined #ocaml
bezirg has joined #ocaml
jonludlam has joined #ocaml
Leonidas has quit [Ping timeout: 244 seconds]
fraggle-boate_ has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 258 seconds]
ontologiae_ has quit [Ping timeout: 255 seconds]
fraggle-boate_ has joined #ocaml
<Drup> I have a better idea
<Drup> don't use mldonkey
<adrien> what's the issue with it?
<Drup> the code.
<Drup> whitequark: there is a first version of the tutorial here https://github.com/Drup/llvm/tree/tutorial/test/Bindings/OCaml/kaleidoscope , only the code, but that's reasonable at least, The codegen and the build system don't work properly, and I asked you to fix it long time ago :D
<companion_cube> well, what do you propose instead of mldonkey?
<adrien> Drup: oh, yeah
<adrien> Drup: but at least it didn't too many file descriptors like the others' transmissions did
<adrien> (all 3 others at the table had that)
<adrien> afk, 31c3's infrastructure review
<Drup> companion_cube: do you really need an ocaml edonkey ?
<adrien> it does BT too
<adrien> afk
<Drup> BT is even less of a reason, there are lot's of BT clients
<companion_cube> well, a BT library, why not
<Drup> mldonkey is not a library
<companion_cube> do you really need an OCaml web framework, if you go this way
<whitequark> Drup: oh, you did?
<Drup> see previous sentence.
ygrek has joined #ocaml
<Drup> (that was for companion_cube)
<whitequark> I missed that
<Drup> whitequark: I think you erased it from your memory because it implied making the tutorial build with llvm's tests, and you didn't want to play with it *again*.
<Drup> (which is quite understandable, tbh)
larhat has quit [Quit: Leaving.]
<whitequark> lol
lambdahands has joined #ocaml
<companion_cube> which sentence?
lambdahands has quit [Ping timeout: 256 seconds]
myst|wor1 has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
myst|work has joined #ocaml
hugomg has joined #ocaml
travisbrady has joined #ocaml
alkoma has joined #ocaml
mengu has quit [Remote host closed the connection]
alkoma has quit [Ping timeout: 240 seconds]
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
govg has joined #ocaml
travisbrady has quit [Quit: travisbrady]
ontologiae_ has joined #ocaml
darkf has quit [Quit: Leaving]
travisbrady has joined #ocaml
larhat has joined #ocaml
larhat has quit [Read error: Connection reset by peer]
Thooms has joined #ocaml
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
travisbrady has quit [Quit: travisbrady]
mcclurmc has joined #ocaml
marynate has joined #ocaml
mcclurmc_ has quit [Ping timeout: 244 seconds]
travisbrady has joined #ocaml
nojb has quit [Quit: nojb]
alkoma has joined #ocaml
alkoma has quit [Ping timeout: 264 seconds]
lambdahands has joined #ocaml
travisbrady has quit [Quit: travisbrady]
lambdahands has quit [Ping timeout: 240 seconds]
bezirg has left #ocaml [#ocaml]
jabroney has joined #ocaml
RossJH has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nojb has joined #ocaml
diginux has quit [Remote host closed the connection]
_andre has quit [Ping timeout: 245 seconds]
psy has quit [Remote host closed the connection]
tharugrim has quit [Ping timeout: 256 seconds]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
ebzzry has joined #ocaml
tharugrim has joined #ocaml
Hannibal_Smith has joined #ocaml
alkoma has joined #ocaml
artagnon has left #ocaml [#ocaml]
alkoma has quit [Ping timeout: 256 seconds]
lambdahands has joined #ocaml
badkins has joined #ocaml
antegallya has joined #ocaml
marynate has quit [Quit: Leaving]
lambdahands has quit [Ping timeout: 272 seconds]
alkoma has joined #ocaml
lambdahands has joined #ocaml
chinglish has joined #ocaml
jprakash has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
nojb has quit [Quit: nojb]
ygrek has quit [Ping timeout: 244 seconds]
jprakash has quit [Ping timeout: 272 seconds]
nojb has joined #ocaml
nojb has quit [Client Quit]
jprakash has joined #ocaml
enitiz has quit [Ping timeout: 245 seconds]
nojb has joined #ocaml
acieroid` has joined #ocaml
olauzon has joined #ocaml
Muzer has quit [Excess Flood]
acieroid has quit [Ping timeout: 244 seconds]
oscar_toro has quit [Ping timeout: 244 seconds]
Muzer has joined #ocaml
MrScout has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
_andre has joined #ocaml
_andre has quit [Ping timeout: 240 seconds]
Muzer has quit [Excess Flood]
oscar_toro has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.1-dev]
Muzer has joined #ocaml
AlexRussia has joined #ocaml
Thooms has joined #ocaml
oscar_toro has quit [Read error: No route to host]
oscar_toro has joined #ocaml
travisbrady has joined #ocaml
AlexRussia has joined #ocaml
AlexRussia has quit [Changing host]
rgrinberg has joined #ocaml
Muzer has quit [Excess Flood]
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
Muzer has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.1-dev]
AlexRussia has joined #ocaml
AlexRussia has quit [Changing host]
AlexRussia has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
bjorkintosh has joined #ocaml
malc_ has joined #ocaml
Muzer has quit [Excess Flood]
Muzer has joined #ocaml
<icicled> in: type value = JNone | JTag string * string * value, how can I give the individual tuple elements names? Do I have to create separate types for them?
<companion_cube> currently yes, you do need to declare a record type
<icicled> got it, thanks
<companion_cube> type jtag_record = { foo : string; bar: string; value : value } and value = JNone | JTag of jtag_value
<companion_cube> of jtag_record*
<companion_cube> something like this
<companion_cube> there will be a better alternative in the next version
<tokenrove> is there anyone here who works on unison? i have a couple of patches to submit but i'd like to discuss the cleanest way to implement one of them.
oscar_toro has quit [Ping timeout: 245 seconds]
<icicled> thanks companion_cube
<companion_cube> tokenrove: I don't think the authors are present on IRC, but you could probably email them
<tokenrove> yeah, i'll open up a dialog on the mailing list; i had just hoped maybe some of them were on IRC.
<tokenrove> thanks
lambdahands has quit [Ping timeout: 256 seconds]
Arsenik has joined #ocaml
nojb has quit [Quit: nojb]
nojb has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
jprakash has quit [Ping timeout: 240 seconds]
jprakash has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
RossJH has joined #ocaml
antegallya has quit [Ping timeout: 244 seconds]
jabroney has quit [Quit: Leaving.]
travisbrady has quit [Quit: travisbrady]
jprakash has quit [Ping timeout: 258 seconds]
jprakash has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ggole has quit []
malc_ has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
nullcat has joined #ocaml
larhat has joined #ocaml
malc_ has joined #ocaml
<icicled> in ocamllex, does regex* correspond to -> 'a list option?
<icicled> or just 'a list
<nojb> ‘a list
<icicled> thanks
jabroney has joined #ocaml
jabroney has quit [Client Quit]
jbzaaa has joined #ocaml
<jbzaaa> How can I run the interpreter with the Unix module?
<jbzaaa> Normally it has to be linked with ocamlopt for compiling
<flux> hmm? if you use topfind or utop you can #require "unix";; in the interpreter and then you have the Unix module around
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
<jbzaaa> Thanks
nojb has quit [Quit: nojb]
nojb has joined #ocaml
<nullcat> any library using Lwt which is equivalent to Jane Street's async_extra/tcp.ml's server module
<nullcat> Tcp server using Lwt as backend?
<nojb> There is Lwt_io.establish_server, but is not much …
<nullcat> i want to move my project to Lwt, but Async really provides some convenient functions I can use directly. If I move to Lwt, i need to implement lots of features Async can provide...
<companion_cube> what does Async's Tcp provide?
<companion_cube> apart from the error handler, is it really different from Lwt_io.establish_server?
<nullcat> yeah... not really actually
<nullcat> i need to study Lwt's API more carefully. Thanks!
<companion_cube> ^^
<nullcat> (つд⊂)
<rgrinberg> also, anything you see in async that's absent in lwt is a good opportunity to produce some open source software and learn :D
<nullcat> yeah, u r right
travisbrady has joined #ocaml
jbzaaa has quit [Quit: Page closed]
<icicled> supposing tokens = R O1 O2 O3 where R is required and O* are optional but distinct values, can I model that in a parser using menhir w/o having to declare all the possible variations of R and O*? i.e. currently I am doing something like R = {} | R O1 = {} | R O2 ={} | R O1 O2 = {} ...
<icicled> it's a bit tedious to write but it works
<icicled> wondering if there is a better way to do it
<rgrinberg> nullcat: there's also this btw https://github.com/ivg/socket/blob/master/socket.mli
<nullcat> i see. thank you!
<nojb> icicled: there is option()
<nojb> section 5.2*
pyon has quit [Quit: damn emacs]
pyon has joined #ocaml
<icicled> thanks nojb, that really helps!
malc_ has quit [Quit: leaving]
nullcat has quit [Quit: Textual IRC Client: www.textualapp.com]
jabroney has joined #ocaml
jabroney has left #ocaml [#ocaml]
enitiz has joined #ocaml
nojb has quit [Quit: nojb]
kakadu has quit [Remote host closed the connection]
lambdahands has joined #ocaml
keen__________18 has joined #ocaml
keen__________17 has quit [Ping timeout: 265 seconds]
enitiz has quit [Quit: Leaving]
enitiz has joined #ocaml
Simn has quit [Quit: Leaving]
gabemc has joined #ocaml
keen__________19 has joined #ocaml
keen__________18 has quit [Ping timeout: 240 seconds]
Thooms has quit [Quit: WeeChat 1.0.1]
lambdahands has quit [Quit: Lost terminal]
rgrinberg has quit [Quit: Leaving.]
badkins has quit []
axiles has quit [Remote host closed the connection]
nullcat has joined #ocaml
ente^31c3 is now known as ente
<nullcat> I am playing with mirage http://www.openmirage.org/wiki/mirage-www, and got stuck on "Building the direct networking version". It seems my OS X cannot create tap device even though I already installed tuntap: http://tuntaposx.sourceforge.net/
gabemc has quit [Ping timeout: 272 seconds]
<nullcat> anyone has some experience with Mirage before? :D
alkoma has quit [Ping timeout: 258 seconds]
<smondet> nullcat: some very little experience, and it was a while ago, but I used vagrant to play in a linux box instead of MacOSX
<nullcat> yeah i should try linux instead...
jprakash has quit [Ping timeout: 240 seconds]
jprakash has joined #ocaml
olauzon has quit [Quit: olauzon]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
rgrinberg has joined #ocaml
Arsenik has quit [Remote host closed the connection]
alkoma has joined #ocaml
uris77 has quit [Quit: leaving]
antegallya has joined #ocaml
antegallya has quit [Client Quit]
antegallya has joined #ocaml
bytbox has quit [Read error: Connection reset by peer]
bytbox has joined #ocaml
tharugrim has quit [Ping timeout: 272 seconds]
tharugrim has joined #ocaml
Muzer has quit [Excess Flood]
BitPuffin has quit [Ping timeout: 244 seconds]
matason has joined #ocaml
RossJH has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
matason has quit [Client Quit]
travisbrady has quit [Quit: travisbrady]
Muzer has joined #ocaml
jonludlam has joined #ocaml
koderok has joined #ocaml
koderok has quit [Client Quit]
nojb has joined #ocaml
Muzer has quit [Excess Flood]
stux has quit [Ping timeout: 250 seconds]
boadie_ has quit [Remote host closed the connection]
badon has quit [Quit: Leaving]
MercurialAlchemi has quit [Ping timeout: 265 seconds]
Muzer has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
antegallya has quit [Ping timeout: 250 seconds]
Muzer has quit [Excess Flood]