bzzbzz_ has quit [Read error: Connection reset by peer]
bzzbzz has joined #ocaml
hongboz has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
hongboz has joined #ocaml
bzzbzz has quit [Quit: leaving]
sabayonuser2 is now known as Mnabil
Xizor has quit []
jamii has joined #ocaml
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
<rgrinberg>
is there an idiomatic way of reading lines from stdin in batteries? I can input_line stdin until i get End_of_file but would prefer a more idiomatic method if it exists
<_habnabit>
rgrinberg, File.lines_of stdin
<_habnabit>
oh, whoops, lines_of is string -> string enum
<rgrinberg>
ya
<_habnabit>
ah, I knew there was something -- IO.lines_of stdin
<rgrinberg>
thanks!!
sepp2k has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
asmanur has joined #ocaml
asmanur_ has quit [Ping timeout: 264 seconds]
Mnabil has quit [Ping timeout: 244 seconds]
jamii has quit [Ping timeout: 245 seconds]
ankit9_ has joined #ocaml
hongboz has quit [Ping timeout: 245 seconds]
`micro has quit [Read error: Connection reset by peer]
`micro has joined #ocaml
`micro is now known as Guest76048
emmanuelux has quit [Ping timeout: 265 seconds]
ftrvxmtrx_ has quit [Ping timeout: 246 seconds]
<rgrinberg>
In OCaml 3.12, how do I unpack a module from a record member? I have a type: type xx = { member : (module MySig) } and I do let module M = (val (member : MySig)) in ...
<rgrinberg>
but that doesn't work
<rgrinberg>
How annoying, I defined my record type before the module signature and that's not allowed from what I can tell
ftrvxmtrx_ has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
sgnb has joined #ocaml
ftrvxmtrx_ has quit [Quit: Leaving]
Yoric has joined #ocaml
hongboz has joined #ocaml
ivan\ has quit [Read error: Operation timed out]
ivan\ has joined #ocaml
thomasga has joined #ocaml
eni has joined #ocaml
cdidd has joined #ocaml
ankit9_ has quit [Quit: Leaving]
djcoin has joined #ocaml
eikke has joined #ocaml
ftrvxmtrx has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
mika1 has joined #ocaml
<testcocoon>
adrien: are you working on a packaging of ocaml on windows?
BiDOrD_ has joined #ocaml
BiDOrD has quit [Read error: Operation timed out]
pr has joined #ocaml
pippijn_ has joined #ocaml
pippijn_ has quit [Changing host]
pippijn_ has joined #ocaml
ftrvxmtrx has quit [*.net *.split]
cdidd has quit [*.net *.split]
eni has quit [*.net *.split]
pr_ has quit [*.net *.split]
henux has quit [*.net *.split]
pippijn has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
r126f has quit [*.net *.split]
dropdrive has quit [*.net *.split]
mika1 has quit [Quit: Leaving.]
ftrvxmtrx has joined #ocaml
mika1 has joined #ocaml
cdidd has joined #ocaml
<adrien>
testcocoon: yes, but for it running on windows, I won't have it before several months
<adrien>
for cross-compiling to windows, in less than that
<testcocoon>
adrien: I made an automatic installation of cygwin+GODI, it is directly from the sources (not a binary install). I don't know if you can use it.
<adrien>
testcocoon: as, that was you :-)
eni has joined #ocaml
<adrien>
for now I want to cross-compile everything
<adrien>
s/for now//
<testcocoon>
adrien: I'm actually working on a frontend for ocamldebug since that I hate emacs.
<adrien>
heheh :-)
ankit9 has joined #ocaml
<hongboz>
testcocoon: emacs is awesome ;)
<testcocoon>
the problem is the learning curve, and be honest if you want that ocaml gets more popular, it is necessary to provide a better GUI tools which are easy to use for every non Vim/Emacs user.
<hongboz>
testcocoon: you are right. But emacs is the most valuable software I've ever learned.
<testcocoon>
hongboz: I would say the same from Vim ;)
<testcocoon>
The main point is the acceptande: why is C# so successfull: because visual studio is easy to use for a developer which knows how power point works.
<cacho>
here is when I start trolling you with visual basic popularity in 90's?
osa1 has joined #ocaml
silver has joined #ocaml
ankit9 is now known as 1JTAAA56S
henux has joined #ocaml
dropdrive has joined #ocaml
wormphlegm has joined #ocaml
r126f has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
eni has quit [Read error: Operation timed out]
Kakadu has joined #ocaml
avsm has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
cdidd has quit [Remote host closed the connection]
Mnabil has joined #ocaml
Cyanure has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
<Ptival>
there's good popularity and bad popularity? :)
thomasga has quit [Read error: Connection timed out]
thomasga has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
Qrntz has quit [Ping timeout: 265 seconds]
caligula__ has joined #ocaml
adrien_o1w is now known as adrien_oww
caligula_ has quit [Ping timeout: 252 seconds]
hongboz has quit [Ping timeout: 248 seconds]
osa1 has quit [Quit: Konversation terminated!]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
Yoric has joined #ocaml
Snark has joined #ocaml
ccasin has quit [Read error: Operation timed out]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
1JTAAA56S is now known as ankit9
cdidd has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
ccasin has joined #ocaml
<testcocoon>
Ptival: I think the problem is not that the popularity is good or bad. In my opinion, to start working with OCaml you need really be motivated: no IDE, no graphical debugger, no binary installer on windows,.... all this makes OCaml not really "plug and play"
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
eni has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
* adrien
ducks for corver
<adrien>
cover*
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
_andre has joined #ocaml
sepp2k has joined #ocaml
<flux>
well, there is an eclipse module for ocaml, isn't there? no idea if it's any good :)
<flux>
OcaIDE
Kakadu has quit [Quit: Page closed]
<flux>
but I suppose so few 'hard-core' ocaml users use that, that there is very little (say) support for it here at IRC
<flux>
it seems to be well-maintained though, latest release from April
f[x] has quit [Ping timeout: 244 seconds]
thomasga has quit [Read error: Operation timed out]
thomasga has joined #ocaml
<nicoo>
s/well-//
<nicoo>
testcocoon: IIRC, there is some (unofficial) installer for windows
<nicoo>
And (depending on what you define as IDE) the Emacs support might well fill the bill.
<nicoo>
The « lack » of graphical debugger isn't a problem, IMHO, because it's possible to interactiely run & trace offending pieces of code.
avsm has quit [Quit: Leaving.]
<nicoo>
But yes, the development environment is quite different from, say, C, C++ or Java
<testcocoon>
First OcaIDE: the debugger integration was really buggy, I try to use it, and I stop it.
<nicoo>
(And the toolchain is far from perfect)
<testcocoon>
nicoo: I know there are installer, but not from the official ocaml page. It is like wanting to use GCC and you need first to geenerate it...
<nicoo>
testcocoon: Ǹope, it's quite different (and beliee me, compiling GCC is a pain)
<nicoo>
But saying « not having the bin. installer on the official webpage means I need to compile » is a nie non-sequitur ;)
f[x] has joined #ocaml
<testcocoon>
nicoo: the problem is the reaction of a newcomer. You had a look on the ocaml web side, and you see that you cannot download and play with it directly. This could be more convenient with less effort.
<testcocoon>
nicoo: but anyway, in one week I will be finished with my graphical version of ocamldebug. (but I guess this is nothing for you, since the principle is to have the same as the emacs debugger without emacs)
<nicoo>
testcocoon: Yes, it could be; however, it might not be Gallium's job to provide Windows packaging; but then, it becomes non-official. The problem has more to do with involving more the community in the making of the official distribution of OCaml, IMHO.
<flux>
has someone actually used ocamldebug to solve a problem?
<flux>
the few times I've tried it hasn't been very helpful, I've reverted to printf debugging..
<testcocoon>
flux: actually, I'm enjoy it....
<testcocoon>
nicoo: I agree. I wanted only to give my experience about ocaml. Great language, great libraries (except for graphics), but the tools are not for the mass of developers.
<nicoo>
Graphics isn't so bad, as long as you don't use Graphics from the std distrib
<flux>
something that integrated the toplevel with the debugger would be excellent
<flux>
giving ability to evaluate expressions while debugging etc
<flux>
debugging interactively entered functions
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
avsm has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
mika1 has quit [Read error: Connection reset by peer]
eni has quit [Ping timeout: 265 seconds]
gnuvince has quit [Ping timeout: 240 seconds]
thomasga has quit [Read error: Operation timed out]
thomasga has joined #ocaml
emmanuelux has joined #ocaml
avsm has quit [Quit: Leaving.]
emmanuelux has quit [Ping timeout: 246 seconds]
sivoais has quit [Ping timeout: 248 seconds]
avsm has joined #ocaml
sivoais has joined #ocaml
Progster has joined #ocaml
gnuvince has joined #ocaml
cdidd has quit [Ping timeout: 248 seconds]
bzzbzz has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
smondet has joined #ocaml
eni has joined #ocaml
emmanuelux has joined #ocaml
avsm has quit [Quit: Leaving.]
ankit9 has quit [Quit: Leaving]
Drakken_ has quit [Ping timeout: 250 seconds]
cdidd has joined #ocaml
Drakken_ has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Mnabil has quit [Ping timeout: 268 seconds]
djcoin has quit [Quit: WeeChat 0.3.2]
K_F has quit [Quit: leaving]
JorgeArbusto has joined #ocaml
edwin has joined #ocaml
edwin has left #ocaml []
K_F has joined #ocaml
cdidd has quit [Ping timeout: 268 seconds]
cdidd has joined #ocaml
K_F has quit [Client Quit]
emmanuelux has quit [Ping timeout: 246 seconds]
K_F has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
smondet has quit [Remote host closed the connection]
JorgeArbusto has left #ocaml []
ccasin has quit [Remote host closed the connection]
smondet has joined #ocaml
eikke has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
ccasin has joined #ocaml
eni has quit [Ping timeout: 248 seconds]
ccasin has quit [Client Quit]
ccasin has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
cdidd has joined #ocaml
avsm has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
<Drakken_>
nick Drakken
Drakken_ is now known as Drakken
<Drakken>
oops
<Drakken>
Thelema about that odb code, with downloading and installation separated, we'll have to remember each package's dependencies
<Drakken>
and I just noticed the config flags depend on whether the package is a dependency, so the code will need a flag for that associated with the package instead of just a function arg.
<Drakken>
I mean config options for installation.
<Drakken>
Right now I have a separate record type that holds a pkg, version requirement, and dependencies, and I can add the flag to that.
<Drakken>
But it seems a little clunky. The pkg type seems like the natural place to put all that stuff.
diego_diego has joined #ocaml
diego_diego_ has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
diego_diego has quit [Ping timeout: 246 seconds]
diego_diego_ is now known as diego_diego
diego_diego_ has joined #ocaml
Mnabil has joined #ocaml
diego_diego has quit [Ping timeout: 252 seconds]
diego_diego_ is now known as diego_diego
diego_diego has quit [Client Quit]
<thelema>
Drakken: have you looked at the precomp branch of odb?
silver has quit [Remote host closed the connection]
<madroach>
hi, I'm having trouble building batteries. It refuses to build extlibcompat. Is there some known pitfall causing this?
<thelema>
madroach: hmm, you're building the git master
<madroach>
no error message, nothing. It simply does not build extlibcompat.cmi
<thelema>
hmm, it should be in the batteries.mllib file
<madroach>
thelema: no, 1.5.0
<thelema>
oh, one sec...
<thelema>
oops, it's not in the batteries.mllib file.
<thelema>
you may be the first to notice this omission.
<thelema>
add "Extlibcompat" to the end of the batteries.mllib file and try again
eni has joined #ocaml
<madroach>
thelema: I'll try. Thanks for the fast answer :)
thomasga has quit [Quit: Leaving.]
<madroach>
Another problem is when I try to build using oasis, it does not respect the MAKE=gmake environment variable. Then of course failing using bsd make.
<thelema>
oasis is a thin wrapper around the makefile, I recommend just using the makefile
<madroach>
thelema: That's what I'm doing. :)
<madroach>
thelema: The "Extlibcompat" addition to batteries.mllib did do the trick. Thanks again :)
<Drakken>
thelema if you're going to work on the topo-sorting code, I'll find something else to do.
<thelema>
ok, thanks for the bug report on both oasis and extlibcompat, the second will definitely be fixed in the next release, the first... will go away when we transition properly to oasis instead of just using it to wrap the makefile
<thelema>
madroach: ^^
ftrvxmtrx has joined #ocaml
<madroach>
that's fine :-) because building oasis ports on OpenBSD is pretty much automated now.
<thelema>
madroach: have you tried odb.ml under OpenBSD?
<thelema>
Drakken: I think I've already done the topo-sorting code in that branch. It may not be complete/correct; if you have time, I'd appreciate you looking at the code and testing/fixing it.
<madroach>
thelema: The extlibcompat.cmo does not need to be installed?
<madroach>
thelema: extlibcompat.cm[ix] are installed, but not extlibcompat.cmo.
<madroach>
thelema: I have not tried odb.ml. I just added a "CONFIGURE_STYLE=oasis" module which will call the setup.ml with the right parameters for destdir, configuring, building, intalling, testing.
<thelema>
madroach: extlibcompat.cmo gets built into the .cma file
<thelema>
batteries.cma
Yoric has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 276 seconds]
ftrvxmtrx has joined #ocaml
gnuvince has quit [Ping timeout: 248 seconds]
Mnabil has quit [Ping timeout: 268 seconds]
eikke has joined #ocaml
braibant has joined #ocaml
<braibant>
hi
<braibant>
I have trouble building the js_of_ocaml toplevel using ocaml 4. (Problem with dependencies over toplevellib.cma)
<braibant>
I tried using a correct version using opam, but it appears that opam install js_of_ocaml does not compile the topelevel, and does not see that the toplevel cannot build
Yoric has quit [Ping timeout: 252 seconds]
<braibant>
thanks
eni has quit [Ping timeout: 240 seconds]
<braibant>
does not cut it for this particular package, I get "inconsistent assumptions" over interfaces
<ousado>
maybe leftovers from previous attempts?
<braibant>
tried to clean
<braibant>
and rebuilt everything
<braibant>
but does not seem to work. Will try again, though
gnuvince has joined #ocaml
<braibant>
no luck
<thelema>
I'd bet the clean didn't clean enough
<thelema>
inconsistent assumptions is exactly when module A and B depend on C, but the interface for C changed between A being compiled and B
<thelema>
z
<braibant>
ok
<thelema>
by "the interface changed", this doesn't mean the cmi file, it can be just that C was recompiled with the tiniest change anywhere
<braibant>
I cleaned both js_of_ocaml/compiler and js_of_ocaml/toplevel by hand, and tried to recompile the later. Same result ...
<thelema>
what are the three files involved in the inconsistent assumptions?
<braibant>
I corrected that before the the latter paste (compiler.cma appearing several time was some weird copy/paster mistake)
<thelema>
okay, this second paste indicates a namespace collision
<thelema>
Warning 31: files ../compiler/compiler.cma(Primitive) and /Users/braibant/.opam/4.00.0/lib/ocaml/compiler-libs/ocamlcommon.cma(Primitive) both define a module named Primitive
<braibant>
ok
<thelema>
the namespace for modules is flat, meaning that (ignoring modules within other modules), you can only have one module of each name
<thelema>
it looks like the 4.00 compiler libs define a module named primitive
<thelema>
and the ../compiler/compiler.cma has a module named primitive as well
<braibant>
I would have assumed that the js_of_ocaml people would have used a pack to tame the namespace
<thelema>
this second module is likely a duplicate of the compiler libs-provided code
<thelema>
apparently not.
<thelema>
packs are surprisingly fragile, too.
<thelema>
anyway, try compiling without ../compiler/compiler.cma
<braibant>
does not work (because the toplevel needs some submodules of compiler, that are clashing too)
<braibant>
I could try pushing the cma from compiler-libs in a dummy pack, and import that pack ...
<thelema>
maybe try without ocamlcommon.cma
Yoric has joined #ocaml
<braibant>
does not work
<braibant>
ocamlbytecomp.cma depends on it for Lambda
<thelema>
a right mess of the modules.
<thelema>
the right fix is probably to, under 4.00, remove the parts of compiler.cma that conflict with the ocaml-supplied libraries
Yoric has quit [Ping timeout: 265 seconds]
<braibant>
does not work either, because these modules are rightfully there
<braibant>
I cannot just remove them
<braibant>
(i.e., it is not copy paste from the ocaml compiler)
pango__ has joined #ocaml
pango__ is now known as pango
avsm has joined #ocaml
pango_ has quit [Ping timeout: 272 seconds]
avsm has quit [Client Quit]
<thelema>
well, one or the other has to be renamed; good luck with packing the compiler libs.
<braibant>
by good luck, do you mean that you think it will not work? I had to do something similar for a Coq plugin. It worked, but it involved a lot of painful renaming…
avsm has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
<thelema>
if you pack the compiler libs, at a minimum, you'll have to patch the references from js_of_ocaml to the toplop library to refer to your packed library. Although this may not be too hard, because the compiler will error nicely for each one...
<thelema>
maybe it's not so difficult if you can get the compiler libs packed
<braibant>
actually, I decided to just move back to 3.12.1
<braibant>
I just want to get a working toplevel in a browser
<thelema>
with ocamlbrew, you can easily setup multiple independent ocaml compilation systems
sepp2k has quit [Quit: Leaving.]
sepp2k1 has joined #ocaml
<flux>
btw, if I were to retry installing ocaml w/ ocamlbrew on my rpi today, would it be a useful test? that is, has something been fixed since day before yesterday :)
Guest76048 is now known as micro
Anarchos has joined #ocaml
avsm has quit [Quit: Leaving.]
Snark has quit [Quit: Quitte]
avsm has joined #ocaml
<hcarty>
flux: There have been updates to odb.ml related to root/sudo, but I don't know if they are in the master branch yet.
<hcarty>
flux: Testing an updated odb.ml against your existing rpi brew would be a good start. If that works, then a clean ocamlbrew installation would be nice to hear about :-)
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
_andre has quit [Quit: leaving]
Cyanure has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 256 seconds]
eikke has joined #ocaml
braibant has quit [Quit: Leaving.]
Yoric has joined #ocaml
<wmeyer`>
hcarty: Today I think I will be testing ocamlbrew on ARM too :-). I think I will be testing that quite extensively soon.
<wmeyer`>
flux: So you have started already trying ocaml on rpi, cool.
<wmeyer`>
combination rpi+lapdock is quite cool.
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
eni has joined #ocaml
<nicoo>
lapdock ?
<wmeyer`>
nicoo: it's a vapourware from motorola. It meant to be a docking station for the phone called atrix. It has a nice a keyboard and display
<wmeyer`>
it has been suspended like ac 100 (which i received today) as people stopped buying netbooks, and started buying tablets
thomasga has joined #ocaml
<wmeyer`>
i think ac 100 is the best deal, you have bargain prices for high quality smartbook, running on tegra 2 and cortex-a9
<wmeyer`>
in fact i tried this today, and i am genuinely impressed
<wmeyer`>
the lapdock can be used to connect from rpi or CPU card
<wmeyer`>
then you have another fully functional arm laptop
<wmeyer`>
for like below $100
<nicoo>
:]
<nicoo>
Sounds nice
<wmeyer`>
(sustaining on the battery for 8h on a week standby, which does not need a fan)
<wmeyer`>
in fact i paid for the toshiba more than that, but not much more
<wmeyer`>
the android killed this product
<wmeyer`>
which is unbereable without touch screen
<wmeyer`>
but ubuntu is now *extremely* well supported
<hcarty>
wmeyer`: I have an Atrix, not currently in use. I never got the lapdock because they were so expensive initially, but it is/was a cool idea.
<hcarty>
wmeyer`: Good luck with ocamlbrew on ARM - I hope it goes smoothly. From what flux said it sounds like it should if you are running it as a normal user rather than root.
avsm has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 252 seconds]
<wmeyer`>
hcarty: :) yes, agreement it's a cool idea. Still it is, you can get it now easily for cheaper prices.
<wmeyer`>
hcarty: I don't expect any huge problems in fact
<wmeyer`>
i have fully running distro including 3G, webcam, wifi etc.
<wmeyer`>
(rpi is a bit smaller device)
thomasga has quit [Quit: Leaving.]
<wmeyer`>
hcarty: Thanks, first I need to get emacs git and my WM, and the browser...
<wmeyer`>
but will report back what happened
<hcarty>
wmeyer`: Have fun!
<wmeyer`>
hcarty: Cheers!
eikke has quit [Ping timeout: 240 seconds]
Submarine has quit [Ping timeout: 246 seconds]
micro__ has joined #ocaml
micro__ is now known as Guest23256
micro has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
cdidd has quit [Remote host closed the connection]