00:01
enterprisey has joined #ocaml
00:12
zolk3ri has quit [Quit: Lost terminal]
00:28
mengu has joined #ocaml
00:30
mengu has quit [Remote host closed the connection]
00:30
mengu has joined #ocaml
00:53
mengu has quit [Quit: Leaving...]
00:56
vtcoo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
00:56
govg has quit [Ping timeout: 246 seconds]
00:58
govg has joined #ocaml
01:24
barcabuona has quit [Quit: WeeChat 1.9.1]
01:58
shinnya has joined #ocaml
02:06
dedgrant_ has quit [Quit: Leaving]
02:10
nomicflux has quit [Quit: nomicflux]
02:27
pierpa has quit [Quit: Page closed]
02:46
mfp has quit [Ping timeout: 252 seconds]
02:54
mbuf has joined #ocaml
02:59
vtcoo has joined #ocaml
03:00
kerrhau_ has quit [Read error: Connection reset by peer]
03:06
FreeBirdLjj has joined #ocaml
03:13
kerrhau_ has joined #ocaml
03:13
wtetzner has joined #ocaml
03:19
dratini0 has quit [Read error: Connection reset by peer]
03:19
dratini0 has joined #ocaml
03:26
dratini0 has quit [Ping timeout: 248 seconds]
03:28
wtetzner has quit [Ping timeout: 248 seconds]
03:39
_whitelogger has joined #ocaml
03:41
samrat has joined #ocaml
03:44
mk9_ has joined #ocaml
04:26
jao has quit [Ping timeout: 246 seconds]
04:31
FreeBirdLjj has quit [Remote host closed the connection]
04:32
FreeBirdLjj has joined #ocaml
04:36
FreeBirdLjj has quit [Ping timeout: 248 seconds]
04:40
mbuf has quit [Ping timeout: 258 seconds]
04:44
mbuf has joined #ocaml
04:50
kerrhau_ has quit [Ping timeout: 248 seconds]
05:03
kerrhau_ has joined #ocaml
05:03
kerrhau_ has quit [Changing host]
05:03
kerrhau_ has joined #ocaml
05:17
mk9_ has quit [Quit: mk9_]
05:21
mk9_ has joined #ocaml
05:28
ziyourenxiang has joined #ocaml
05:29
mk9_ has quit [Quit: mk9_]
05:34
mk9_ has joined #ocaml
05:38
ziyourenxiang has quit [Ping timeout: 248 seconds]
05:42
jbrown has quit [Remote host closed the connection]
05:42
mk9_ has quit [Quit: mk9_]
05:43
samrat has quit [Ping timeout: 252 seconds]
05:45
mk9_ has joined #ocaml
05:47
mk9_ has quit [Client Quit]
05:56
samrat has joined #ocaml
06:05
infinity0_ has joined #ocaml
06:05
infinity0_ has quit [Changing host]
06:05
infinity0_ has joined #ocaml
06:05
infinity0 is now known as Guest60030
06:05
Guest60030 has quit [Killed (sinisalo.freenode.net (Nickname regained by services))]
06:08
slash^ has joined #ocaml
06:20
zmt00 has quit [Quit: Leaving]
06:30
enterprisey has quit [Remote host closed the connection]
06:35
nullifidian_ has joined #ocaml
06:38
nullifidian__ has quit [Ping timeout: 248 seconds]
06:39
jonasen has joined #ocaml
06:53
mk9_ has joined #ocaml
06:54
mk9_ has quit [Client Quit]
07:01
mk9_ has joined #ocaml
07:02
mk9_ has quit [Client Quit]
07:10
enterprisey has joined #ocaml
07:19
TheLemonMan has joined #ocaml
07:39
dtornabene has joined #ocaml
07:47
jonasen_ has joined #ocaml
07:48
ziyourenxiang has joined #ocaml
07:50
jonasen has quit [Ping timeout: 258 seconds]
08:09
tane_ has joined #ocaml
08:39
lgd has joined #ocaml
08:46
dtornabene has quit [Read error: Connection reset by peer]
08:47
dtornabene has joined #ocaml
08:51
lgd has quit [Remote host closed the connection]
08:51
lgd has joined #ocaml
09:08
TarVanimelde has joined #ocaml
09:20
vtcoo has quit [Read error: Connection reset by peer]
09:21
barcabuona has joined #ocaml
09:30
jonasen_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
09:33
mfp has joined #ocaml
09:38
enterprisey has quit [Ping timeout: 240 seconds]
09:39
nightmared has quit [Ping timeout: 246 seconds]
10:18
enterprisey has joined #ocaml
10:37
TarVanimelde has quit [Quit: TarVanimelde]
10:39
TarVanimelde has joined #ocaml
10:39
TarVanimelde has quit [Client Quit]
10:39
TarVanimelde has joined #ocaml
10:40
TarVanimelde has quit [Client Quit]
10:40
TarVanimelde has joined #ocaml
10:40
TarVanimelde has quit [Client Quit]
10:41
TarVanimelde has joined #ocaml
10:41
TarVanimelde has quit [Client Quit]
10:41
enterprisey has quit [Quit: Leaving]
10:42
TarVanimelde has joined #ocaml
10:42
TarVanimelde has quit [Client Quit]
10:53
lgd_ has joined #ocaml
10:53
lgd has quit [Read error: Connection reset by peer]
11:07
pyx has joined #ocaml
11:07
pyx has quit [Client Quit]
11:08
jnavila has joined #ocaml
11:10
webshinra_ is now known as webshinra
11:16
jnavila has quit [Ping timeout: 240 seconds]
11:20
samrat has quit [Ping timeout: 252 seconds]
11:22
jonasen has joined #ocaml
11:35
jnavila has joined #ocaml
11:44
lgd__ has joined #ocaml
11:44
lgd_ has quit [Remote host closed the connection]
11:58
jnavila has quit [Read error: No route to host]
11:58
jnavila has joined #ocaml
12:02
troydm has joined #ocaml
12:04
mk9_ has joined #ocaml
12:14
lgd has joined #ocaml
12:15
lgd__ has quit [Ping timeout: 240 seconds]
12:18
jmiven has quit [Quit: co'o]
12:19
jmiven has joined #ocaml
12:29
FreeBirdLjj has joined #ocaml
12:34
samrat_ has joined #ocaml
12:34
nomicflux has joined #ocaml
12:39
nomicflux has quit [Client Quit]
12:40
mk9_ has quit [Quit: mk9_]
13:22
samrat_ has quit [Ping timeout: 260 seconds]
13:27
mayhew has joined #ocaml
13:29
FreeBirdLjj has quit [Remote host closed the connection]
13:44
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
13:48
troydm has joined #ocaml
13:54
_whitelogger has joined #ocaml
14:03
mk9_ has joined #ocaml
14:05
lgd_ has joined #ocaml
14:05
lgd has quit [Read error: No route to host]
14:14
samrat_ has joined #ocaml
14:16
wtetzner has joined #ocaml
14:29
mbuf has quit [Quit: Leaving]
14:34
mayhew has quit [Remote host closed the connection]
14:34
wtetzner has quit [Ping timeout: 240 seconds]
14:40
dtornabene has quit [Quit: Leaving]
14:43
TarVanimelde has joined #ocaml
15:03
barcabuona has quit [Quit: WeeChat 1.9.1]
15:17
jbrown has joined #ocaml
15:19
mbuf has joined #ocaml
15:25
wtetzner has joined #ocaml
15:28
dratini0 has joined #ocaml
15:29
wtetzner has quit [Ping timeout: 240 seconds]
15:45
zmt00 has joined #ocaml
15:57
mk9_ has quit [Quit: mk9_]
15:57
mk9_ has joined #ocaml
15:58
mk9_ has quit [Client Quit]
16:11
jao has joined #ocaml
16:16
jnavila has quit [Ping timeout: 240 seconds]
16:18
tane_ has quit [Quit: Leaving]
16:32
pmetzger has joined #ocaml
16:42
govg has quit [Ping timeout: 240 seconds]
16:54
lgd_ has quit [Read error: Connection reset by peer]
16:54
lgd_ has joined #ocaml
16:59
mbuf has quit [Remote host closed the connection]
17:13
jnavila has joined #ocaml
17:14
kolko has joined #ocaml
17:17
mk9_ has joined #ocaml
17:18
tennix has joined #ocaml
17:20
tennix has quit [Client Quit]
17:41
jnavila has quit [Ping timeout: 240 seconds]
17:41
nullifidian__ has joined #ocaml
17:44
nullifidian_ has quit [Ping timeout: 252 seconds]
17:50
govg has joined #ocaml
18:16
barcabuona has joined #ocaml
18:17
jbrown has quit [Ping timeout: 246 seconds]
18:18
jnavila has joined #ocaml
18:29
sh0t has joined #ocaml
18:35
meemo has joined #ocaml
18:36
mk9_ has quit [Quit: mk9_]
18:42
ziyourenxiang has quit [Ping timeout: 248 seconds]
18:42
<
meemo >
Hello! can some one help me with a problem I have of "Multiple definition of the type name ..." when I am trying to extend a module.
18:44
<
def` >
Can you explain ?
18:44
<
def` >
What should be type 'a t ?
18:46
<
Drup >
meemo: are you sure you want include, and not open ?
18:47
<
meemo >
'a t is from the stdlib Map.S
18:48
<
meemo >
I wanted to have the Map functions from stdlib in the extended module, but wanted to have a functor based instead of 'a
18:49
leah2 has quit [Ping timeout: 255 seconds]
18:49
<
meemo >
Let me know if what I'm trying is bad practice. I'm pretty new to this.
18:53
nullifidian_ has joined #ocaml
18:56
samrat_ has quit [Ping timeout: 240 seconds]
18:56
nullifidian__ has quit [Ping timeout: 264 seconds]
19:02
leah2 has joined #ocaml
20:01
kakadu has joined #ocaml
20:01
lgd_ has quit [Read error: No route to host]
20:01
lgd_ has joined #ocaml
20:04
KongWubba has joined #ocaml
20:08
slash^ has quit [Read error: Connection reset by peer]
20:30
lgd_ has quit [Read error: Connection reset by peer]
20:30
lgd_ has joined #ocaml
20:31
pierpa has joined #ocaml
20:48
shinnya has quit [Ping timeout: 240 seconds]
21:00
jnavila has quit [Remote host closed the connection]
21:08
martinium has joined #ocaml
21:14
sh0t has quit [Remote host closed the connection]
21:14
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
21:19
groovy2shoes has joined #ocaml
21:43
kerrhau_ has quit [Ping timeout: 240 seconds]
21:44
kerrhau_ has joined #ocaml
22:01
mk9_ has joined #ocaml
22:11
mk9_ has quit [Quit: mk9_]
22:18
wtetzner has joined #ocaml
22:27
jbrown has joined #ocaml
22:39
pmetzger has quit [Remote host closed the connection]
22:45
pmetzger has joined #ocaml
22:45
barcabuona has quit [Quit: WeeChat 1.9.1]
22:49
pmetzger_ has joined #ocaml
22:49
pmetzger has quit [Read error: Connection reset by peer]
22:53
wtetzner_ has joined #ocaml
22:54
wtetzner has quit [Ping timeout: 240 seconds]
23:02
pmetzger has joined #ocaml
23:05
pmetzger_ has quit [Ping timeout: 240 seconds]
23:06
pmetzger has quit [Client Quit]
23:12
axesd9 has joined #ocaml
23:13
Simn has quit [Read error: Connection reset by peer]
23:28
kakadu has quit [Remote host closed the connection]
23:37
nullifidian_ has quit [Read error: Connection reset by peer]
23:38
nullifidian_ has joined #ocaml
23:49
wtetzner_ has quit [Ping timeout: 240 seconds]