adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
larhat has joined #ocaml
eikke has quit [Ping timeout: 255 seconds]
eikke has joined #ocaml
gustav__ has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
ulfdoz_ is now known as ulfdoz
tane has quit [Quit: Verlassend]
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
as has joined #ocaml
as_ has joined #ocaml
as has quit [Ping timeout: 246 seconds]
as_ is now known as as
cdidd has joined #ocaml
emmanuelux has joined #ocaml
as has quit [Quit: as]
pkrnj has joined #ocaml
thelema has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 276 seconds]
thelema has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
eikke has joined #ocaml
thelema has quit [Read error: No route to host]
madroach has joined #ocaml
thelema has joined #ocaml
Yoric has joined #ocaml
as has joined #ocaml
spherox has quit [Ping timeout: 240 seconds]
as has quit [Quit: as]
as has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
Yoric has quit [Read error: Operation timed out]
everyonemines has joined #ocaml
emmanuelux has quit [Quit: emmanuelux]
paolooo has joined #ocaml
thelema has quit [Ping timeout: 265 seconds]
thelema has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
astertronistic has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
thelema has quit [Ping timeout: 256 seconds]
thelema has joined #ocaml
<gustav__> Hey, anyone using OCaml with X11 on Ubuntu here?
<dsheets> is there a way to write a type expression which relates components of a module type to a type variable outside of that module?
<dsheets> like, in the rhs of a gadt to pack a module of interpretation with a value it can interpret?
jamii has quit [Ping timeout: 255 seconds]
<dsheets> also, is there any way to get functors for free? like, if I have a product binary functor, can i get each inverse forgetful functor for free?
<gustav__> Found labltk.
pkrnj has quit [Ping timeout: 246 seconds]
gustav__ has quit [Remote host closed the connection]
hyperboreean has quit [Ping timeout: 244 seconds]
Yoric has joined #ocaml
lolcathost has joined #ocaml
sepp2k has joined #ocaml
answer_42 has joined #ocaml
answer_42 has quit [Client Quit]
paolooo has quit [Quit: Page closed]
larhat has quit [Quit: Leaving.]
as has quit [Quit: as]
everyonemines has quit [Read error: Connection reset by peer]
answer_42 has joined #ocaml
Kakadu has joined #ocaml
covi has quit [Remote host closed the connection]
lolcathost has quit [Ping timeout: 245 seconds]
lolcathost has joined #ocaml
lolcathost has quit [Client Quit]
chambart has joined #ocaml
lolcathost has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
<pippijn> apparently I'm doing it wrong, because the resulting string is not encoded
<pippijn> oh
<pippijn> ok, it is
thelema has quit [Read error: No route to host]
thelema has joined #ocaml
Oejet has joined #ocaml
xavierm02 has joined #ocaml
answer_4` has joined #ocaml
answer_4` has quit [Client Quit]
answer_42 has quit [Quit: WeeChat 0.3.9]
answer_42 has joined #ocaml
lolcathost has quit [Quit: leaving]
cdidd has quit [Remote host closed the connection]
lolcathost has joined #ocaml
hto has quit [Ping timeout: 255 seconds]
hto has joined #ocaml
eikke has joined #ocaml
Snark has joined #ocaml
gnuvince has quit [Ping timeout: 252 seconds]
gnuvince has joined #ocaml
Xizor has joined #ocaml
eikke has quit [Ping timeout: 246 seconds]
eikke has joined #ocaml
fraggle_laptop has joined #ocaml
fraggle_ has joined #ocaml
chambart has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
lolcathost has quit [Ping timeout: 246 seconds]
leoncamel has joined #ocaml
fraggle_laptop has quit [Ping timeout: 246 seconds]
eikke has quit [Ping timeout: 252 seconds]
hyperboreean has joined #ocaml
Xizor has quit [Remote host closed the connection]
<pippijn> thelema: is BatUTF8 gone from batteries 2?
tane has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
avsm has quit [Ping timeout: 245 seconds]
chambart has joined #ocaml
fraggle_laptop has joined #ocaml
fraggle_laptop has quit [Remote host closed the connection]
leoncamel has quit [Ping timeout: 252 seconds]
chambart has quit [Ping timeout: 246 seconds]
leoncamel has joined #ocaml
emmanuelux has joined #ocaml
bru has joined #ocaml
<bru> Hi everyone! Is it possible to have nested modules (that correspond to the filesystem hierarchy)?
<bru> For example I put all my parsing-related modules (.mll and .mli files) in parser/
<Kakadu> yep
<bru> there is Initial.mli, Intermediate.mli, ...
<Kakadu> there's option for compile. for-pack, IIRC.
<bru> I'd like to call them as Parser.Initial.blahblah or "open Parser.Intermediate" for example
<bru> Kakadu: could you expand this idea please? I found some uses in some files (ex https://github.com/OCamlPro/tryocaml/blob/master/ocaml-num/Makefile) but no general doc.
<bru> and nothing in the ocamlc's man page
<bru> thank you
<adrien> but first you should look at the regular "pack" feature
eikke has joined #ocaml
Oejet has quit [Read error: Connection reset by peer]
Oejet has joined #ocaml
<bru> I think I'll avoid this for now…
<bru> So I renamed the files in parser/, prefixing them with parser_ (so they generate modules Parser_Common, Parser_Initial, etc.)
<bru> However omake fails: files in the root directory do not find those modules
<bru> though I put "parser" in .SUBDIRS in root's OMakeFile
<bru> (I prefixed the files in FILES section of parsers/OMakeFile with parser_ too)
<bru> how can I say to ocaml that some modules are in parser/ subdir?
<bru> (err I meant Parser_common, Parser_initial, etc. : with a capital letter after the underscore)
larhat1 has joined #ocaml
larhat2 has joined #ocaml
larhat has joined #ocaml
larhat1 has quit [Ping timeout: 240 seconds]
bru has quit [Ping timeout: 260 seconds]
larhat2 has quit [Ping timeout: 246 seconds]
bru has joined #ocaml
Kakadu has quit []
thelema has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 276 seconds]
as has joined #ocaml
as has quit [Ping timeout: 246 seconds]
walter|rtn has quit [Read error: Operation timed out]
larhat1 has quit [Ping timeout: 260 seconds]
walter|rtn has joined #ocaml
Cyanure has joined #ocaml
pango has quit [Ping timeout: 264 seconds]
BiDOrD_ has joined #ocaml
ocp has joined #ocaml
BiDOrD has quit [Ping timeout: 252 seconds]
as has joined #ocaml
pango has joined #ocaml
as has quit [Ping timeout: 246 seconds]
thelema has quit [Remote host closed the connection]
larhat has joined #ocaml
thelema has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
larhat has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
as has joined #ocaml
gnuvince has quit [Quit: chess club]
as has quit [Ping timeout: 240 seconds]
jamii has joined #ocaml
thelema has quit [Ping timeout: 268 seconds]
thelema has joined #ocaml
as has joined #ocaml
as has quit [Ping timeout: 246 seconds]
bru has quit [Ping timeout: 260 seconds]
jamii has quit [Read error: Operation timed out]
Xizor has joined #ocaml
as has joined #ocaml
ocp has quit [Ping timeout: 244 seconds]
as has quit [Quit: as]
pkrnj has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
Oejet has quit [Read error: Operation timed out]
as has joined #ocaml
<flux> how come this hasn't been on the mailing list? http://raph-amiard.github.com/Z3/
<flux> (ocaml on llvm runtime)
<adrien> heh, agreed
<adrien> I think I know the author actually so maybe I'll have him spanked so he sends it :P
<pippijn> does anybody know how to solve this problem: <W> Grammar extension: in [expr] some rule has been masked
<pippijn> this is my grammar extension: http://paste.xinu.at/wvsYGE/
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
Haseo has quit [Read error: Connection reset by peer]
Haseo has joined #ocaml
as has quit [Quit: as]
cdidd has joined #ocaml
lolcathost has joined #ocaml
lolcathost has quit [Quit: leaving]
lolcathost has joined #ocaml
chambart has joined #ocaml
lolcathost has quit [Quit: lag]
lolcathost has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
<testcocoon> I would like to write something like : "new class1 :> generic_class" but I was obliged to use a temporary variable to get this: "let o :> generic_class = new class1 in o"
<testcocoon> Is there a way to write this without using a temporary varibale?
vulck has joined #ocaml
<vulck> just a question, how can I convert this "int men[n][n]" to ocaml?
<_habnabit> vulck, there's Bigarray.Array2
astertronistic has quit [Ping timeout: 260 seconds]
<vulck> _habnabit, ok, thanks....
astertronistic has joined #ocaml
<Qrntz> testcocoon, try «(new class1 : class1 :> generic_class)»
<testcocoon> Qrntz: works, ": class1" seams not necessary: «(new class1 :> generic_class)»
<testcocoon> thanks
<Qrntz> ah, forgot that'd work as well
<Qrntz> you're welcome
<testcocoon> my problem was the parenthesis which are mendatory
<Qrntz> right
chambart has quit [Ping timeout: 246 seconds]
<larsrh> more GADT stuff: https://gist.github.com/4099656
<larsrh> I'm not sure whether it's possible to implement rev
<larsrh> D'oh, I'm stupid … disregard the previous line
Neros has joined #ocaml
gustav__ has joined #ocaml
chambart has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
walter|rtn has quit [Quit: This computer has gone to sleep]
<pippijn> how does linking to C stubs libraries work with META files?
walter|r has joined #ocaml
Cyanure has quit [Remote host closed the connection]
notdan_ is now known as notdan
notdan has quit [Changing host]
notdan has joined #ocaml
lggr has joined #ocaml
lggr has quit [Client Quit]
cdidd has quit [Remote host closed the connection]
Snark has quit [Quit: Quitte]
jamii has joined #ocaml
walter|r has quit [Quit: This computer has gone to sleep]
as has joined #ocaml
walter|r has joined #ocaml
answer_42 has quit [Ping timeout: 240 seconds]
as has quit [Quit: as]
thelema has quit [Write error: Broken pipe]
Yoric has quit [Ping timeout: 252 seconds]
lolcathost has quit [Remote host closed the connection]
lolcathost has joined #ocaml
thelema has joined #ocaml
<pippijn> hmm, I see..
<pippijn> -cclib -lz comes on the command line for building a .cmxa?
larhat has quit [Ping timeout: 276 seconds]
thelema has quit [Ping timeout: 246 seconds]
gustav__ has quit [Read error: Connection reset by peer]
xavierm02 has quit [Quit: Leaving]
gnuvince has joined #ocaml
The_third_man has quit [Ping timeout: 245 seconds]
larhat has joined #ocaml
sepp2k1 has quit [Read error: Connection reset by peer]
thelema has joined #ocaml
larhat has quit [Ping timeout: 268 seconds]
ImAlsoGreg has quit [Quit: Leaving]
thelema has quit [Ping timeout: 268 seconds]
Neros_ has joined #ocaml
Neros has quit [Ping timeout: 260 seconds]
thelema has joined #ocaml
lolcathost has quit [Quit: lag]
gnuvince has quit [Ping timeout: 260 seconds]
cdidd has joined #ocaml
gnuvince has joined #ocaml
gustav__ has joined #ocaml
emmanuel__ has joined #ocaml
emmanuelux has quit [Ping timeout: 245 seconds]
Xizor has quit []
as has joined #ocaml