companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
enterprisey has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Quit: Leaving...]
vtcoo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
govg has quit [Ping timeout: 246 seconds]
govg has joined #ocaml
barcabuona has quit [Quit: WeeChat 1.9.1]
shinnya has joined #ocaml
dedgrant_ has quit [Quit: Leaving]
nomicflux has quit [Quit: nomicflux]
pierpa has quit [Quit: Page closed]
mfp has quit [Ping timeout: 252 seconds]
mbuf has joined #ocaml
vtcoo has joined #ocaml
kerrhau_ has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
kerrhau_ has joined #ocaml
wtetzner has joined #ocaml
dratini0 has quit [Read error: Connection reset by peer]
dratini0 has joined #ocaml
dratini0 has quit [Ping timeout: 248 seconds]
wtetzner has quit [Ping timeout: 248 seconds]
_whitelogger has joined #ocaml
samrat has joined #ocaml
mk9_ has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
mbuf has quit [Ping timeout: 258 seconds]
mbuf has joined #ocaml
kerrhau_ has quit [Ping timeout: 248 seconds]
kerrhau_ has joined #ocaml
kerrhau_ has quit [Changing host]
kerrhau_ has joined #ocaml
mk9_ has quit [Quit: mk9_]
mk9_ has joined #ocaml
ziyourenxiang has joined #ocaml
mk9_ has quit [Quit: mk9_]
mk9_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 248 seconds]
jbrown has quit [Remote host closed the connection]
mk9_ has quit [Quit: mk9_]
samrat has quit [Ping timeout: 252 seconds]
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
samrat has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 is now known as Guest60030
Guest60030 has quit [Killed (sinisalo.freenode.net (Nickname regained by services))]
slash^ has joined #ocaml
zmt00 has quit [Quit: Leaving]
enterprisey has quit [Remote host closed the connection]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 248 seconds]
jonasen has joined #ocaml
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
enterprisey has joined #ocaml
TheLemonMan has joined #ocaml
dtornabene has joined #ocaml
jonasen_ has joined #ocaml
ziyourenxiang has joined #ocaml
jonasen has quit [Ping timeout: 258 seconds]
tane_ has joined #ocaml
lgd has joined #ocaml
dtornabene has quit [Read error: Connection reset by peer]
dtornabene has joined #ocaml
lgd has quit [Remote host closed the connection]
lgd has joined #ocaml
TarVanimelde has joined #ocaml
vtcoo has quit [Read error: Connection reset by peer]
barcabuona has joined #ocaml
jonasen_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mfp has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
nightmared has quit [Ping timeout: 246 seconds]
enterprisey has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
enterprisey has quit [Quit: Leaving]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
lgd_ has joined #ocaml
lgd has quit [Read error: Connection reset by peer]
pyx has joined #ocaml
pyx has quit [Client Quit]
jnavila has joined #ocaml
webshinra_ is now known as webshinra
jnavila has quit [Ping timeout: 240 seconds]
samrat has quit [Ping timeout: 252 seconds]
jonasen has joined #ocaml
jnavila has joined #ocaml
lgd__ has joined #ocaml
lgd_ has quit [Remote host closed the connection]
jnavila has quit [Read error: No route to host]
jnavila has joined #ocaml
troydm has joined #ocaml
mk9_ has joined #ocaml
lgd has joined #ocaml
lgd__ has quit [Ping timeout: 240 seconds]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
jonasen has quit [Quit: Textual IRC Client: www.textualapp.com]
FreeBirdLjj has joined #ocaml
samrat_ has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
mk9_ has quit [Quit: mk9_]
samrat_ has quit [Ping timeout: 260 seconds]
mayhew has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
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]
troydm has joined #ocaml
_whitelogger has joined #ocaml
mk9_ has joined #ocaml
lgd_ has joined #ocaml
lgd has quit [Read error: No route to host]
samrat_ has joined #ocaml
wtetzner has joined #ocaml
mbuf has quit [Quit: Leaving]
mayhew has quit [Remote host closed the connection]
wtetzner has quit [Ping timeout: 240 seconds]
dtornabene has quit [Quit: Leaving]
TarVanimelde has joined #ocaml
barcabuona has quit [Quit: WeeChat 1.9.1]
jbrown has joined #ocaml
mbuf has joined #ocaml
wtetzner has joined #ocaml
dratini0 has joined #ocaml
wtetzner has quit [Ping timeout: 240 seconds]
zmt00 has joined #ocaml
mk9_ has quit [Quit: mk9_]
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
jao has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
tane_ has quit [Quit: Leaving]
pmetzger has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
lgd_ has quit [Read error: Connection reset by peer]
lgd_ has joined #ocaml
mbuf has quit [Remote host closed the connection]
jnavila has joined #ocaml
kolko has joined #ocaml
mk9_ has joined #ocaml
tennix has joined #ocaml
tennix has quit [Client Quit]
jnavila has quit [Ping timeout: 240 seconds]
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 252 seconds]
govg has joined #ocaml
barcabuona has joined #ocaml
jbrown has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
sh0t has joined #ocaml
meemo has joined #ocaml
mk9_ has quit [Quit: mk9_]
ziyourenxiang has quit [Ping timeout: 248 seconds]
<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.
<meemo> Here's the gist of I am working with: https://gist.github.com/anonymous/152ed805fe7fda5ce3a8911d3554c64c
<def`> Can you explain ?
<def`> What should be type 'a t ?
<Drup> meemo: are you sure you want include, and not open ?
<meemo> 'a t is from the stdlib Map.S
<meemo> I wanted to have the Map functions from stdlib in the extended module, but wanted to have a functor based instead of 'a
leah2 has quit [Ping timeout: 255 seconds]
<meemo> Let me know if what I'm trying is bad practice. I'm pretty new to this.
nullifidian_ has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
nullifidian__ has quit [Ping timeout: 264 seconds]
leah2 has joined #ocaml
kakadu has joined #ocaml
lgd_ has quit [Read error: No route to host]
lgd_ has joined #ocaml
KongWubba has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
lgd_ has quit [Read error: Connection reset by peer]
lgd_ has joined #ocaml
pierpa has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
jnavila has quit [Remote host closed the connection]
martinium has joined #ocaml
KongWubba has quit [Quit: Yaaic - Yet another Android IRC client - http://www.yaaic.org]
sh0t has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
groovy2shoes has joined #ocaml
kerrhau_ has quit [Ping timeout: 240 seconds]
kerrhau_ has joined #ocaml
mk9_ has joined #ocaml
mk9_ has quit [Quit: mk9_]
wtetzner has joined #ocaml
jbrown has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
barcabuona has quit [Quit: WeeChat 1.9.1]
pmetzger_ has joined #ocaml
pmetzger has quit [Read error: Connection reset by peer]
wtetzner_ has joined #ocaml
wtetzner has quit [Ping timeout: 240 seconds]
pmetzger has joined #ocaml
pmetzger_ has quit [Ping timeout: 240 seconds]
pmetzger has quit [Client Quit]
axesd9 has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
kakadu has quit [Remote host closed the connection]
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
wtetzner_ has quit [Ping timeout: 240 seconds]