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
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_>
kde-apps.org ?
<
ita>
bluestorm_: yes, or the other one
<
ita>
bluestorm_: no!
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
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>
- : 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"]
<
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"]