gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
Associat0r has quit [Quit: Associat0r]
caaakeeey has joined #ocaml
destrius has joined #ocaml
Drakken has left #ocaml []
cakey has joined #ocaml
cakey has left #ocaml []
arubin has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
copumpkin has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
dnolen has quit [Quit: dnolen]
sepp2k has quit [Remote host closed the connection]
<_habnabit> how are you supposed to compose `print`s in batteries? int_of_float |- Int.print doesn't line up, and int_of_float |- flip Int.print |> flip is a bit silly
oriba has quit [Quit: oriba]
mcclurmc has quit [Excess Flood]
mcclurmc has joined #ocaml
ulfdoz_ has joined #ocaml
arubin has quit [Quit: arubin]
ulfdoz has quit [Ping timeout: 245 seconds]
ulfdoz_ is now known as ulfdoz
<thelema> _habnabit: Int.print oc (int_of_float x)
<thelema> but why not `Float.print oc x`?
<thelema> I guess we could have optional parameters on Float.print controlling how the float gets printed.
<thelema> at the moment, it just uses Float.to_string
<caaakeeey> what are some good ocaml books?
avsm1 has quit [Quit: Leaving.]
<NaCl> caaakeeey: there's the o'reilly one
<NaCl> but that's quite in-debpth
<NaCl> *depth
<NaCl> and a bit old
<_habnabit> thelema, it's being passed to List.print
dnolen has joined #ocaml
mbac has quit [Ping timeout: 258 seconds]
explodus has quit [Ping timeout: 260 seconds]
explodus has joined #ocaml
dgbaley27 has joined #ocaml
<dgbaley27> I'm trying to build parser.cmi from this: https://github.com/m2ym/ocaml-lang-python/tree/655b1edef2df1ddb0db51b79f4ea3508f70653e0/src But I'm getting an unbound reference error for the last two bits "modl" and "expr".
<dgbaley27> I don't know enough about ocaml to figure out if the error is because of the source code or I'm building wrong.
<dgbaley27> This is the Makefile I've made: http://pastebin.com/JDzJvHW5
<dgbaley27> So "make parser.cmi"
mcclurmc has quit [Excess Flood]
mcclurmc has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
rwmjones has quit [Read error: Operation timed out]
mcclurmc has quit [Ping timeout: 258 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Excess Flood]
mcclurmc has joined #ocaml
rwmjones has joined #ocaml
alpounet has quit [Ping timeout: 260 seconds]
sebz has joined #ocaml
dnolen has quit [Quit: dnolen]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Read error: Operation timed out]
Drakken has joined #ocaml
mbac has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
gmcabrita has quit [Excess Flood]
ousado has quit [Remote host closed the connection]
Drakken has left #ocaml []
gmcabrita has joined #ocaml
krktz_ has quit [Ping timeout: 260 seconds]
krktz has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
taupin has quit [Ping timeout: 260 seconds]
foocraft has quit [Ping timeout: 260 seconds]
foocraft has joined #ocaml
taupin has joined #ocaml
f[x] has joined #ocaml
ankit9 has joined #ocaml
sebz has joined #ocaml
musically_ut has quit [Read error: Connection reset by peer]
ankit9 has quit [Ping timeout: 240 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
larhat has joined #ocaml
EmmanuelOga has quit [Ping timeout: 252 seconds]
ankit9 has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
jimmyrcom has quit [Ping timeout: 260 seconds]
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
Matt_ has joined #ocaml
Matt_ is now known as Guest87932
Guest87932 has quit [Remote host closed the connection]
dgbaley27 has left #ocaml []
Tianon has quit [Ping timeout: 244 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
ygrek has joined #ocaml
edwin has joined #ocaml
edwin has quit [Remote host closed the connection]
avsm has joined #ocaml
Cyanure has joined #ocaml
rntz has quit [Ping timeout: 276 seconds]
rntz has joined #ocaml
ttamttam has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
copumpkin has quit [Ping timeout: 248 seconds]
copumpkin has joined #ocaml
ikaros has joined #ocaml
Cyanure has quit [Ping timeout: 240 seconds]
Boscop has quit [Ping timeout: 260 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
avsm1 has quit [Ping timeout: 252 seconds]
edwin has joined #ocaml
Cyanure has joined #ocaml
Snark has joined #ocaml
thomasga has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
testcocoon has joined #ocaml
probst has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
destrius has quit [Quit: Leaving.]
Derander has quit [*.net *.split]
zmoazeni has quit [*.net *.split]
mbac has quit [*.net *.split]
rwmjones has quit [*.net *.split]
haelix has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
wagle has quit [*.net *.split]
Amorphous has quit [*.net *.split]
milosn has quit [*.net *.split]
thomasga has quit [*.net *.split]
edwin has quit [*.net *.split]
ankit9 has quit [*.net *.split]
krktz has quit [*.net *.split]
gmcabrita has quit [*.net *.split]
caaakeeey has quit [*.net *.split]
zorun has quit [*.net *.split]
Qrntzz has quit [*.net *.split]
wtetzner has quit [*.net *.split]
mfp has quit [*.net *.split]
explodus has quit [*.net *.split]
flux has quit [*.net *.split]
adrien has quit [*.net *.split]
zzz_ has quit [*.net *.split]
mejalx has quit [*.net *.split]
emias has quit [*.net *.split]
testcocoon has quit [*.net *.split]
caligula__ has quit [*.net *.split]
patronus has quit [*.net *.split]
larhat has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
hto has quit [*.net *.split]
The_third_man has quit [*.net *.split]
svenl has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
pheredhel` has quit [*.net *.split]
olasd has quit [*.net *.split]
gildor has quit [*.net *.split]
Snark has quit [*.net *.split]
Tianon has quit [*.net *.split]
g0dmoney- has quit [*.net *.split]
wishi has quit [*.net *.split]
dcolish has quit [*.net *.split]
struktured has quit [*.net *.split]
lopex has quit [*.net *.split]
rby has quit [*.net *.split]
shachaf has quit [*.net *.split]
diml has quit [*.net *.split]
bitbckt has quit [*.net *.split]
noj has quit [*.net *.split]
jlouis has quit [*.net *.split]
tlockney_ has quit [*.net *.split]
sgnb has quit [*.net *.split]
_habnabit has quit [*.net *.split]
rixed has quit [*.net *.split]
deavid has quit [*.net *.split]
rossberg has quit [*.net *.split]
bnwr has quit [*.net *.split]
malouin has quit [*.net *.split]
Cyanure has quit [*.net *.split]
ttamttam has quit [*.net *.split]
foocraft has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
schme has quit [*.net *.split]
chambart has quit [*.net *.split]
brendan has quit [*.net *.split]
jonafan has quit [*.net *.split]
alxbl has quit [*.net *.split]
bacam has quit [*.net *.split]
TaXules has quit [*.net *.split]
ski has quit [*.net *.split]
iris1 has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
redsteg has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
NaCl has quit [*.net *.split]
nimred has quit [*.net *.split]
probst has quit [*.net *.split]
taupin has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
othiym23 has quit [*.net *.split]
mal`` has quit [*.net *.split]
rntz has quit [*.net *.split]
lusory_ has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
dsheets has quit [*.net *.split]
ViciousPlant has quit [*.net *.split]
corecode has quit [*.net *.split]
thelema has quit [Write error: Broken pipe]
thelema has joined #ocaml
wormphlegm has joined #ocaml
srcerer has quit [Ping timeout: 258 seconds]
corecode has joined #ocaml
raichoo has joined #ocaml
lusory has joined #ocaml
thomasga has joined #ocaml
testcocoon has joined #ocaml
Snark has joined #ocaml
Cyanure has joined #ocaml
edwin has joined #ocaml
ttamttam has joined #ocaml
Tianon has joined #ocaml
ankit9 has joined #ocaml
larhat has joined #ocaml
foocraft has joined #ocaml
krktz has joined #ocaml
gmcabrita has joined #ocaml
mbac has joined #ocaml
BiDOrD_ has joined #ocaml
rwmjones has joined #ocaml
explodus has joined #ocaml
caaakeeey has joined #ocaml
Amorphous has joined #ocaml
g0dmoney- has joined #ocaml
haelix has joined #ocaml
jlouis has joined #ocaml
zorun has joined #ocaml
Pepe_ has joined #ocaml
wishi has joined #ocaml
schme has joined #ocaml
dcolish has joined #ocaml
milosn has joined #ocaml
struktured has joined #ocaml
chambart has joined #ocaml
Qrntzz has joined #ocaml
tlockney_ has joined #ocaml
caligula__ has joined #ocaml
fraggle_ has joined #ocaml
hto has joined #ocaml
sgnb has joined #ocaml
brendan has joined #ocaml
wagle has joined #ocaml
_habnabit has joined #ocaml
wtetzner has joined #ocaml
lopex has joined #ocaml
rixed has joined #ocaml
The_third_man has joined #ocaml
rby has joined #ocaml
jonafan has joined #ocaml
flux has joined #ocaml
patronus has joined #ocaml
shachaf has joined #ocaml
svenl has joined #ocaml
diml has joined #ocaml
mfp has joined #ocaml
zmoazeni has joined #ocaml
Derander has joined #ocaml
Asmadeus has joined #ocaml
bnwr has joined #ocaml
malouin has joined #ocaml
TaXules has joined #ocaml
bacam has joined #ocaml
noj has joined #ocaml
rossberg has joined #ocaml
deavid has joined #ocaml
bitbckt has joined #ocaml
alxbl has joined #ocaml
emias has joined #ocaml
mejalx has joined #ocaml
zzz_ has joined #ocaml
adrien has joined #ocaml
pheredhel` has joined #ocaml
gildor has joined #ocaml
olasd has joined #ocaml
ski has joined #ocaml
iris1 has joined #ocaml
hyperboreean has joined #ocaml
redsteg has joined #ocaml
snarkyboojum has joined #ocaml
NaCl has joined #ocaml
nimred has joined #ocaml
rntz has joined #ocaml
taupin has joined #ocaml
probst has joined #ocaml
othiym23 has joined #ocaml
mal`` has joined #ocaml
ViciousPlant has joined #ocaml
dsheets has joined #ocaml
hnrgrgr has joined #ocaml
rntz has quit [Ping timeout: 255 seconds]
sebz has joined #ocaml
<adrien> gildor: thanks :-)
rntz has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
mfp has quit [Ping timeout: 240 seconds]
<adrien> hcarty: about conditionals in here-docs for xstrp4, do you think a syntax like http://pastebin.slackadelic.com/p/s9vCMy51.html is possible?
sebz has quit [Quit: Computer has gone to sleep.]
<adrien> hcarty: or concatenation of here-docs
<thelema> _habnabit: `let print_float_as_int oc x = Int.print oc (int_of_float x)` ... `List.print print_float_as_int xs`
<thelema> adrien: looks like you need a proper templating language. I'm working on a port of the mustache templating language
<adrien> concatenation is quite verbose
<adrien> thelema: it looks nice but why not improve xstrp4?
<thelema> adrien: templates achieve something different than xstrp4 - properly done, they achieve independence between data and presentation of that data
thomasga has quit [Quit: Leaving.]
<thelema> which is useful for web designers to not have to muck so much in the code, but also for the two parts to be loosely coupled
<thelema> xstrp4 is mostly for coders to output simple things quickly, templates support nested data structures (not of arbitrary recursive depth, usually)
<adrien> hmmm, ok, that'd be really nice to have but it doesn't look terribly simple to have in ocaml
<thelema> true, it's designed for dynamic languages which can nest lists, hashes and strings pretty arbitrarily
<thelema> I'm trying to decide how much I want to ocaml-ify it.
<thelema> especially since we don't have map literals
emmanuelux has joined #ocaml
dnolen has joined #ocaml
<adrien> =/
<adrien> I think I'm going to have an issue with oasis
<adrien> I have a folder "src", with a few files in it and a number of subfolders which contain sub-modules for the main library
<adrien> the sub-modules should only be built as .cm[ox] files
The_third_man has quit [Ping timeout: 260 seconds]
<adrien> so I'd have to have only "Library" field in my _oasis file, right?
<adrien> but then, I'd have to put several folders to the Path option which is not possible afaiu
<adrien> plus I'd like to avoid putting everything in the same "Library" because it makes *huge* lines (I have hundreds of files)
The_third_man has joined #ocaml
<adrien> ah! :-)
<adrien> "Install: false" solves the issue
jimmyrcom has joined #ocaml
<adrien> hmmm, I'm missin the .cm[xo] files however
copumpkin has quit [Ping timeout: 260 seconds]
copumpkin has joined #ocaml
ikaros has joined #ocaml
mfp has joined #ocaml
edwin has quit [Remote host closed the connection]
g0dmoney- has quit [Ping timeout: 244 seconds]
edwin has joined #ocaml
g0dmoney- has joined #ocaml
thomasga has joined #ocaml
metasyntax|work has joined #ocaml
oriba has joined #ocaml
g0dmoney- has quit [Ping timeout: 244 seconds]
g0dmoney- has joined #ocaml
oriba has quit [Client Quit]
raichoo has quit [Read error: Connection reset by peer]
raichoo has joined #ocaml
ousado has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
dnolen has quit [Quit: dnolen]
EmmanuelOga has joined #ocaml
copumpkin has quit [Quit: Computer has gone to sleep.]
raichoo has quit [Quit: leaving]
ikaros has quit [Quit: Ex-Chat]
<hcarty> caaakeeey: files.metaprl.org/doc/ocaml-book.pdf is a somewhat more modern OCaml book
<hcarty> adrien: I think I agree with thelema at this point. You would probably be better off with some form of templates.
<hcarty> adrien: Of course, xstrp4 could be expanded to support templates or template support could be built on top of xstrp4.
<hcarty> adrien: Without that the c_sources block would need to be pulled out into a prior interpolated string.
<hcarty> adrien: Concatenation of heredocs should work out of the box I think
<adrien> hcarty: concatenation of heredocs works but is quite verbose because one has to close the first here-doc, put the conditional, open a here-doc, close it, put an else, an empty string, open another here-doc
<adrien> I and I ended up interpolating outside of the here-doc
<adrien> and now, you're making me wait for the template extension =)
copumpkin has joined #ocaml
<thelema> adrien: FWIW, ocsigen has a templating language
<adrien> that's a pretty big dep :P
<olasd> w 2o
<olasd> meh
<adrien> and I'm running with issues with ocamlfind+destdir
<adrien> basically, instead of installing to $destdir/$prefix/lib/ocaml/$pkg, it installs to $destdir/$pkg
<adrien> (when using ocamlfind install -destdir)
<adrien> has anyone had the same issue?
<hcarty> adrien: I'm only asking you to wait for you to write it :-D
<adrien> heheh :P
<hcarty> adrien: I think ocamlfind's destdir interpretation is the second version
<adrien> yes, and I need to fix it =/
Boscop has joined #ocaml
<thelema> adrien: can't you set `prefix=$destdir/$prefix`?
<adrien> so, basically, I have bindings which are generated automatically, the build system is automatic too, everything works, _but_ -destdir/DESTDIR doesn't and I'm completely stuck because of that =/
<adrien> thelema: I need to set it when invoking "ocamlfind install" and I don't know which values to use
<adrien> because I also have to let it touch the ld.conf file I think (although that can be worked-around)
ygrek has joined #ocaml
<adrien> and I'd have to get the paths from its configuration file and rework them
<thelema> yes, it does expect to change the ld.conf file
<adrien> I think a post-install script which appends a line to ld.conf will be fine
<adrien> hmm
<adrien> I'll probably tell it to install to $(PWD)/pkg and let the distro packager copy this to the right place
Kakadu has joined #ocaml
<thelema> I don't know much about distro packagers, but wonder why default ocamlfind install isn't sufficient
g0dmoney- has quit [Changing host]
g0dmoney- has joined #ocaml
ikaros has joined #ocaml
<adrien> because it won't let you create a distro package
<thelema> distro like debian?
<adrien> slackware here but I think debian probably has the same issue
<bnwr> adrien: use arch
<adrien> noway =)
<bnwr> you can create packages locally and install them
<adrien> arch would be a huge problem for me: I'm still using an old version of webkit-gtk and cannot change now
<bnwr> there are lots of local ocaml related packages available
<bnwr> there's an arch time machine
<adrien> the issue is not so much what I can do but how easily I can do it
<adrien> I'm making the lib and I want to make its packaging simple
<bnwr> you can "freeze" arch at any time (in the past) by using Server=http://arm.konnichi.com/$yyyy/$mm/$dd/core/os/$arch where $arch is the architecture and $yyyy-$mm$dd is the date of the freeze
<adrien> I don't want to freeze the whole but only one package here and there, and what depends on them, maybe recompiling base stuff myself
<bnwr> changing distro is kind of a big thing (especially if it's just for develloping one thing), but all that you say is possible
<bnwr> of course learning the new environnement and package manager is not necessarily worth it (depends what you want to do, for how long, etc.)
<adrien> right, a post-install hook will nicely take care of ld.conf
<adrien> I'm a hardcore slacker, I'm definitely at home
<thelema> adrien: I guess slackware packaging is different - I'm slightly familiar with debian packaging, and it stacks on top of normal installs reasonably
Cyanure has quit [Remote host closed the connection]
<adrien> slackware packaging is tar+gz/xz
<adrien> slackware is dumb, that's why I feel at home =)
EmmanuelOga has quit [Quit: WeeChat 0.3.6-rc2]
EmmanuelOga has joined #ocaml
EmmanuelOga has quit [Quit: WeeChat 0.3.6-rc2]
EmmanuelOga has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
larhat has quit [Quit: Leaving.]
EmmanuelOga has quit [Quit: WeeChat 0.3.6-rc2]
sebz has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
sebz has quit [Client Quit]
EmmanuelOga|2 has joined #ocaml
sebz has joined #ocaml
EmmanuelOga|2 is now known as EmmanuelOga
ulfdoz has joined #ocaml
copumpkin has quit [Ping timeout: 248 seconds]
copumpkin has joined #ocaml
ViciousPlant has quit [Remote host closed the connection]
ViciousPlant has joined #ocaml
EmmanuelOga has quit [Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/]
ViciousPlant has quit [Ping timeout: 260 seconds]
pumpkin has joined #ocaml
ViciousPlant has joined #ocaml
copumpkin has quit [Ping timeout: 260 seconds]
EmmanuelOga has joined #ocaml
copumpkin has joined #ocaml
copumpki_ has joined #ocaml
pumpkin has quit [Ping timeout: 240 seconds]
copumpkin has quit [Ping timeout: 240 seconds]
copumpki_ is now known as copumpkin
copumpkin has quit [Changing host]
copumpkin has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
Kakadu has joined #ocaml
musically_ut has joined #ocaml
<musically_ut> What is the meaning of an isolated "type t" with no type constructors?
<_habnabit> musically_ut, an opaque type
<musically_ut> _habnabit, any references for it?
<_habnabit> what else do you need to know?
<_habnabit> it just means that you don't know the representation of the type
<musically_ut> How is it useful for the module which defines it.
<thelema> it means that you know the type exists, but can't construct (or deconstruct) values of that type
<thelema> most likely it has a real definition inside the module, and this is being hidden from the user
<_habnabit> well, you can have multiple modules implementing the same interface in completely different ways
<_habnabit> restricting the implementation would be pointless
<thelema> These abstract types are useful in functors, for example.
<thelema> In defining the input signature for a functor, not so much in actually instantiating a functor with an abstract type
<musically_ut> I don't immediately see an definition for it.
<thelema> ok, there isn't one.
<thelema> which means that ocaml can't do anything with values of that type except apply functions that have its type to it.
<musically_ut> And the module is still able to construct values of _that_ type?
<thelema> on the C side of that code, the actual value is created and manipulated.
<musically_ut> Oh.
<thelema> musically_ut: yes, it can through "mask_of"
<musically_ut> Oh, right, mask_of returns values of type 't'.
<musically_ut> Nice.
<musically_ut> Thanks again, thelema and _habnabit
rgrinberg has joined #ocaml
Snark has quit [Quit: Quitte]
Kakadu has quit [Quit: Konversation terminated!]
sepp2k has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
ttamttam has quit [Quit: Leaving.]
sepp2k has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
pumpkin has joined #ocaml
Cyanure has joined #ocaml
copumpkin has quit [Ping timeout: 252 seconds]
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
pumpkin is now known as copumpkin
ankit9 has quit [Ping timeout: 240 seconds]
ankit9 has joined #ocaml
sebz has joined #ocaml
Associat0r has quit [Quit: Associat0r]
avsm has joined #ocaml
ftrvxmtrx has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
ygrek has quit [Ping timeout: 248 seconds]
edwin has quit [Remote host closed the connection]
Cyanure has quit [Read error: Operation timed out]
lamawithonel_ has quit [Remote host closed the connection]
fraggle_ has quit [Quit: -ENOBRAIN]
copumpkin has quit [Quit: Computer has gone to sleep.]
ulfdoz has quit [Ping timeout: 276 seconds]
sepp2k has quit [Remote host closed the connection]
sebz has joined #ocaml
Amorphous has quit [Ping timeout: 276 seconds]
thomasga has quit [Quit: Leaving.]
sebz has quit [Read error: Operation timed out]
copumpkin has joined #ocaml
sebz has joined #ocaml
Amorphous has joined #ocaml
tlockney_ is now known as tlockney
oriba has joined #ocaml
avsm has quit [Ping timeout: 248 seconds]
avsm has joined #ocaml