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