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
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
ulfdoz_ is now known as ulfdoz
ggherdov has quit [Ping timeout: 246 seconds]
gnuvince has joined #ocaml
letrec has quit [Ping timeout: 260 seconds]
iago has quit [Quit: Leaving]
<GPHemsley> What does it mean when definite a module type throws an error about a constructor requiring an argument?
<GPHemsley> (I'm trying to set the module type to be a type defined elsewhere)
<GPHemsley> s/definite/defining/
<GPHemsley> type foobar = Foo | Bar;; module ... type t = foobar
<GPHemsley> Error: The type constructor derivation expects 1 argument(s),
<GPHemsley> but is here applied to 0 argument(s)
<GPHemsley> Is there any way to get around that? How would I give it an argument? (What argument is it even looking for?)
<thelema> type 'a t = 'a foobar?
<thelema> GPHemsley: is derivation a polymorphic type?
hiptobecubic has quit [Ping timeout: 252 seconds]
oriba has quit [Quit: oriba]
<GPHemsley> oh
<GPHemsley> heh
<GPHemsley> always the simple things
<GPHemsley> thelema: thanks
<thelema> GPHemsley: you're welcome
struktured has quit [Ping timeout: 260 seconds]
struktured has joined #ocaml
<GPHemsley> thelema: Oh, but I can't use Set.Make on a polymorphic type :/
struktured has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
struktured has joined #ocaml
tmaedaZ is now known as tmaeda
<thelema> GPHemsley: correct - you have to have a fixed type for Set.Make
<GPHemsley> ok
<thelema> If you need polymorphic sets, use Batteries' BatSet
<pippijn> is BatSet a reimplementation or a magic one?
<thelema> pippijn: in v2, it's a reimplementation, although structurally compatible
<pippijn> ok
<thelema> in 1.x, we magically open the stdlib implementation
tmaeda has quit [Quit: Quit Nadoka 0.7.1-trunk (rev: 187) - http://www.atdot.net/nadoka/]
MaskRay has quit [Quit: leaving]
MaskRay has joined #ocaml
MaskRay has left #ocaml []
svenl has quit [Ping timeout: 260 seconds]
svenl has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
smerz has quit [Remote host closed the connection]
<GPHemsley> that's alright, I just worked around it
The_third_man has quit [Read error: Operation timed out]
The_third_man has joined #ocaml
MaskRay has joined #ocaml
wtetzner has joined #ocaml
MaskRay_1 has joined #ocaml
MaskRay_2 has joined #ocaml
MaskRay has quit [Quit: leaving]
MaskRay_2 has quit [Client Quit]
MaskRay_1 has quit [Client Quit]
MaskRay has joined #ocaml
MaskRay has quit [Changing host]
MaskRay has joined #ocaml
huangjs has joined #ocaml
mattrepl has quit [Quit: mattrepl]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 276 seconds]
gnuvince has quit [Ping timeout: 250 seconds]
Kakadu has joined #ocaml
gnuvince has joined #ocaml
ggherdov has joined #ocaml
Fnar has quit [Quit: Client exiting]
ggherdov has quit [Ping timeout: 246 seconds]
ankit9 has joined #ocaml
Fnar has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
hto has quit [Read error: Connection reset by peer]
tufisi has joined #ocaml
bnwr_ has joined #ocaml
ftrvxmtrx has joined #ocaml
Cyanure has joined #ocaml
thomasga has joined #ocaml
hiptobecubic has joined #ocaml
roha has joined #ocaml
roha has quit [Ping timeout: 255 seconds]
<`micro> Hi - very new to ocaml.
<`micro> am trying to use the Command module from Jane Street's core:
<`micro> command.{ml,mli}
<`micro> open Core.Std forllowed by open Command is causing and error as Command is not found.
<flux> ok..
<flux> I haven't used the library
<flux> but perhaps you want open Core.Command instead
<`micro> is there something simple Im missing to be able to open modules in the 'extended' part of core?
<flux> or possibly even something fully different
<`micro> ahh - will try that.
<flux> but I need to move. I'll get back in an hour and tell more if you haven't resolved it by then :)
roha has joined #ocaml
<`micro> cool -thanks.
avsm has joined #ocaml
fantasticsid has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
<`micro> I've previously tried Command, Core.Std.Command, and Core_extended.Std.Core_command - all to no avail.
<`micro> (am using the 3 debian packages via apt-get: [libcore-ocaml, libcore-ocaml-{dev,doc}]
avsm has quit [Read error: Connection reset by peer]
roha has quit [Ping timeout: 260 seconds]
<`micro> have also just tried Core.Sys.Command and Sys.Command
fantasticsid has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<`micro> will clone repo and build from scratch.
cyphase has quit [Ping timeout: 272 seconds]
jonathandav has quit [Read error: Connection reset by peer]
mcclurmc has quit [Read error: Connection reset by peer]
jonathandav has joined #ocaml
roha has joined #ocaml
djcoin has joined #ocaml
avsm has joined #ocaml
Hussaind has joined #ocaml
cyphase has joined #ocaml
Cyanure has quit [Quit: Quitte]
Cyanure has joined #ocaml
roha has quit [Ping timeout: 272 seconds]
roha has joined #ocaml
ulfdoz has quit [Quit: deprecated]
fraggle_laptop has joined #ocaml
roha has quit [Ping timeout: 246 seconds]
ttamttam has joined #ocaml
ulfdoz has joined #ocaml
snearch has joined #ocaml
_andre has joined #ocaml
ttamttam has quit [Remote host closed the connection]
fraggle_laptop has quit [Ping timeout: 244 seconds]
ankit9 has quit [Remote host closed the connection]
fraggle_laptop has joined #ocaml
letrec has joined #ocaml
Zedrikov has joined #ocaml
<flux> `micro, resolved it yet?
<flux> `micro, open Core_extended.Command
roha has joined #ocaml
snearch has quit [Quit: Verlassend]
struktured has joined #ocaml
Hussaind has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 248 seconds]
Hussaind has joined #ocaml
The_third_bug has joined #ocaml
mcclurmc has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
smerz has joined #ocaml
_habnabit has quit [Read error: Connection reset by peer]
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
Znudzon has joined #ocaml
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
roha has quit [Ping timeout: 245 seconds]
alistra has joined #ocaml
alistra has left #ocaml []
philed has joined #ocaml
letrec has quit [Remote host closed the connection]
oriba has joined #ocaml
<`micro> flux: turns out that Command is (as you've suggested) part of the extended library. debian no longer packages libcore-extended-ocaml-dev
<`micro> flux: hence the decision to build from source. Will be doing so after I return from work later on this evening.
<pippijn> why did debian stop packaging it?
<`micro> it's still part of squeeze, however there are dependencies that no longer (arrpear) to exist.
<pippijn> it's in squeeze, but it needs the old ocaml 3.11 then
<`micro> root@p9:/usr/local/src/ocaml/janest-core-107.01# rmadison libcore-extended-ocaml-dev libcore-extended-ocaml-dev | 0.6.0-2+b1 | squeeze | amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, sparc libcore-extended-ocaml-dev | 0.6.0-3 | sid | hurd-i386
<`micro> root@p9:/usr/local/src/ocaml/janest-core-107.01# rmadison libcore-extended-ocaml libcore-extended-ocaml | 0.6.0-2+b1 | squeeze | amd64, armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386, mips, mipsel, powerpc, s390, sparc libcore-extended-ocaml | 0.6.0-3 | sid | hurd-i386
Znudzon has quit [Read error: Operation timed out]
<`micro> will spend more time on it later on this evening.
avsm has quit [Quit: Leaving.]
<`micro> libcore-extended-ocaml depends on libcore-ocaml-v1oy2 and libpcre-ocaml-g7y84 - which don't seem to exist.
smondet has quit [Read error: Connection reset by peer]
<thelema> `micro: I'm sure you have libpcre-ocaml and libcore-ocaml
smondet has joined #ocaml
<thelema> the hash at the end is for ensuring that versions match
<pippijn> the problem is 3.11
<`micro> Package libpcre-ocaml-g7y84 is a virtual package provided by: libpcre-ocaml 6.0.1-3 [Not candidate version]
<`micro> E: Package 'libpcre-ocaml-g7y84' has no installation candidate
<thelema> I wish there was a core user out there who would make a tarball of current core that is installable by odb
smondet has quit [Read error: Connection reset by peer]
oriba has quit [Quit: oriba]
<ulfdoz> Was gibt's denn eigentlich noch an cooler must-have-software auf'm Mac?
<ulfdoz> ewin, sorry
MaskRay has quit [Quit: leaving]
smondet has joined #ocaml
larhat has joined #ocaml
eni has joined #ocaml
huangjs has left #ocaml []
smondet has quit [Ping timeout: 240 seconds]
larhat has quit [Read error: Connection timed out]
smondet has joined #ocaml
eni has quit [Ping timeout: 244 seconds]
larhat has joined #ocaml
habnabit has joined #ocaml
larhat has quit [Ping timeout: 252 seconds]
_andre has quit [Quit: leaving]
roha has joined #ocaml
The_third_bug has quit [Ping timeout: 248 seconds]
The_third_bug has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
thomasga1 has quit [Client Quit]
habnabit is now known as _habnabit
Kakadu has quit [Quit: Konversation terminated!]
tmaedaZ has joined #ocaml
tmaedaZ is now known as tmaeda
j2d2j2d2 has joined #ocaml
sivoais has quit [Quit: Lost terminal]
Submarine has joined #ocaml
avsm has joined #ocaml
Submarine has quit [Quit: Leaving]
roha has quit [Ping timeout: 252 seconds]
Hussaind has quit [Quit: Konversation terminated!]
jamii has joined #ocaml
avsm has quit [Quit: Leaving.]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
roha has joined #ocaml
jamii has quit [Quit: Leaving]
saml has joined #ocaml
<saml> hey i want to learn ocaml thanks
<pippijn> you're welcome
roha has quit [Ping timeout: 244 seconds]
roha has joined #ocaml
<saml> do you use class in ocaml?
<adrien> "ocaml objects" are fairly advanced concepts; don't start using them early
<saml> in toplevel, can I describe something like a module, sig, class... ?
<mrvn> yes
<saml> how can I describe? there's no directive
diego_diego has joined #ocaml
<mrvn> module M = struct let foo x = x end
<mrvn> module type M = sig val foo : 'a -> 'a end;;
<saml> then I do M;; it says Error: Unbound constructor M
<saml> i mean.. i know how to define struct or sig.. but once I do, is there a way to investigate M ?
<smondet> module M = M;; ?
<saml> oh nice
roha has quit [Ping timeout: 250 seconds]
<mrvn> what you are actualy doing there is create a new module M from M. That just happens to again list the type.
<mrvn> saml: if you are writing anything non trivial then I recommend using an editor and cut&pasteing the stuff you want to test or actualy compile it.
* mrvn thinks the toplevel needs readline support, pronto.
<saml> i see
<saml> i'm using rlwrap.. but yah.. auto complete and stuff could be useful
<saml> is there readline binding that works for windows, too?
<pippijn> doesn't cmd do that already?
<saml> maybe i'm not sure. anyways thianks!
saml has quit [Quit: Leaving]
<mrvn> The default linux toplevel doesn't let you edit the input. Only special key that works is backspace.
philed has quit [Ping timeout: 246 seconds]
roha has joined #ocaml
tmaeda has quit [Ping timeout: 244 seconds]
Cyanure has quit [Remote host closed the connection]
tmaeda has joined #ocaml
hiptobecubic has quit [Ping timeout: 246 seconds]
smondet has quit [Quit: leaving]
sivoais has joined #ocaml
diego_diego has quit [Quit: diego_diego]
diego_diego has joined #ocaml
struktured has joined #ocaml
larhat has joined #ocaml
The_third_bug has quit [Ping timeout: 244 seconds]
The_third_bug has joined #ocaml
<pippijn> is there a module for a functional hash map?
<pippijn> perhaps initialised with a ('key * 'value) list
<pippijn> and then immutable
Cyanure has joined #ocaml
sgnb has quit [Ping timeout: 260 seconds]
tufisi has quit [Read error: Operation timed out]
sgnb has joined #ocaml
Zedrikov has quit [Quit: Bye all, see you next time!]
sgnb has quit [Read error: Connection reset by peer]
larhat has quit [Quit: Leaving.]
<pippijn> what is the point of Map.choose?
roha has quit [Ping timeout: 260 seconds]
Cyanure has quit [Remote host closed the connection]
oriba_ has joined #ocaml