<thelema>
dark: if you do [open Batteries], all the batteries modules will be imported into your namespace without the Bat prefix, and any collisions are merged
metasyntax has quit [Quit: ♫ In our sky there is no limits, and masters we have none; heavy metal is the only one! ♫]
oriba has joined #ocaml
|marius| has joined #ocaml
melba has left #ocaml []
jakedouglas has joined #ocaml
ulfdoz has joined #ocaml
mjonsson has quit [Ping timeout: 246 seconds]
jakedouglas has quit [Quit: Leaving.]
ftrvxmtrx has quit [Ping timeout: 240 seconds]
<dark>
thelema, nice :) but how about this Set vs. PSet dillema?
<dark>
Set can actually be used as PSet, fully, right?
ftrvxmtrx has joined #ocaml
<dark>
also, the general interfaces / structures seems a bit messy / giantish. maybe it's the exhibit the lack of type classes as the single most annoying limitation of ocaml
<dark>
the >>= could be made an general operator, if monads were objects
<dark>
and anyway, those |-, -| etc. operators were a nice addition :)
aj2009 has quit [Remote host closed the connection]
<thelema>
yes, PSet is included in Set since 1.2.0 (iirc)
<thelema>
Batteries is a bit gigantish. The documentation could be ... improved to gradually acclimatize people to batteries
<thelema>
>>= would be nice to "just work". We'll see what comes out of the nicer Module.() local open syntax.
<thelema>
I use |> much more than |-, but they're all nice at times.
<dark>
is there any software that uses batteries? gentoo won't include it in default portage unless there is some substantial use (they don't include libraries just to include)
<thelema>
no, there's no major software that uses it. I have my research programs and a simple CBZ viewer, but I don't think they're needed in gentoo
ftrvxmtrx has quit [Quit: Leaving]
<dark>
i think that a cbz viewer seems interesting to include, but it probably does not weight the maintenance burden
<dark>
gentoo seems severely understaffed or something, debian is healthier in this aspect .-.
Morphous has quit [Ping timeout: 272 seconds]
|marius| has quit [Remote host closed the connection]
dark has quit [Quit: Leaving]
yoruk has joined #ocaml
yoruk has quit [Read error: Connection reset by peer]
yoruk has joined #ocaml
Morphous has joined #ocaml
Associat0r has joined #ocaml
vpalle has joined #ocaml
ttamttam has joined #ocaml
ztfw has quit [Ping timeout: 246 seconds]
itewsh has joined #ocaml
itewsh has quit [Ping timeout: 265 seconds]
vpalle has quit [Ping timeout: 240 seconds]
itewsh has joined #ocaml
itewsh has quit [Client Quit]
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
ygrek_ has quit [Remote host closed the connection]
bzzbzz_ has joined #ocaml
bzzbzz has quit [Ping timeout: 255 seconds]
Associat0r has quit [Quit: Associat0r]
pikachuyann has joined #ocaml
ikaros has joined #ocaml
aj2009 has quit [Quit: Leaving]
fraggle__ has quit [Quit: -ENOBRAIN]
fraggle_ has joined #ocaml
avsm has joined #ocaml
ygrek_ has joined #ocaml
_andre has joined #ocaml
iago has joined #ocaml
tab has joined #ocaml
<tab>
hi, anyone had any luck with using camlp4 syntax with oasis ?
ygrek_ has quit [Ping timeout: 245 seconds]
<f[x]>
tab, you can always setup needed tags manually in _tags (outside of oasis-managed block)
oriba has joined #ocaml
yoruk has quit [Quit: later]
yoruk has joined #ocaml
ccasin has joined #ocaml
<tab>
f[x]: do you have any pointer for doing that by any chance ?
<adrien>
tab: iirc, it creates the _tags file, simply open it and append the regular tags, as for any ocamlbuild project (have you ever used ocamlbuild+camlp4?)
* adrien
has to go
munga has joined #ocaml
<f[x]>
adrien <- what he says
<tab>
adrien: never used camlp4 before unfortunately
<tab>
and ocamlbuild almost only through oasis
<adrien>
tab: which package is providing the syntax extension?
<tab>
in my case rpc-light.syntax
mjonsson has joined #ocaml
yoruk has quit [Ping timeout: 240 seconds]
hsuh has joined #ocaml
hsuh has left #ocaml []
<tab>
ok i managed to compile the thing, but I've got hardcoded paths in the tags
<tab>
any way to have ocamlfind and camlp4 play together ?
<tab>
f[x]: seems whatever is after camlp4o is not used
<tab>
f[x]: and camlp4o seems to be called without any arguments (so without any preprocessing)
<f[x]>
probably pkg is not defined
<f[x]>
look at ocamlbuild -documentation
munga has quit [Ping timeout: 265 seconds]
ttamttam has quit [Remote host closed the connection]
<adrien>
in one project, I have: 'syntax_camlp4o, pkg_sexplib, pkg_sepxlib.syntax'
<adrien>
in another: 'syntax_camlp4o, pkg_mikmatch_pcre'
<tab>
adrien: in the _tags ?
<hcarty>
OCamlPro? That sounds very similar to thelema's Community OCaml.
<tab>
ah yes success !
<tab>
adrien: thanks that solve my problem
<tab>
(with syntax_camlp4o, pkg_rpc-light.syntax)
<adrien>
hcarty: I'm tempted to say it sounds very similar to Fabrice Le Fessant's CDK: Caml Development Kit ;p
yoruk has joined #ocaml
<hcarty>
adrien: Even more true :-)
<adrien>
tab: nice :-)
<adrien>
I think the .syntax was part of a standardization effort some time ago (not sure)
<adrien>
for OCamlPro, one employee full-time would be a lot more manpower than currently, can only be good
<adrien>
(also, one english teacher once told me that anglo-saxon "engineers" were a lot less valued that french "ingénieurs")
coucou747 has quit [Ping timeout: 265 seconds]
iago has quit [Ping timeout: 265 seconds]
<fraggle_>
adrien, he tri te revive a dead project ?
<fraggle_>
*to
<adrien>
no, I don't think so, or at least he doesn't: the CDK was a good idea but definitely too monolithic
<fraggle_>
well
<adrien>
there could be something with git's submodules: it's a set of git repositories *each* *pointed* *at* *a* *specific* *commit*, meaning you can make a super-repository and chose a set of compatible commits for all of the subprojects (so you know all the versions are compatible)
<fraggle_>
godi is a good starting point
<adrien>
and when you update the super repository, you can make a new set of compatible versions
<adrien>
(I hope X.org did that)
<fraggle_>
but without upstream help to maintain a stable branche (ABI and syntax wise)
<fraggle_>
no way I can sell OCaml to customers :)
<fraggle_>
*can't
<adrien>
I don't think you'll ever avoid the ABI incompatibilities(*) because it's done on purpose
<adrien>
* ld-ocaml comes to my mind
<fraggle_>
it's a showstopper for entreprise adoption if you don't have it
<fraggle_>
ABI change are OK but not so often
joewilliams_away is now known as joewilliams
ftrvxmtrx has quit [Quit: Leaving]
jakedouglas has joined #ocaml
ftrvxmtrx has joined #ocaml
<tab>
fraggle_: it's not a showstopper for us
munga has joined #ocaml
|marius| has joined #ocaml
alpounet is now known as alpounet__
alpounet__ is now known as alpounet
<fraggle_>
tab, who is us ? :)
<tab>
fraggle_: Citrix
nejimban has joined #ocaml
<fraggle_>
citrix's customers don't care ABI changes on a runtime component ???
munga has quit [Ping timeout: 240 seconds]
<tab>
fraggle_: we don't ship anything that would have such an issue
LionMade0fLions has quit [Ping timeout: 252 seconds]
<fraggle_>
let me rephrase : if you want to sell a OCaml SDK; you must care about ABI changes
<tab>
indeed
Yoric has quit [Quit: Yoric]
yoruk has quit [Quit: later]
ftrvxmtrx has quit [Quit: Leaving]
ygrek_ has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Read error: Connection reset by peer]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
Yoric has joined #ocaml
avsm has quit [Quit: Leaving.]
jamii has quit [Remote host closed the connection]
<hcarty>
Is there an OCaml equivalent to perltidy, or something close?
aymeric has joined #ocaml
<mfp>
hcarty: camlp4o pr_o.cmo foo.ml ?
coucou747 has joined #ocaml
Anarchos has joined #ocaml
ulfdoz has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
<Anarchos>
my sparc simulator in ocaml is in a good way
<adrien>
nice :-)
<Anarchos>
adrien as the job is boring i prefer to code a processor simulator :)
<adrien>
hahaha, nice that you have time left for that =)
<hcarty>
mfp: Perhaps - the last time I tried camlp4o it ate comments, among other things. But I may have been using it incorrectly.
oriba has quit [Remote host closed the connection]
oriba has joined #ocaml
_andre has quit [Quit: leaving]
metasyntax` has quit [Quit: Be seeing you.]
<Anarchos>
adrien i make silly bugs in j2ee for a bank ....
<adrien>
your job is to make bugs? I hope you don't work for my bank then :P
<Anarchos>
adrien i correct them, but i saw a bit of code from cap gemini where they compare bank accounts in lexicographic order .... I really saw that and tested the bug !
jakedouglas has joined #ocaml
ftrvxmtrx has joined #ocaml
sepp2k has joined #ocaml
<hcarty>
mfp: Do you know if it is possible to specify formatting options to pr_o.cmo? Or where I would look to find out?
pikachuyann has quit [Quit: Quitte]
<Anarchos>
hcarty i never played with camlp4, maybe i should give it a try !
<hcarty>
Anarchos: It's certainly an interesting tool.
<Anarchos>
hcarty as i intend to write a first order logic prover, i guess i will need it !
munga has joined #ocaml
iago has joined #ocaml
ccasin has quit [Quit: Leaving]
Morphous is now known as Amorphous
ygrek_ has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
Yoric has quit [Client Quit]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ikaros has quit [Read error: Connection reset by peer]