cjeris changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
Submarine has quit ["Leaving"]
screwt8 has joined #ocaml
_blackdog has quit [Remote closed the connection]
Ai_Itai has quit ["Leaving"]
Mr_Awesome_ has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
Mr_Awesome__ has joined #ocaml
Mr_Awesome_ has quit [Read error: 110 (Connection timed out)]
Mr_Awesome__ has quit ["...and the Awesome level drops"]
tree has quit [Nick collision from services.]
tree has joined #ocaml
tree has quit [Nick collision from services.]
tree_ has joined #ocaml
bluestorm_ has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
joshcryer has joined #ocaml
Smerdyakov has quit ["Leaving"]
Submarine has joined #ocaml
G_ has joined #ocaml
G__ has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
G_ has quit [Read error: 110 (Connection timed out)]
G__ is now known as G
love-pingoo has joined #ocaml
rwmjones has joined #ocaml
rwmjones has left #ocaml []
smimou has quit ["bli"]
z__z has quit [Read error: 54 (Connection reset by peer)]
rickardg has joined #ocaml
G_ has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
Sparkles has joined #ocaml
Sparkles has quit [Client Quit]
joelr1 has joined #ocaml
<joelr1> good morning
screwt8 has quit [Read error: 104 (Connection reset by peer)]
z__z has joined #ocaml
screwt8 has joined #ocaml
z__z has quit [pratchett.freenode.net irc.freenode.net]
slipstream-- has quit [pratchett.freenode.net irc.freenode.net]
benny has quit [pratchett.freenode.net irc.freenode.net]
flux has quit [pratchett.freenode.net irc.freenode.net]
mattam has quit [pratchett.freenode.net irc.freenode.net]
TaXules has quit [pratchett.freenode.net irc.freenode.net]
sourcerror has quit [pratchett.freenode.net irc.freenode.net]
lde has quit [pratchett.freenode.net irc.freenode.net]
svenl has quit [pratchett.freenode.net irc.freenode.net]
z__z has joined #ocaml
slipstream-- has joined #ocaml
benny has joined #ocaml
mattam has joined #ocaml
lde has joined #ocaml
sourcerror has joined #ocaml
flux has joined #ocaml
TaXules has joined #ocaml
svenl has joined #ocaml
love-pingoo has quit [Read error: 60 (Operation timed out)]
love-pingoo has joined #ocaml
EliasAmaral has quit [Remote closed the connection]
screwt8 has quit [Remote closed the connection]
joelr1 has quit [Read error: 104 (Connection reset by peer)]
joelr1 has joined #ocaml
_blackdog has joined #ocaml
z__z has quit [Read error: 110 (Connection timed out)]
screwt8 has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
rickardg has quit [Read error: 60 (Operation timed out)]
rickardg has joined #ocaml
G_ is now known as G
G is now known as Gone
Gone is now known as G
z__z has joined #ocaml
Sparkles has joined #ocaml
Sparkles has quit [Client Quit]
Sparkles has joined #ocaml
joelr1 has quit []
Sparkles has quit [Remote closed the connection]
Sparkles has joined #ocaml
Sparkles has quit [Client Quit]
rickardg` has joined #ocaml
ygrek has joined #ocaml
rickardg has quit [Connection timed out]
blizz has left #ocaml []
Demitar has joined #ocaml
Demitar has quit [Remote closed the connection]
bluestorm_ has joined #ocaml
screwt8 has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Remote closed the connection]
bluestorm_ has quit [Remote closed the connection]
pango has joined #ocaml
G_ has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
screwt8 has joined #ocaml
G has quit [Connection timed out]
descender has quit [Remote closed the connection]
cjeris has joined #ocaml
bluestorm_ has joined #ocaml
hailhail has joined #ocaml
hailhail has quit [Client Quit]
bluestorm_ has quit [Remote closed the connection]
Smerdyakov has joined #ocaml
benny_ has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Remote closed the connection]
benny has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
ita|zzz is now known as ita
bluestorm_ has joined #ocaml
mikeX has joined #ocaml
* ita sends a semantik 0.3.1 copy to bluestorm_
<bluestorm_> :p
<bluestorm_> kde-apps.org ?
<ita> bluestorm_: yes, or the other one
<ita> ocaml 0.3.10 should make it in the topic http://caml.inria.fr/ocaml/release.fr.html
<flux> good point
flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.fr.html (featuring new camlp4)
<bluestorm_> hm
<bluestorm_> i thing it would be better to give http://caml.inria.fr/ocaml/release.html
<bluestorm_> -g+k
<ita> bluestorm_: no!
Smerdyakov changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4)
descender has joined #ocaml
kelaouchi has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
the_dormant has joined #ocaml
mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
<mbishop> :P
ygrek_ has quit [Remote closed the connection]
love-pingoo has joined #ocaml
mikeX has quit ["reboot"]
Modius has joined #ocaml
rickardg` has quit [Read error: 104 (Connection reset by peer)]
lucca has joined #ocaml
Demitar has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
shawn__ has quit [Read error: 110 (Connection timed out)]
cjeris has quit [Read error: 104 (Connection reset by peer)]
the_dormant has quit []
pantsd has quit [Read error: 110 (Connection timed out)]
pantsd has joined #ocaml
<tsuyoshi> what does '_a mean
<pango> weak type variable (or whatever it's called)
<pango> that's a monomorphic type that hasn't been determined yet
G_ is now known as G
* ita looks for monomorphic
<pango> # let x = ref [] ;;
<pango> val x : '_a list ref = {contents = []}
<pango> # x := [3] ;;
<pango> # x ;;
<pango> - : int list ref = {contents = [3]}
<pango> # x := ["foo"] ;;
<pango> This expression has type string but is here used with type int
<tsuyoshi> ok.. so after it gets a type, it keeps the type
<tsuyoshi> that was kind of what I was guessing
<tsuyoshi> but I'm having a hard time figuring out when exactly the type inferer comes up with that
<pango> that's quite complicated
<tsuyoshi> I keep thinking I understand everything in ocaml but then something like that comes up
smimou has quit ["bli"]
<pango> http://caml.inria.fr/about/papers.en.html, "[3]Jacques Garrigue. Relaxing the value restriction."
<tsuyoshi> oh nice, backtraces on uncaught exceptions
<tsuyoshi> I didn't know you could get them with bytecode programs
<tsuyoshi> never used the bytecode compiler
<ita> tsuyoshi: now with the native compiler as well
<ita> tsuyoshi: ocaml 3.10
<tsuyoshi> yeah I was just reading the release notes
bluestorm_ has quit ["Konversation terminated!"]
ita is now known as ita|zzz
pantsd has quit ["Leaving."]
twobitsprite has quit [Read error: 110 (Connection timed out)]
david_koontz has quit ["Leaving"]