smimou has quit ["bli"]
ski_ has quit [Read error: 110 (Connection timed out)]
Revision17 has joined #ocaml
ski_ has joined #ocaml
rq has joined #ocaml
pango_ has joined #ocaml
rq has quit [Read error: 104 (Connection reset by peer)]
rq has joined #ocaml
pango has quit [Read error: 110 (Connection timed out)]
rq has quit [Read error: 104 (Connection reset by peer)]
rq has joined #ocaml
quamaretto has quit ["Leaving"]
batdog|gone is now known as batdog
batdog has quit [Read error: 104 (Connection reset by peer)]
batdog has joined #ocaml
Skal has joined #ocaml
shirogane has quit [Remote closed the connection]
collatin has joined #ocaml
vodka-goo has joined #ocaml
collatin has quit [Remote closed the connection]
batdog is now known as batdog|gone
rq has quit [Read error: 110 (Connection timed out)]
rq has joined #ocaml
pango_ has quit [Remote closed the connection]
rq has quit [Read error: 110 (Connection timed out)]
rq has joined #ocaml
pango has joined #ocaml
vodka-goo has quit []
mauke has joined #ocaml
ppsmimou has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
ramkrsna has joined #ocaml
Snark has joined #ocaml
vezenchio has joined #ocaml
Tachyon76 has joined #ocaml
ion_bidon has joined #ocaml
ramkrsna has quit [Read error: 113 (No route to host)]
ski__ has joined #ocaml
ski has quit [Read error: 104 (Connection reset by peer)]
<
ion_bidon>
hy, module Test = Map.make(String);; let t = Test.empty;; Test.empty returns me 'a t what does 'a t mean ?
<
Snark>
t is a parametric type
<
Snark>
applied to 'a
Snark has quit ["Parti"]
<
ion_bidon>
Snark thank you
<
ion_bidon>
type 'a t = 'a Map.Make(String).t, thats quite simple
<
ion_bidon>
in fact
Tachyon76 has quit ["Leaving"]
ecc has joined #ocaml
__DL__ has joined #ocaml
collatin has joined #ocaml
ion_bidon has quit ["leaving"]
_fab has joined #ocaml
ski has joined #ocaml
ski__ has quit [Read error: 110 (Connection timed out)]
pango has quit ["brb"]
Bigb[a]ng is now known as Bigbang
pango has joined #ocaml
pango has quit [Read error: 60 (Operation timed out)]
Snark has joined #ocaml
pango has joined #ocaml
ppsmimou has quit ["Leaving"]
exa has joined #ocaml
smimou has joined #ocaml
quamaretto has joined #ocaml
mattam_ has quit [Remote closed the connection]
Banana_ has quit [Remote closed the connection]
batdog|gone is now known as batdog
vodka-goo has joined #ocaml
desc has joined #ocaml
descender has quit [Nick collision from services.]
desc is now known as descender
collatin has quit ["Leaving"]
Bigbang is now known as Bigb[a]ng
kmagdsick has joined #ocaml
Banana has joined #ocaml
shirogane has joined #ocaml
Snark has quit ["Parti"]
malc_ has joined #ocaml
quamaretto has quit ["Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]"]
Skal has quit [Remote closed the connection]
mercurylala has joined #ocaml
__DL__ has quit [Remote closed the connection]
mercurylala has quit [Client Quit]
malc_ has quit ["leaving"]
smimou has quit ["bli"]