00:02
Yoric has quit [Ping timeout: 256 seconds]
00:04
lggr has quit [Ping timeout: 240 seconds]
00:10
Tobu_ has quit [Read error: Connection reset by peer]
00:11
lggr has joined #ocaml
00:12
Tobu has joined #ocaml
00:19
lggr has quit [Ping timeout: 255 seconds]
00:25
avsm has quit [Quit: Leaving.]
00:25
lggr has joined #ocaml
00:30
lggr has quit [Ping timeout: 245 seconds]
00:36
lggr has joined #ocaml
00:40
lggr has quit [Ping timeout: 240 seconds]
00:44
lggr has joined #ocaml
00:45
eikke has quit [Ping timeout: 252 seconds]
00:51
lggr has quit [Ping timeout: 252 seconds]
00:56
lggr has joined #ocaml
00:58
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
01:00
err404 has quit [Read error: Connection reset by peer]
01:01
rgrinberg has joined #ocaml
01:02
lggr has quit [Ping timeout: 252 seconds]
01:05
bitbckt has quit [Ping timeout: 245 seconds]
01:06
bitbckt has joined #ocaml
01:06
lggr has joined #ocaml
01:10
lggr has quit [Ping timeout: 255 seconds]
01:19
madroach has quit [Ping timeout: 265 seconds]
01:20
lggr has joined #ocaml
01:21
madroach has joined #ocaml
01:27
avsm has joined #ocaml
01:27
lggr has quit [Ping timeout: 256 seconds]
01:30
ferretsheene has joined #ocaml
01:34
lggr has joined #ocaml
01:42
lggr has quit [Ping timeout: 268 seconds]
01:48
lggr has joined #ocaml
01:51
mattrepl has joined #ocaml
01:52
jpdeplaix has quit [Ping timeout: 264 seconds]
01:54
jpdeplaix has joined #ocaml
01:55
lggr has quit [Ping timeout: 240 seconds]
02:02
lggr has joined #ocaml
02:09
lggr has quit [Ping timeout: 246 seconds]
02:12
lggr has joined #ocaml
02:19
lggr has quit [Ping timeout: 252 seconds]
02:26
lggr has joined #ocaml
02:34
lggr has quit [Ping timeout: 255 seconds]
02:35
DijkstraGroupie has quit [Ping timeout: 246 seconds]
02:37
DijkstraGroupie has joined #ocaml
02:40
lggr has joined #ocaml
02:42
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
02:48
Yoric has joined #ocaml
02:48
lggr has quit [Ping timeout: 268 seconds]
02:50
mattrepl has quit [Quit: mattrepl]
02:51
ivan\ has joined #ocaml
02:52
DijkstraGroupie has left #ocaml []
02:54
DijkstraGroupie has joined #ocaml
02:54
lggr has joined #ocaml
02:59
avsm has quit [Quit: Leaving.]
03:02
lggr has quit [Ping timeout: 255 seconds]
03:06
Ptival has joined #ocaml
03:09
lggr has joined #ocaml
03:10
Yoric has quit [Ping timeout: 240 seconds]
03:16
lggr has quit [Ping timeout: 244 seconds]
03:17
Yoric has joined #ocaml
03:22
lggr has joined #ocaml
03:29
lggr has quit [Ping timeout: 245 seconds]
03:32
rgrinberg has quit [Quit: Leaving]
03:36
lggr has joined #ocaml
03:43
lggr has quit [Ping timeout: 252 seconds]
03:44
DijkstraGroupie has quit [Quit: Lost terminal]
03:50
lggr has joined #ocaml
03:55
lggr has quit [Ping timeout: 255 seconds]
03:56
Yoric has quit [Ping timeout: 246 seconds]
04:00
lggr has joined #ocaml
04:04
DijkstraGroupie has joined #ocaml
04:05
lggr has quit [Ping timeout: 246 seconds]
04:12
lggr has joined #ocaml
04:18
lggr has quit [Ping timeout: 252 seconds]
04:22
ankit9 has joined #ocaml
04:23
osa1 has joined #ocaml
04:23
lggr has joined #ocaml
04:30
lggr has quit [Ping timeout: 252 seconds]
04:33
lusory has joined #ocaml
04:37
lggr has joined #ocaml
04:39
Ptival has quit [Read error: Connection reset by peer]
04:39
emmanuelux has quit [Remote host closed the connection]
04:39
Ptival has joined #ocaml
04:44
cdidd has joined #ocaml
04:45
lggr has quit [Ping timeout: 256 seconds]
04:45
DijkstraGroupie has quit [Ping timeout: 256 seconds]
04:51
lggr has joined #ocaml
04:54
DijkstraGroupie has joined #ocaml
04:58
lggr has quit [Ping timeout: 246 seconds]
04:58
DijkstraGroupie has quit [Quit: lag]
05:01
lggr has joined #ocaml
05:06
DijkstraGroupie has joined #ocaml
05:07
Oejet has joined #ocaml
05:08
lggr has quit [Ping timeout: 268 seconds]
05:11
lggr has joined #ocaml
05:17
lggr has quit [Ping timeout: 245 seconds]
05:22
lggr has joined #ocaml
05:23
Tobu has quit [Read error: Connection reset by peer]
05:23
Tobu has joined #ocaml
05:28
lggr has quit [Ping timeout: 252 seconds]
05:30
Tobu has quit [Quit: No Ping reply in 180 seconds.]
05:30
Tobu has joined #ocaml
05:31
osa1 has quit [Quit: Konversation terminated!]
05:33
lggr has joined #ocaml
05:39
lggr has quit [Ping timeout: 246 seconds]
05:45
lggr has joined #ocaml
05:52
lggr has quit [Ping timeout: 256 seconds]
05:57
ulfdoz has joined #ocaml
05:58
DijkstraGroupie has quit [Quit: leaving]
05:59
lggr has joined #ocaml
05:59
snarkyboojum has quit [Ping timeout: 260 seconds]
06:00
snarkyboojum has joined #ocaml
06:02
sgnb has quit [Read error: Connection reset by peer]
06:03
sgnb has joined #ocaml
06:06
lggr has quit [Ping timeout: 260 seconds]
06:07
cdidd has quit [Remote host closed the connection]
06:10
ulfdoz has quit [Ping timeout: 240 seconds]
06:13
lggr has joined #ocaml
06:15
emias has quit [Remote host closed the connection]
06:17
lggr has quit [Ping timeout: 240 seconds]
06:20
djcoin has joined #ocaml
06:26
hkBst has joined #ocaml
06:26
lggr has joined #ocaml
06:30
Yoric has joined #ocaml
06:32
ankit9 has quit [Quit: Leaving]
06:34
lggr has quit [Ping timeout: 256 seconds]
06:35
ferretsheene has quit [Quit: ferretsheene]
06:38
pango is now known as pangoafk
06:40
lggr has joined #ocaml
06:48
lggr has quit [Ping timeout: 260 seconds]
06:53
tufisi has joined #ocaml
06:54
lggr has joined #ocaml
07:00
ftrvxmtrx has quit [Quit: Leaving]
07:01
gallais has quit [Remote host closed the connection]
07:02
lggr has quit [Ping timeout: 260 seconds]
07:08
lggr has joined #ocaml
07:17
lggr has quit [Ping timeout: 268 seconds]
07:20
Kakadu has joined #ocaml
07:21
mika1 has joined #ocaml
07:22
olle has joined #ocaml
07:22
lggr has joined #ocaml
07:28
eni has joined #ocaml
07:30
lggr has quit [Ping timeout: 244 seconds]
07:35
Kakadu_ has joined #ocaml
07:36
lggr has joined #ocaml
07:38
ankit9 has joined #ocaml
07:44
lggr has quit [Ping timeout: 244 seconds]
07:45
eni has quit [Ping timeout: 246 seconds]
07:50
lggr has joined #ocaml
07:54
ftrvxmtrx has joined #ocaml
07:58
lggr has quit [Ping timeout: 252 seconds]
08:00
tufisi has quit [Ping timeout: 240 seconds]
08:02
emias has joined #ocaml
08:04
lggr has joined #ocaml
08:05
eikke has joined #ocaml
08:10
hkBst has quit [Read error: Connection reset by peer]
08:11
hkBst has joined #ocaml
08:12
lggr has quit [Ping timeout: 252 seconds]
08:13
thomasga has joined #ocaml
08:16
Yoric has quit [Ping timeout: 240 seconds]
08:18
cago has joined #ocaml
08:18
lggr has joined #ocaml
08:24
cago has quit [Ping timeout: 245 seconds]
08:26
sithisbitch has joined #ocaml
08:26
lggr has quit [Ping timeout: 260 seconds]
08:27
hkBst has quit [Ping timeout: 240 seconds]
08:32
hkBst has joined #ocaml
08:33
lggr has joined #ocaml
08:35
hkBst has quit [Excess Flood]
08:36
hkBst has joined #ocaml
08:40
lggr has quit [Ping timeout: 244 seconds]
08:44
hkBst_ has joined #ocaml
08:44
hkBst has quit [Read error: Connection reset by peer]
08:46
Snark has joined #ocaml
08:47
lggr has joined #ocaml
08:55
lggr has quit [Ping timeout: 255 seconds]
09:01
lggr has joined #ocaml
09:09
lggr has quit [Ping timeout: 260 seconds]
09:11
olle has quit [Ping timeout: 244 seconds]
09:12
lggr has joined #ocaml
09:13
rixed has quit [Remote host closed the connection]
09:18
lggr has quit [Ping timeout: 252 seconds]
09:20
Cyanure has joined #ocaml
09:20
flx_ has joined #ocaml
09:21
bzzbzz_ has joined #ocaml
09:22
DijkstraGroupie has joined #ocaml
09:22
Kakadu__ has joined #ocaml
09:22
orbitz_ has quit [Remote host closed the connection]
09:22
orbitz has joined #ocaml
09:22
bzzbzz has quit [Read error: Connection reset by peer]
09:23
flux has quit [Read error: Connection reset by peer]
09:23
flx_ is now known as flux
09:23
Kakadu_ has quit [Remote host closed the connection]
09:23
lggr has joined #ocaml
09:27
lggr has quit [Ping timeout: 244 seconds]
09:32
chambart has joined #ocaml
09:34
lggr has joined #ocaml
09:41
lggr has quit [Ping timeout: 268 seconds]
09:45
lggr has joined #ocaml
09:49
<
Kakadu__ >
hi. if file.ml has not .mli-file than it's interace equals ouput of `ocaml -i file.ml`?
09:50
<
companion_cube >
yes
09:51
lggr has quit [Ping timeout: 252 seconds]
09:52
<
Kakadu__ >
It's bad....
09:53
<
adrien >
how would it be otherwise?
09:53
<
Kakadu__ >
adrien: It's bad because now I have no idea why my error message occurs
09:55
<
Kakadu__ >
adrien: btw otherwise case is, for example, when for all type aliases `type a = b` type `a' is abstract in .mli
09:55
Yoric has joined #ocaml
09:56
<
adrien >
I've arguments-overflown =/
09:56
<
mfp >
Kakadu: num_sample:int64 param only in expected signature
09:56
<
mfp >
according to diff -u
09:56
<
adrien >
mfp: I saw that one too but I think it's at a different location
09:57
<
rwmjones >
Kakadu__: yes .. essentially eveything is exported in that case
09:57
<
mfp >
right, at the end
09:57
<
mfp >
but the location counts too
09:57
<
rwmjones >
Kakadu__: it's also possible (though rare) to have an .mli file and no .ml file
09:57
olle has joined #ocaml
09:58
<
adrien >
mfp: yup, I can't remember the rules however, and I think ocaml can give an error message about the location
09:58
<
Kakadu__ >
mfp: So, you want to say that order of labeled-arguments means something?
09:59
<
mfp >
# let f : b:int -> a:int -> int = (fun ~a ~b -> a + b);;
09:59
<
mfp >
# Error: This function should have type b:int -> a:int -> int but its first argument is labelled ~a
09:59
lggr has joined #ocaml
09:59
<
Kakadu__ >
I'm noob
10:03
lggr has quit [Ping timeout: 252 seconds]
10:05
hongboz has quit [Ping timeout: 245 seconds]
10:07
lggr has joined #ocaml
10:08
DijkstraGroupie has left #ocaml []
10:11
hongboz has joined #ocaml
10:13
BiDOrD_ has joined #ocaml
10:15
lggr has quit [Ping timeout: 252 seconds]
10:15
BiDOrD has quit [Ping timeout: 272 seconds]
10:25
hkBst_ has quit [Ping timeout: 240 seconds]
10:25
lggr has joined #ocaml
10:25
hkBst_ has joined #ocaml
10:26
beckerb has joined #ocaml
10:29
hkBst__ has joined #ocaml
10:30
hkBst__ is now known as hkBst
10:30
hkBst_ has quit [Ping timeout: 256 seconds]
10:32
lggr has quit [Ping timeout: 240 seconds]
10:39
lggr has joined #ocaml
10:46
lggr has quit [Ping timeout: 246 seconds]
10:50
lggr has joined #ocaml
10:57
lggr has quit [Ping timeout: 245 seconds]
10:59
lggr has joined #ocaml
11:01
chambart has quit [Ping timeout: 246 seconds]
11:05
lggr has quit [Ping timeout: 260 seconds]
11:05
err404 has joined #ocaml
11:09
lggr has joined #ocaml
11:14
avsm has joined #ocaml
11:16
lggr has quit [Ping timeout: 260 seconds]
11:20
lggr has joined #ocaml
11:29
lggr has quit [Ping timeout: 260 seconds]
11:30
lggr has joined #ocaml
11:35
ontologiae has joined #ocaml
11:36
lggr has quit [Ping timeout: 245 seconds]
11:41
lggr has joined #ocaml
11:45
lggr has quit [Ping timeout: 246 seconds]
11:50
hongboz has quit [Ping timeout: 244 seconds]
11:50
hkBst has quit [Ping timeout: 240 seconds]
11:52
hkBst_ has joined #ocaml
11:55
chambart has joined #ocaml
11:58
lggr has joined #ocaml
12:00
hkBst_ has quit [Ping timeout: 240 seconds]
12:01
hkBst_ has joined #ocaml
12:01
sithisbitch has quit [Quit: Leaving]
12:02
Ronan_ has quit [Ping timeout: 245 seconds]
12:05
lggr has quit [Ping timeout: 245 seconds]
12:06
hkBst_ has quit [Read error: Connection reset by peer]
12:09
lggr has joined #ocaml
12:10
hkBst__ has joined #ocaml
12:13
lggr has quit [Ping timeout: 245 seconds]
12:14
sepp2k1 has quit [Remote host closed the connection]
12:15
hkBst__ has quit [Read error: Connection reset by peer]
12:15
hkBst__ has joined #ocaml
12:16
avsm has quit [Quit: Leaving.]
12:20
lggr has joined #ocaml
12:22
hkBst__ has quit [Read error: Connection reset by peer]
12:23
hongboz has joined #ocaml
12:27
avsm has joined #ocaml
12:28
hkBst__ has joined #ocaml
12:28
lggr has quit [Ping timeout: 268 seconds]
12:29
avsm has quit [Client Quit]
12:31
lggr has joined #ocaml
12:37
lggr has quit [Ping timeout: 245 seconds]
12:45
lggr has joined #ocaml
12:49
hkBst__ has quit [Read error: Connection reset by peer]
12:49
tufisi has joined #ocaml
12:52
lggr has quit [Ping timeout: 252 seconds]
12:54
hkBst has joined #ocaml
12:54
tufisi has quit [Ping timeout: 240 seconds]
12:55
lggr has joined #ocaml
13:00
hkBst has quit [Remote host closed the connection]
13:01
hkBst has joined #ocaml
13:02
lggr has quit [Ping timeout: 248 seconds]
13:06
lggr has joined #ocaml
13:06
ontologiae has quit [Quit: leaving]
13:06
ontologiae has joined #ocaml
13:12
lggr has quit [Ping timeout: 255 seconds]
13:12
Oejet has quit [Quit: Leaving.]
13:13
hkBst has quit [Read error: Connection reset by peer]
13:15
hkBst has joined #ocaml
13:16
lggr has joined #ocaml
13:19
thomasga has quit [Ping timeout: 268 seconds]
13:23
hkBst has quit [Read error: Connection reset by peer]
13:23
lggr has quit [Ping timeout: 268 seconds]
13:24
hkBst has joined #ocaml
13:27
lggr has joined #ocaml
13:34
avsm has joined #ocaml
13:34
avsm has quit [Client Quit]
13:35
lggr has quit [Ping timeout: 260 seconds]
13:36
mattrepl has joined #ocaml
13:38
lggr has joined #ocaml
13:42
lggr has quit [Ping timeout: 240 seconds]
13:47
lggr has joined #ocaml
13:51
hkBst has quit [Ping timeout: 240 seconds]
13:52
hkBst has joined #ocaml
13:53
lggr has quit [Ping timeout: 252 seconds]
13:58
lggr has joined #ocaml
14:01
thomasga has joined #ocaml
14:03
ankit9 has quit [Quit: Leaving]
14:04
lggr has quit [Ping timeout: 255 seconds]
14:05
hkBst_ has joined #ocaml
14:06
hkBst has quit [Read error: Connection reset by peer]
14:08
lggr has joined #ocaml
14:16
smondet has joined #ocaml
14:16
lggr has quit [Ping timeout: 260 seconds]
14:17
Ptival has quit [Read error: Connection reset by peer]
14:19
lggr has joined #ocaml
14:20
eni has joined #ocaml
14:25
hkBst_ has quit [Read error: Connection reset by peer]
14:25
hongboz has quit [Ping timeout: 245 seconds]
14:26
lggr has quit [Ping timeout: 255 seconds]
14:30
lggr has joined #ocaml
14:31
hkBst__ has joined #ocaml
14:39
lggr has quit [Ping timeout: 268 seconds]
14:42
lggr has joined #ocaml
14:46
lggr has quit [Ping timeout: 240 seconds]
14:47
Tobu has quit [Ping timeout: 272 seconds]
14:47
ftrvxmtrx has quit [Quit: Leaving]
14:47
Tobu has joined #ocaml
14:47
lggr has joined #ocaml
14:54
lggr has quit [Ping timeout: 248 seconds]
14:58
lggr has joined #ocaml
15:03
lggr has quit [Ping timeout: 248 seconds]
15:04
Kakadu__ has quit [Quit: Konversation terminated!]
15:05
Kakadu has quit [Quit: Page closed]
15:05
eni has quit [Ping timeout: 240 seconds]
15:09
lggr has joined #ocaml
15:10
Yoric has quit [Ping timeout: 255 seconds]
15:15
Cyanure has quit [Remote host closed the connection]
15:16
lggr has quit [Ping timeout: 240 seconds]
15:21
lggr has joined #ocaml
15:23
Tobu has quit [Ping timeout: 272 seconds]
15:25
Tobu has joined #ocaml
15:28
lggr has quit [Ping timeout: 246 seconds]
15:32
lggr has joined #ocaml
15:32
Tobu has quit [Ping timeout: 272 seconds]
15:36
Tobu has joined #ocaml
15:38
lggr has quit [Ping timeout: 248 seconds]
15:39
Cyanure has joined #ocaml
15:43
lggr has joined #ocaml
15:44
tufisi has joined #ocaml
15:50
lggr has quit [Ping timeout: 256 seconds]
15:52
lggr has joined #ocaml
15:55
Yoric has joined #ocaml
15:56
lggr has quit [Ping timeout: 244 seconds]
15:57
Kakadu has joined #ocaml
16:01
hkBst__ has quit [Quit: Konversation terminated!]
16:03
Ptival has joined #ocaml
16:03
lggr has joined #ocaml
16:07
lggr has quit [Ping timeout: 244 seconds]
16:10
Ptival has quit [Ping timeout: 240 seconds]
16:12
Ptival has joined #ocaml
16:14
lggr has joined #ocaml
16:16
Ptival has quit [Ping timeout: 246 seconds]
16:17
beckerb has quit [Ping timeout: 245 seconds]
16:18
lggr has quit [Ping timeout: 244 seconds]
16:24
mika1 has quit [Quit: Leaving.]
16:25
lggr has joined #ocaml
16:28
Tobu has quit [Quit: No Ping reply in 180 seconds.]
16:29
Tobu has joined #ocaml
16:32
lggr has quit [Ping timeout: 244 seconds]
16:36
lggr has joined #ocaml
16:40
Tobu has quit [Remote host closed the connection]
16:42
Tobu has joined #ocaml
16:42
lggr has quit [Ping timeout: 255 seconds]
16:46
lggr has joined #ocaml
16:51
lggr has quit [Ping timeout: 246 seconds]
16:57
lggr has joined #ocaml
17:04
lggr has quit [Ping timeout: 252 seconds]
17:04
mattrepl has quit [Quit: mattrepl]
17:08
lggr has joined #ocaml
17:11
ontologiae has quit [Ping timeout: 240 seconds]
17:12
pangoafk is now known as pango
17:13
Submarine has joined #ocaml
17:15
lggr has quit [Ping timeout: 245 seconds]
17:18
lggr has joined #ocaml
17:18
ftrvxmtrx has joined #ocaml
17:22
lggr has quit [Ping timeout: 245 seconds]
17:29
chambart has quit [Ping timeout: 252 seconds]
17:29
lggr has joined #ocaml
17:35
Cyanure has quit [Remote host closed the connection]
17:38
lggr has quit [Ping timeout: 244 seconds]
17:38
djcoin has quit [Quit: WeeChat 0.3.7]
17:41
ontologiae has joined #ocaml
17:42
lggr has joined #ocaml
17:50
lggr has quit [Ping timeout: 240 seconds]
17:54
lggr has joined #ocaml
17:56
emmanuelux has joined #ocaml
18:01
lggr has quit [Ping timeout: 252 seconds]
18:04
lggr has joined #ocaml
18:11
lggr has quit [Ping timeout: 248 seconds]
18:15
lggr has joined #ocaml
18:18
thomasga1 has joined #ocaml
18:18
thomasga has quit [Read error: Connection reset by peer]
18:19
sepp2k has joined #ocaml
18:21
lggr has quit [Ping timeout: 252 seconds]
18:26
lggr has joined #ocaml
18:33
lggr has quit [Ping timeout: 268 seconds]
18:36
tufisi has quit [Ping timeout: 252 seconds]
18:36
lggr has joined #ocaml
18:40
osa1 has joined #ocaml
18:43
lggr has quit [Ping timeout: 268 seconds]
18:45
lggr has joined #ocaml
18:46
eikke has quit [Ping timeout: 244 seconds]
18:47
eikke has joined #ocaml
18:51
Oejet has joined #ocaml
18:51
lggr has quit [Ping timeout: 248 seconds]
18:56
osa1 has quit [Quit: Konversation terminated!]
18:56
lggr has joined #ocaml
19:02
lggr has quit [Ping timeout: 255 seconds]
19:06
lggr has joined #ocaml
19:13
lggr has quit [Ping timeout: 252 seconds]
19:18
lggr has joined #ocaml
19:24
lggr has quit [Ping timeout: 252 seconds]
19:25
err404 has quit [Ping timeout: 240 seconds]
19:28
emmanuelux has quit [Quit: emmanuelux]
19:28
lggr has joined #ocaml
19:29
emmanuelux has joined #ocaml
19:29
err404 has joined #ocaml
19:29
emmanuelux has quit [Read error: Connection reset by peer]
19:33
emmanuelux has joined #ocaml
19:36
lggr has quit [Ping timeout: 260 seconds]
19:38
ontologiae has quit [Ping timeout: 246 seconds]
19:38
DaoWen has joined #ocaml
19:38
<
DaoWen >
is there a simple way to convert a stream to a list?
19:39
lggr has joined #ocaml
19:43
hongboz has joined #ocaml
19:43
<
_habnabit >
DaoWen, a stream?
19:43
<
DaoWen >
I know the stream is finite, and I want to do pattern matching on the elements
19:43
<
DaoWen >
I think using cons syntax would be easiest
19:44
<
DaoWen >
e.g. a :: b :: tail
19:44
<
DaoWen >
but that doesn't work on streams
19:44
<
DaoWen >
so is there a simple way to convert the stream to a list?
19:47
Kakadu has quit [Ping timeout: 240 seconds]
19:48
Kakadu has joined #ocaml
19:48
lggr has quit [Ping timeout: 268 seconds]
19:49
<
Qrntz >
let to_list st = let rec aux l = try aux (Stream.next st :: l) with Stream.Failure -> List.rev l in aux []
19:50
<
DaoWen >
Qrntz: thanks
19:51
<
Qrntz >
you're welcome
19:51
chambart has joined #ocaml
19:57
lggr has joined #ocaml
19:57
nimred has quit [Quit: leaving]
19:57
nimred has joined #ocaml
20:03
Yoric has quit [Ping timeout: 244 seconds]
20:04
lggr has quit [Ping timeout: 248 seconds]
20:06
Cyanure has joined #ocaml
20:07
ImAlsoGreg has quit [Ping timeout: 268 seconds]
20:08
lggr has joined #ocaml
20:13
oriba has joined #ocaml
20:14
Oejet has quit [Ping timeout: 252 seconds]
20:15
Snark has quit [Quit: Quitte]
20:15
lggr has quit [Ping timeout: 240 seconds]
20:19
lggr has joined #ocaml
20:19
emmanuelux has quit [Quit: emmanuelux]
20:22
emmanuelux has joined #ocaml
20:23
ImAlsoGreg has joined #ocaml
20:24
lggr has quit [Ping timeout: 246 seconds]
20:25
rothwell has joined #ocaml
20:26
chambart has quit [Ping timeout: 245 seconds]
20:26
<
rothwell >
'lo. i have a type declaration: "type t = T of int * (t list)" and now want to replace the list with an ordered set (from the standard library), but i obviously can't instantiate Set.Make if i've not yet defined the t type... what's the correct way to deal with this?
20:27
Ptival has joined #ocaml
20:28
lggr has joined #ocaml
20:31
<
rothwell >
oh... i've just noticed 'module rec' in the manual, that looks like it's what i want...
20:32
Submarine has quit [Ping timeout: 248 seconds]
20:35
lggr has quit [Ping timeout: 268 seconds]
20:41
lggr has joined #ocaml
20:45
lggr has quit [Ping timeout: 246 seconds]
20:50
<
adrien >
I can't think much right now but functors could be a good approach
20:52
lggr has joined #ocaml
20:56
lggr has quit [Ping timeout: 244 seconds]
20:59
DaoWen has quit [Quit: DaoWen]
21:00
DaoWen has joined #ocaml
21:00
Ptival has quit [Ping timeout: 240 seconds]
21:02
Ptival has joined #ocaml
21:02
lggr has joined #ocaml
21:04
cdidd has joined #ocaml
21:05
DaoWen has quit [Quit: DaoWen]
21:07
Ptival has quit [Ping timeout: 255 seconds]
21:10
lggr has quit [Ping timeout: 255 seconds]
21:16
lggr has joined #ocaml
21:18
Kakadu has quit [Quit: Konversation terminated!]
21:22
lggr has quit [Ping timeout: 252 seconds]
21:24
thomasga1 has quit [Quit: Leaving.]
21:26
lggr has joined #ocaml
21:31
lggr has quit [Ping timeout: 268 seconds]
21:44
lggr has joined #ocaml
21:51
lggr has quit [Ping timeout: 240 seconds]
21:55
lggr has joined #ocaml
21:55
Anarchos has joined #ocaml
21:59
lggr has quit [Ping timeout: 245 seconds]
22:05
lggr has joined #ocaml
22:08
Cyanure has quit [Remote host closed the connection]
22:10
lggr has quit [Ping timeout: 248 seconds]
22:16
lggr has joined #ocaml
22:18
thebifnif has joined #ocaml
22:20
lggr has quit [Ping timeout: 246 seconds]
22:25
eikke has quit [Ping timeout: 245 seconds]
22:25
DaoWen has joined #ocaml
22:30
lggr has joined #ocaml
22:36
lggr has quit [Ping timeout: 248 seconds]
22:40
lggr has joined #ocaml
22:44
lggr has quit [Ping timeout: 240 seconds]
22:45
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
22:50
fraggle_ has quit [Remote host closed the connection]
22:57
lggr has joined #ocaml
22:58
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
23:00
fraggle_ has joined #ocaml
23:01
Yoric has joined #ocaml
23:02
olle has quit [Ping timeout: 244 seconds]
23:04
lggr has quit [Ping timeout: 252 seconds]
23:04
larhat has joined #ocaml
23:06
DaoWen has quit [Quit: DaoWen]
23:08
lggr has joined #ocaml
23:08
Ptival has joined #ocaml
23:13
err404 has quit [Remote host closed the connection]
23:15
lggr has quit [Ping timeout: 268 seconds]
23:16
Ptival has quit [Quit: Leaving]
23:18
lggr has joined #ocaml
23:24
gnuvince has joined #ocaml
23:26
lggr has quit [Ping timeout: 256 seconds]
23:28
lggr has joined #ocaml
23:35
lggr has quit [Ping timeout: 252 seconds]
23:44
CoverSlide has joined #ocaml
23:45
lggr has joined #ocaml
23:48
sepp2k has quit [Remote host closed the connection]
23:52
thebifnif has quit [Quit: thebifnif]
23:52
lggr has quit [Ping timeout: 240 seconds]
23:54
olle has joined #ocaml
23:54
olle has quit [Client Quit]
23:56
lggr has joined #ocaml