smkl changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/, A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
Kinners has left #ocaml []
mattam_ has joined #ocaml
<det> mellum: but some type may raise an exception (ie funtions)
Smerdyakov has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
Nutssh has quit ["Client exiting"]
mattam_ is now known as mattam
liralen has joined #ocaml
wazze has quit ["Learning about how the end letters on French words are just becoming more and more silent, I conclude that one day the French]
mattam has quit ["Lost terminal"]
mattam has joined #ocaml
Swynndla has joined #ocaml
buggs^z has joined #ocaml
buggs has quit [Read error: 60 (Operation timed out)]
Etaoin has joined #ocaml
The-Fixer has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
Nutssh has joined #ocaml
buggs^z has quit [SendQ exceeded]
liralen has quit [SendQ exceeded]
liralen has joined #ocaml
gl has quit [SendQ exceeded]
skylan has quit [Client Quit]
skylan has joined #ocaml
gl has joined #ocaml
buggs^z has joined #ocaml
Swynndla has quit ["Leaving"]
Nutssh has quit [orwell.freenode.net irc.freenode.net]
anpanman has quit [orwell.freenode.net irc.freenode.net]
anpanman has joined #ocaml
Nutssh has joined #ocaml
Herrchen has joined #ocaml
Nutssh has quit ["Client exiting"]
The-Fixer has quit ["Goodbye"]
liralen has quit ["irc"]
liralen has joined #ocaml
Nutssh has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
lam has joined #ocaml
Riastrad1 has joined #ocaml
cmeme has quit [Read error: 60 (Operation timed out)]
shawn_ has joined #ocaml
_shawnafk has quit [Read error: 60 (Operation timed out)]
Riastradh has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
srv has quit [Read error: 104 (Connection reset by peer)]
srv has joined #ocaml
Herrchen has joined #ocaml
gim has quit []
mimosa has joined #ocaml
mimosa has quit ["Leaving"]
lam_ has joined #ocaml
lam has quit [Read error: 110 (Connection timed out)]
Nutssh has quit ["Client exiting"]
buggs^z is now known as buggs
Swynndla has joined #ocaml
Nutssh has joined #ocaml
_JusSx_ has joined #ocaml
pattern has quit [Read error: 110 (Connection timed out)]
pattern has joined #ocaml
Riastrad1 is now known as Riastradh
Nutssh has left #ocaml []
drWorm has quit [Read error: 113 (No route to host)]
The-Fixer has joined #ocaml
The-Fixer has quit ["Goodbye"]
The-Fixer has joined #ocaml
phubuh has quit [Remote closed the connection]
phubuh has joined #ocaml
wazze has joined #ocaml
The-Fixer has quit ["Goodbye"]
The-Fixer has joined #ocaml
cjohnson has quit ["Drawn beyond the lines of reason"]
Hipo has quit [Read error: 104 (Connection reset by peer)]
lam_ has quit ["Lost terminal"]
lam has joined #ocaml
lam has quit [Client Quit]
lam has joined #ocaml
Swynndla has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
gl has quit ["[BX] Automatically bored away"]
gl has joined #ocaml
<Maddas> Hi
<Maddas> Does anybody mind looking at some code of mine? I'm trying to create a group using the Set.Make functor, but something's not working the way I'd like it to
<Maddas> err, create a module.
cjohnson has joined #ocaml
<mattam> where to ?
<Maddas> hold on
<Maddas> It compiles and works, but I'm not sure what to do with it in the end :-)
<Maddas> GroupSet.add has the type GroupSet.elt -> GroupSet.t -> GroupSet.t = <fun>
<Maddas> I don't understand the type signature. Isn't GroupSet.t just int * int?
<mattam> yes, it's equivalent to GroupSet.union (GroupSet.singleton elt) grset
<mattam> GroupSet.t is the type of your sets, GroupSet.elt the type of elements in your set
<Maddas> I don't understand the distinction between the type of my set and the type of the element in my set :-)
* Smerdyakov finds the OCaml Standard Library convention of using "type t" for everything to be repulsive.
<Smerdyakov> Maddas, you don't know the difference between an integer and a set of integers?
<Maddas> Well, yes
<Maddas> hrm.
<Smerdyakov> Then that's the difference.
<Maddas> oh
<Maddas> I have confused the type t in OrderedType and the type t in Make, sorry.
<Maddas> Smerdyakov: I guess that's what you meant with using "type t" for everything :-)
<Smerdyakov> Yeah, though I wasn't thinking of confusions like this.
shawn_ is now known as shawn
cjohnson has quit ["Drawn beyond the lines of reason"]
liralen has quit ["stupid terminal"]
liralen has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
phubuh has quit [Remote closed the connection]