arubin has quit [Read error: Connection reset by peer]
arubin has joined #ocaml
ulfdoz_ has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
ulfdoz has quit [Ping timeout: 264 seconds]
ulfdoz_ is now known as ulfdoz
fraggle_ has joined #ocaml
philtor has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
lamawithonel has quit [Ping timeout: 264 seconds]
enthymeme has joined #ocaml
sepp2k1 has quit [Quit: Leaving.]
boscop_ has quit [Ping timeout: 240 seconds]
seafood has joined #ocaml
lopex has quit []
fraggle_ has quit [Ping timeout: 250 seconds]
seafood_ has joined #ocaml
seafood has quit [Read error: Connection reset by peer]
seafood_ is now known as seafood
BiDOrD_ has joined #ocaml
BiDOrD__ has joined #ocaml
BiDOrD has quit [Read error: Connection reset by peer]
BiDOrD_ has quit [Ping timeout: 264 seconds]
metasyntax has joined #ocaml
fraggle_ has joined #ocaml
seafood has quit [Quit: seafood]
alexyk has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
alexyk has quit [Read error: Connection reset by peer]
chicco has quit [Ping timeout: 250 seconds]
chicco has joined #ocaml
tnguyen has joined #ocaml
enthymeme has quit [Quit: nini]
tnguyen has quit [Remote host closed the connection]
ygrek has joined #ocaml
bzzbzz has quit [*.net *.split]
CoryDambach has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
benthos has quit [Quit: leaving]
CoryDambach has joined #ocaml
lamawithonel has joined #ocaml
bzzbzz has joined #ocaml
Obfuscate has joined #ocaml
ikaros has joined #ocaml
arubin has quit [Quit: arubin]
philtor has quit [Ping timeout: 240 seconds]
companion_cube has quit [Ping timeout: 240 seconds]
Cyanure has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 264 seconds]
edwin has joined #ocaml
lamawithonel_ has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
Cyanure has quit [Quit: Quitte]
clog has joined #ocaml
myu2 has joined #ocaml
myu2 has quit [Read error: Connection reset by peer]
lopex has joined #ocaml
Cyanure has quit [Read error: Operation timed out]
Oejet has joined #ocaml
Cyanure has joined #ocaml
boscop_ has joined #ocaml
boscop_ is now known as boscop
vivanov has quit [Quit: Lost terminal]
eye-scuzzy has joined #ocaml
cthuluh has quit [Read error: Operation timed out]
agarwal1975 has joined #ocaml
cthuluh has joined #ocaml
<adrien>
bah, I'm getting a "some type variables are unbound in this type" when using an object because of "The method set_tab_reorderable has type ([> `widget ] as 'a) Gtk.obj -> bool -> unit where 'a is unbound", and I don't understand why ocaml wants the "as 'a" part, any idea?
<thelema>
is the 'a used elsewhere?
<adrien>
no; and I just noticed the error was on the set_ method now and I had only added a type constraint to the get_ method (hadn't noticed it wasn't complaining about the same function)
jao has joined #ocaml
tauntaun has joined #ocaml
SoftTimur has joined #ocaml
<SoftTimur>
Hello all, I am looking at non-determinism monad in ocaml... Here is a piece of code:
<SoftTimur>
type α mon = α list
<SoftTimur>
let ret a = a :: []
<SoftTimur>
let rec bind m f = match m with [] -> [] | hd :: tl -> f hd @ bind tl f
<SoftTimur>
let run m = match m with hd :: tl -> hd
<SoftTimur>
let runall m = m
<SoftTimur>
let either a b = a @ b
<SoftTimur>
I would like to know what '@' is in the definition of "bind" and "either"
mikemc_home has joined #ocaml
metasyntax has quit [Quit: ♫ In our sky there is no limits, and masters we have none; heavy metal is the only one! ♫]
<thelema>
SoftTimur: @ is list concatenation
<SoftTimur>
thelema: thank you
metasyntax has joined #ocaml
mikemc_home has quit [Quit: Leaving]
mikemc_home has joined #ocaml
mikemc_home has quit [Client Quit]
ikaros_ has joined #ocaml
mikemc_home has joined #ocaml
ikaros has quit [Ping timeout: 276 seconds]
_2x2l has quit [Ping timeout: 276 seconds]
_2x2l has joined #ocaml
<ulfdoz>
DIE SCHEISSE GEHT!!!!!
<ulfdoz>
ewin, sorry
<adrien>
^ ^
<ulfdoz>
but that must have been said.
drunK has joined #ocaml
drunK has quit [Remote host closed the connection]
joewilliams_away is now known as joewilliams
tauntaun has quit [Quit: Ex-Chat]
joewilliams is now known as joewilliams_away
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
trch has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
alexyk has joined #ocaml
alexyk has quit [Quit: alexyk]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
alexyk has joined #ocaml
alexyk has quit [Read error: Connection reset by peer]
philtor has joined #ocaml
enthymeme has joined #ocaml
Edward has joined #ocaml
arubin has joined #ocaml
Edward_ has joined #ocaml
Edward has quit [Ping timeout: 250 seconds]
alexyk has joined #ocaml
tauntaun has joined #ocaml
alexyk has quit [Client Quit]
SoftTimur has quit [Quit: Leaving.]
tauntaun has quit [Remote host closed the connection]
lamawithonel_ has joined #ocaml
Edward has joined #ocaml
Edward_ has quit [Ping timeout: 276 seconds]
tauntaun has joined #ocaml
Cyanure has quit [Remote host closed the connection]
emias has quit [Quit: Changing server]
emias has joined #ocaml
mikemc_home has quit [Ping timeout: 240 seconds]
ygrek has quit [Remote host closed the connection]
mikemc_home has joined #ocaml
lamawithonel_ has quit [Ping timeout: 264 seconds]
khia0 has joined #ocaml
khia0 has left #ocaml []
surikator has joined #ocaml
caligula_ has joined #ocaml
surikator has quit [Remote host closed the connection]
caligula has quit [Remote host closed the connection]
CoryDambach has quit [Ping timeout: 240 seconds]
CoryDambach has joined #ocaml
strlen has quit [Ping timeout: 240 seconds]
strlen has joined #ocaml
sepp2k has quit [Quit: Leaving.]
smerz has joined #ocaml
Edward has quit [Ping timeout: 264 seconds]
bbc has joined #ocaml
Edward has joined #ocaml
edwin has quit [Remote host closed the connection]
Amorphous has quit [Ping timeout: 264 seconds]
trch has quit [Ping timeout: 240 seconds]
lamawithonel_ has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]