vect changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, ICFP'03 http://www.icfpcontest.org/, 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
__DL__ has quit [Remote closed the connection]
Demitar has joined #ocaml
malc has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
systems has joined #ocaml
ez4 has joined #ocaml
malc has quit [Read error: 60 (Operation timed out)]
systems has left #ocaml []
Kinners has joined #ocaml
listener has joined #ocaml
<listener> ?
Demitar has joined #ocaml
<Kinners> listener: do you need to use functors?
<listener> I've tried functors but couldn't get them to work out correctly.
lam_ has quit [Remote closed the connection]
<listener> The problems is to replace the type 'a m with a concrete type, and to do it so that it is visible to all.
lam has joined #ocaml
bk_ has joined #ocaml
<Kinners> module SeqF = functor (Seq : ASEQ) -> struct type 'a m = 'a Seq.m let hd = Seq.hd let tl = Seq.tl end;;
<Kinners> module ListSeq = SeqF(struct type 'a m = 'a list let hd = List.hd let tl = List.tl end);;
<Kinners> is that what you were wanting?
<listener> OK. It works, but I', but I'm not sure why.
<listener> Looks like.
<Kinners> basically it turns ASeq into BSeq
<Kinners> ASeq has an abstract type, the functor uses that to make a module with a concrete type
<listener> It's the ListSeq that confuses me. I don't remember seeing a module used like : SeqF( _struct_) . Where is that described?
<Kinners> it's briefly mentioned in the reference manual :)
<Kinners> sections 2.3, 6.11 etc.
<listener> Yeah, yeah, like the citations in a paper: ( Resiener spaces with Hally connections are locally connected [1]/
<listener> spaces.
<listener> Then when you read [1] to find the proof, you discover that the paper doesn't have it. Just the definition of Resiener
<listener> apaces.
<Kinners> do you have the O'Reilly book?
<listener> Not the hard copy, but I've got the download. ( I didn't know it was published yet. )
<Kinners> I meant the download :)
<Kinners> that's got a bit more detail
bk_ has quit ["I'll be back"]
Demitar_ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
listener has quit [Read error: 113 (No route to host)]
Demitar_ has quit [Read error: 110 (Connection timed out)]
lam has quit [Remote closed the connection]
lam has joined #ocaml
brwill is now known as brwill_zzz
async has joined #ocaml
<async> hi
Demitar_ has joined #ocaml
Kinners has left #ocaml []
mattam_ has joined #ocaml
Demitar_ has quit [Read error: 110 (Connection timed out)]
mattam has quit [Read error: 110 (Connection timed out)]
ez4 has left #ocaml []
jdmarshall has joined #ocaml
jdmarshall has quit [Remote closed the connection]
two-face has joined #ocaml
jdmarshall has joined #ocaml
Demitar_ has joined #ocaml
Demitar_ is now known as Demitar
jdmarshall has quit ["ChatZilla 0.8.31 [Mozilla rv:1.4/20030624]"]
srv has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
karryall has joined #ocaml
jdmarshall has joined #ocaml
buggs|afk is now known as buggs
Demitar has joined #ocaml
systems has joined #ocaml
mattam_ has quit [Read error: 110 (Connection timed out)]
mattam has joined #ocaml
buggs is now known as buggs|afk
systems has quit ["Client Exiting"]
malc has joined #ocaml
phubuh has quit [Remote closed the connection]
Demitar has quit [Read error: 60 (Operation timed out)]
Smerdy has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
malc has quit [Read error: 60 (Operation timed out)]
Demitar has joined #ocaml
__DL__ has quit ["Bye Bye"]
Nasleepattheswit has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
srv has quit ["leaving"]
Demitar has joined #ocaml
<Maddas> hm
<two-face> hm
<Maddas> never mind, I found out.
two-face has quit ["Client exiting"]
karryall has quit ["tcho"]
systems has joined #ocaml
bk_ has joined #ocaml
Smerdy is now known as Smerdyakov
Demitar has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
systems has left #ocaml []
Demitar has joined #ocaml
jdmarshall has quit ["heading out"]
Demitar has quit [Read error: 110 (Connection timed out)]
bk_ has quit ["I'll be back"]
brwill_zzz is now known as brwill
brwill is now known as brwill_work
Demitar has joined #ocaml
systems has joined #ocaml
Demitar_ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
Demitar_ is now known as Demitar
__buggs has joined #ocaml
karryall has joined #ocaml
systems has quit ["Client Exiting"]
__buggs is now known as buggs
Demitar has quit [Read error: 110 (Connection timed out)]
buggs|afk has quit [Read error: 110 (Connection timed out)]
lus|wazze has joined #ocaml
malc has joined #ocaml
Demitar has joined #ocaml