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
Sablier has quit [Quit: Quitte]
eikke has quit [Remote host closed the connection]
<bjorkintosh> yeah.
iZsh has quit [Ping timeout: 260 seconds]
<johnnowak> bjorkintosh: just.. wasn't.
<bjorkintosh> :)
<johnnowak> don't think the printing in repls is generally customizable
<johnnowak> shame the same thing isn't accessible from code.. would be nice to be able to print something if you knew the type
<johnnowak> wouldn't require data representation changes
<bjorkintosh> why wouldn't it be accessible?
<johnnowak> am under the impression there's no way to print things like that
<johnnowak> is only in the repl
<bjorkintosh> i'm lost man.
<bjorkintosh> i don't see why not.
<johnnowak> then.. how do I?
iZsh has joined #ocaml
<bjorkintosh> what precisely do you want to print?
<johnnowak> an arbitrary value like the repl can
<bjorkintosh> eg?
<johnnowak> .. without writing a printer
<bjorkintosh> oh.
<bjorkintosh> hmm.
BiDOrD has quit [Ping timeout: 260 seconds]
bjorkintosh has quit [Quit: Leaving]
cdidd has quit [Remote host closed the connection]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz_ is now known as ulfdoz
bjorkintosh has joined #ocaml
<thelema> johnnowak: can't print arbitrary values
<thelema> at least not like the repl can.
<thelema> The repl cheats and knows the type of every value
<thelema> compiled programs have no type information
<thelema> also, the repl has a bunch of value printers registered in it, so it can't really print anything
<johnnowak> i konw, but bjorkintosh seemed to be saying otherwise
<johnnowak> *know
<bjorkintosh> yes. i thought you meant something else.
<johnnowak> i'm not sure why it couldn't though -- it's not like it doesn't have the type information at compile time. you'd think there'd be some way to locally generate appropriate print functions and just print up to the point where it has insufficient information due to polymorphism
<johnnowak> wouldn't require data representation changes
smerz has quit [Remote host closed the connection]
<thelema> that "insufficient information" clause makes things much less useful.
<johnnowak> there are plenty of times i want to print monomorphic stuff.. now would be a good example. just want to print this syntax tree but there's no way to do it without writing a printer (or using sexplib or something)
<johnnowak> i'd rather be able to derive printers a la haskell, even if they do require manual instantiation
<johnnowak> but it is what it is
johnnowak has quit [Ping timeout: 246 seconds]
<thelema> no reason to just special case printers, also really useful to have custom compare and = and other functions
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
johnnowak has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
johnnowak has left #ocaml []
bjorkintosh has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
ski has joined #ocaml
emmanuelux has quit [Ping timeout: 264 seconds]
cdidd has joined #ocaml
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
Se7en has left #ocaml []
Se7en1 has joined #ocaml
Se7en1 has quit [Ping timeout: 250 seconds]
ulfdoz has quit [Quit: brb]
ulfdoz has joined #ocaml
munga has joined #ocaml
Submarine has joined #ocaml
munga has quit [Read error: Operation timed out]
Sablier has joined #ocaml
munga has joined #ocaml
munga has quit [Read error: Operation timed out]
Kakadu has quit [Quit: Konversation terminated!]
emmanuelux has joined #ocaml
eni has joined #ocaml
munga has joined #ocaml
Hussaind has joined #ocaml
Hussaind has left #ocaml []
Hussaind has joined #ocaml
Hussaind has left #ocaml []
Snark has joined #ocaml
cdidd has quit [Ping timeout: 252 seconds]
cdidd has joined #ocaml
Yoric has joined #ocaml
munga has quit [Ping timeout: 245 seconds]
milosn has quit [Ping timeout: 252 seconds]
BiDOrD has joined #ocaml
Kakadu has joined #ocaml
milosn has joined #ocaml
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
eni has quit [Ping timeout: 246 seconds]
nimred has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 264 seconds]
<Drakken> why is ocamlbuild looking for foo.ml when I have a foo.mlpack file?
Boney has joined #ocaml
<Boney> Hi, I already know Haskell and I'm ready to learn ocaml. Is there a "ocaml for haskeller's?"
<Boney> Or a book similar to "Real World Haskell" but for ocaml.
<Boney> I guess what I'm after is a tour of some differences (I already know that there are references and there are no Monads and it's eager)
<Boney> and a tour of some libraries and how to get stuff done.
nimred has joined #ocaml
nimred has quit [Changing host]
nimred has joined #ocaml
<wmeyer``> hello
<Kakadu> Boney: I don't think that there no monads on ocaml. Maybe you're talking about typeclasses?
<Drakken> Boney have you seen the manual?
<Kakadu> I'm a forget how to make right linking with C .a files.... :( http://paste.in.ua/4286/raw/
<Boney> Drakken: AH, I was reading something else. (another introduction thing)
munga has joined #ocaml
<Boney> tht looks good to.
<Boney> I just got to module polymorphism (functors), looks good.
Yoric has joined #ocaml
Sablier has quit [Read error: Connection reset by peer]
Sablier has joined #ocaml
jamii has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Sanders_NL has joined #ocaml
Yoric1 has joined #ocaml
err404 has joined #ocaml
Yoric1 has quit [Ping timeout: 245 seconds]
Yoric1 has joined #ocaml
iago has joined #ocaml
<Drakken> Can anyone explain why this isn't working? http://pastebin.com/Y8wwYbYn
<thelema> Drakken: in _tags: "foo": include
<thelema> Drakken: no reason for it to look in foo/ for bar.ml and baz.ml
<wmeyer``> perhaps ocamlbuild needs some more love wrt. of error messages
<wmeyer``> I hit solver problems many times and I got used to to that - but it's never obvious
<thelema> wmeyer``: agreed
<thelema> bbl
<Drakken> thelema thanks.
<Drakken> wmeyer`` yep
rwmjones has quit [Ping timeout: 255 seconds]
<Drakken> the ocamlbuild manual could use some help too.
<Drakken> Apparently -I foo applies to compilation and -cflags -I,foo applies to linking.
Yoric2 has joined #ocaml
<Yoric2> Drakken: I don't think anybody contributes to that manual atm.
Se7en has joined #ocaml
Yoric1 has quit [Ping timeout: 264 seconds]
rwmjones has joined #ocaml
Se7en has quit [Ping timeout: 245 seconds]
tmaedaZ has quit [Ping timeout: 250 seconds]
tmaedaZ has joined #ocaml
Yoric3 has joined #ocaml
Yoric2 has quit [Read error: Connection reset by peer]
Cyanure has joined #ocaml
Anarchos has joined #ocaml
Yoric3 has quit [Read error: Connection reset by peer]
Yoric4 has joined #ocaml
Yoric5 has joined #ocaml
Yoric4 has quit [Ping timeout: 248 seconds]
Yoric6 has joined #ocaml
Yoric5 has quit [Ping timeout: 240 seconds]
Yoric6 has quit [Ping timeout: 250 seconds]
eni has joined #ocaml
<wmeyer``> AFAIK un-official ocamlbuild manual will become part of the official manual soon. It might mean that the ocamlbuild manual might improve somewhat. I really think ocamlbuild is a great tool - it just needs some additional work to do to make it less cumbersome to use - wiki is helpful.
<wmeyer``> In particular dynamic automatic discovery of dependency is great
<Anarchos> wmeyer`` i compile only with ocamlbuild now :)
<wmeyer``> + you have declarative language for defining options through tags, none of the tools I know have it
<wmeyer``> Anarchos: I tend also to build everything with ocamlbuild, even if I need to write some plugin it's very convenient, however I think there will be always gap to make it use widely for production in non OCaml projects - still you need to know ML to write some more serious plugin
<adrien> Date: Thu May 24 16:26:07 2012 +0000
<adrien> " ocamlbuild's manual is now part of the "official" OCaml reference manual"
<wmeyer``> Adrien: Thanks :-)
<wmeyer``> so i was not wrong, but a bit late with that statement
<adrien> =)
wtetzner_ has quit [Ping timeout: 245 seconds]
djcoin has joined #ocaml
tmaedaZ has quit [Ping timeout: 245 seconds]
tmaedaZ has joined #ocaml
oriba has joined #ocaml
err404 has quit [Quit: Ex-Chat]
Sanders_NL has quit [Quit: I need to take it elsewhere.]
SanderM_NL has joined #ocaml
SanderM_NL has quit [Client Quit]
SanderM has joined #ocaml
SanderM has quit [Client Quit]
smerz has joined #ocaml
Schadenf1eude has joined #ocaml
Schadenf1eude has quit [Client Quit]
Schadenfreude has joined #ocaml
maufred_ has quit [Ping timeout: 240 seconds]
djcoin has quit [Quit: WeeChat 0.3.2]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Read error: Operation timed out]
Yoric6 has joined #ocaml
Yoric6 has quit [Ping timeout: 264 seconds]
munga has quit [Ping timeout: 252 seconds]
err404 has joined #ocaml
Se7en has joined #ocaml
Cyanure has quit [Ping timeout: 245 seconds]
jamii has quit [Ping timeout: 265 seconds]
Yoric6 has joined #ocaml
Yoric6 has quit [Ping timeout: 245 seconds]
Yoric6 has joined #ocaml
gnuvince has quit [Ping timeout: 252 seconds]
Yoric6 has quit [Ping timeout: 240 seconds]
bjorkintosh has quit [Ping timeout: 252 seconds]
johnnowak has joined #ocaml
johnnowak has quit [Client Quit]
ski has quit [Ping timeout: 246 seconds]
ski has joined #ocaml
eni has quit [Quit: Leaving]
eni has joined #ocaml
eni has quit [Quit: Leaving]
gnuvince has joined #ocaml
struktured has joined #ocaml
iago has quit [Quit: Leaving]
Anarchos has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 250 seconds]
Submarine has quit [Quit: Leaving]
oriba has quit [Quit: oriba]
gnuvince has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
Se7en has quit [Ping timeout: 250 seconds]
Se7en has joined #ocaml
SanderM has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
osa1 has joined #ocaml
gnuvince has quit [Ping timeout: 246 seconds]
err404 has quit [Remote host closed the connection]
osa1 has quit [Quit: Konversation terminated!]
gnuvince has joined #ocaml
gnuvince has quit [Ping timeout: 244 seconds]
Snark has quit [Quit: Quitte]
struktured has quit [Remote host closed the connection]
struktured has joined #ocaml
everyonemines has joined #ocaml
munga has joined #ocaml
gnuvince has joined #ocaml
SanderM has quit [Remote host closed the connection]
Sablier has quit [Quit: Quitte]
cdidd has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
jamii has joined #ocaml
<Qrntz> a seemingly simple task I can't grasp how to do: how to make ocamlbuild produce a .cmxs shared lib for every .ml file in a certain directory?
<Qrntz> (converting a project from makefiles to ocamlbuild, it used to be done with make suffixes but nothing similar to that works in ocamlbuild)
<wmeyer``> Qrntz: I don't have answer for your question unfortunately - never have done that before - but almost everything is possible with a plugin, if you want to see how the plugin look like and what it can do: https://github.com/danmey/Dom_react/blob/master/myocamlbuild.ml HTH
<wmeyer``> Qrntz: This contains also mlpacks, production rules for *.js and workaround for copying files
<wmeyer``> Qrntz: This should be as simple as putting the list of files into mllib and setting up right tags