kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
Pepe__ has joined #ocaml
Pepe_ has quit [Read error: 110 (Connection timed out)]
Pepe__ is now known as Pepe_
* palomer wonders if there's a mailing list where all domain specific language conferences are announced
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
bzzbzz has joined #ocaml
mjs22 has joined #ocaml
jeremiah has quit [Read error: 113 (No route to host)]
anothergit has joined #ocaml
mjs22 has quit []
komar_ has joined #ocaml
holgr_ has joined #ocaml
bzzbzz has quit ["leaving"]
holgr has quit [Read error: 110 (Connection timed out)]
anothergit has quit ["Leaving"]
verte has joined #ocaml
Ringo48 has joined #ocaml
Ringo48 has left #ocaml []
Associat0r has joined #ocaml
Snark has joined #ocaml
mishok13 has joined #ocaml
verte has quit ["q"]
Yoric[DT] has joined #ocaml
jeanbon has joined #ocaml
itewsh has joined #ocaml
hkBst has joined #ocaml
Lomono has joined #ocaml
Lomono has quit [Remote closed the connection]
jeremiah has joined #ocaml
ulfdoz has joined #ocaml
Pepe_ has quit [Read error: 113 (No route to host)]
_zack has joined #ocaml
mjs22 has joined #ocaml
Ched has quit [Read error: 60 (Operation timed out)]
mjs22 has quit []
julm has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
jeremiah has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
jmou has quit [Read error: 110 (Connection timed out)]
LeCamarade|Away is now known as LeCamarade
Ched has joined #ocaml
Ched has quit [Remote closed the connection]
Ched has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
gildor_ has joined #ocaml
youscef has joined #ocaml
gildor has quit [Read error: 110 (Connection timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Ppjet6 has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Success]
itewsh has joined #ocaml
Ppjet6_ has joined #ocaml
Ppjet6_ is now known as Pepe_
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Ppjet6 has quit [Read error: 110 (Connection timed out)]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
TaXules has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
TaXules has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Snark has quit ["Ex-Chat"]
fasta has joined #ocaml
<fasta> Can the OCaml debugger show how a certain value came into existence (so basically the complete reduction sequence)?
bombshelter13_ has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Fullma` has quit [Read error: 54 (Connection reset by peer)]
LeCamarade has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
willb has quit [Read error: 110 (Connection timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
LeCamarade has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<kaustuv> fasta: not as such, but you can use #trace in the toplevel in many cases
jado has joined #ocaml
<jado> hi, i'm trying to disable < Force indentation after 'let' > in the tuared mode of emacs; but when i uncheck it there is still indentation after the let's and if i "Save options" and restart emacs the option is still checked
<jado> tuareg*
willb has joined #ocaml
_andre has joined #ocaml
LeCamarade is now known as LeCamarade|Away
Submarine has joined #ocaml
LeCamarade|Away is now known as LeCamarade
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
ppsmimou has quit ["Leaving"]
fasta has left #ocaml []
LeCamarade is now known as LeCamarade|Away
flux has quit [Remote closed the connection]
flux has joined #ocaml
flx_ has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Fullma has joined #ocaml
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
_andre has quit ["leaving"]
_zack has quit ["Leaving."]
LeCamarade|Away has quit [Read error: 110 (Connection timed out)]
TaXules_ has joined #ocaml
TaXules has quit [Remote closed the connection]
jado has quit [Read error: 113 (No route to host)]
_andre has joined #ocaml
komar_ has quit [Remote closed the connection]
gim has quit [Read error: 110 (Connection timed out)]
komar_ has joined #ocaml
flx_ has quit ["leaving"]
Jedai has joined #ocaml
LeCamarade has joined #ocaml
BiDOrD has joined #ocaml
_zack has joined #ocaml
_andre has quit ["leaving"]
LeCamarade has quit [Read error: 104 (Connection reset by peer)]
LeCamarade has joined #ocaml
_zack has quit ["Leaving."]
ched_ has joined #ocaml
Ched has quit [Read error: 110 (Connection timed out)]
jeanbon has quit [Read error: 104 (Connection reset by peer)]
jeanbon has joined #ocaml
LeCamarade has quit ["Moving the internet, Transfert de l'internet."]
Submarine has quit [Client Quit]
Yoric[DT] has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
psnively has joined #ocaml
psnively has left #ocaml []
LeCamarade has joined #ocaml
LeCamarade is now known as LeCamarade|Away
mjs22 has joined #ocaml
rwmjones_ has joined #ocaml
travisbrady has joined #ocaml
mjs22 has quit []
ergodick has joined #ocaml
jado has joined #ocaml
travisbrady has quit [Read error: 104 (Connection reset by peer)]
travisbrady has joined #ocaml
slash_ has joined #ocaml
sporkmonger has quit ["Poof!"]
bombshelter13_ has quit []
<jado> hello; could someone have a look at this please? http://paste.ubuntu.com/211521/
<jado> i got this annoying message: "This expression has type int but is here used with type MyHeap.key = Integers.t"
<jado> (when inserting, line 14)
bombshelter13_ has joined #ocaml
<flux> remove : KeyOrderType
<flux> it makes the type t abstract
<jado> thanks
mjs22 has joined #ocaml
<jado> adding "with type t = int" works fine also but removing all of this seems better :d
<jado> sorry got to go
jado has quit [Remote closed the connection]
Associat0r has quit ["#proglangdesign #ltu ##concurrency"]
bombshelter13_ has quit []
bombshelter13_ has joined #ocaml
bombshelter13_ has quit [Client Quit]
Yoric[DT] has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
ulfdoz_ is now known as ulfdoz
komar_ has quit [Read error: 60 (Operation timed out)]
ergodick has quit ["Leaving."]
Yoric[DT] has quit ["Ex-Chat"]
mjs22 has quit []
komar_ has joined #ocaml
ulfdoz has quit [Read error: 60 (Operation timed out)]
mjs22 has joined #ocaml
youscef has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
willb has quit [Read error: 110 (Connection timed out)]
mjs22 has quit []
jonafan has quit [Read error: 104 (Connection reset by peer)]
slash_ has quit [Client Quit]
jeanbon has quit [".)(.)(."]