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
Kinners has joined #ocaml
clam has quit [Read error: 60 (Operation timed out)]
<mw> the tutorial on merjis.com has this example: "let double x = x * 2 in List.map double [1;2;3];;"
<mw> which is supposed to return [2;4;6]
<mw> but instead I get this error:
<mw> "This expression has type 'a list but is here used with type int list"
<mw> why is that?
<teratorn> works for me
<Riastradh> Works fine for me:
<Riastradh> # let double x = x * 2 in List.map double [1;2;3];;
<Riastradh> - : int list = [2; 4; 6]
<mattam> you must have a typo
<mw> that's what I thought, but i tried something trivially different (triple) typing from scratch, and i get the same error
<mw> i also get the same error copy & pasting what riastradh just typed
<teratorn> crazy
<Riastradh> That's _very_ odd.
<mw> huh
<teratorn> mw: do you ever hear voices?
<Riastradh> Can you paste _exactly_ what you typed?
<Riastradh> (i.e. what I pasted)
<mw> i think i am hearing voices
<mw> is it possible that something i'd typed into the toplevel earlier conflicted?
<mw> i started a new ocaml session and it works fine there
<Riastradh> What had you done before in the toplevel?
<mattam> yep, possible, especially if you messed up ; and ;;
<mw> Riastradh: don't know anymore - i already killed it :/
<mw> sorry 'bout that
brwill_out is now known as brwill
buggs is now known as buggs|afk
<mw> open Unix
<mw> let readdir_no_ex dirh =
<mw> try
<mw> Some (readdir dirh)
<mw> with
<mw> End_of_file -> None
<mw> ;;
<mw> that gives me "Reference to undefined global `Unix'" - why?
<Smerdyakov> You haven't asked it to use the Unix module. How you do that escapes me at the moment. :)
<Kinners> #load "unix.cma"
<mw> isn't that what open Unix;; does?
<Kinners> or start ocaml by, ocaml unix.cma
<mw> Kinners: thanks
<mw> do you still need to do open Unix;;?
<Kinners> the open deals with the interface, the load really opens it
<Kinners> well you can access it Unix.readdir
<mw> gotcha
<mw> thanks
Kinners has left #ocaml []
brwill is now known as brwill_zzz
srv has joined #ocaml
karryall has joined #ocaml
buggs|afk is now known as buggs
lus|wazze has joined #ocaml
groz has joined #ocaml
groz has quit [Read error: 110 (Connection timed out)]
lus|wazze` has joined #ocaml
lus|wazze` has quit [Client Quit]
lus|wazze` has joined #ocaml
<lam> hi
lus|wazze` has quit ["Copyright is a temporary loan from the public domain, not property"]
<lam> does anybody have use OCamlmakefile with lablgtk ?
<karryall> hum, no
<karryall> but it shouldn't be different from any other library
Tabu-la-Rasa has quit ["Goodbye"]
lus|wazze has quit [Read error: 110 (Connection timed out)]
lus|wazze has joined #ocaml
two-face has joined #ocaml
<two-face> yo
<lam> j'ai un pb avec ocamlmakefile et lablgtk
<two-face> je ne connais pas ocamlmakefile
<lam> ah :(
<two-face> ça soirt d'où ça ?
<two-face> pouah
<two-face> :)
<lam> ?
<two-face> j'aime pas prendre les trucs tous fait sans rien comprendre
<lam> mouais
<karryall> c'est quoi ton pb ?
<two-face> ocamllmakefile!
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
<lam> je teste un truc en utilisant lablgtk
<lam> si je compile a la ligne de commande impec
<lam> par contre si j'inclus ca dans makefile => ca plante
<karryall> tu linkes bien le gtkInit.cmo ?
lus|wazze has joined #ocaml
<lam> beh voila je pense que ca doit venir de ca
<two-face> lam: tu es dans la même boite que Luc Mazardo ?
<lam> two-face: yep
<two-face> lam: qu'est-ce qu'on fait à cvf ?
<lam> vocal, sms, web, ...
<two-face> SSII ?
<lam> no
<two-face> bien ça
<two-face> ça marche bien en ce moment ?
<lam> euh j'en sais trop rien
<lam> ca marche
<lam> t'es dans quoi toi ? thales non ?
<two-face> non
<lam> ah
<two-face> dans une ssii moyenne
<two-face> objectif n.1 -> quitter la RP
<lam> porque ?
<two-face> j'en ai marre de la RP
<karryall> c'est quoi la RP ?
<two-face> Région Parisienne
<karryall> ah
<karryall> (moi aussi)
<two-face> j'ai un ancien collègue qui est retourné chez lui, à Lorient
<two-face> mais comme il a été licencié (à Paris), il recherche tranquillement du boulot tout en recevant le chômage
<two-face> ce que je ne peux faire
<karryall> et tu voudrais aller où ?
<two-face> Grand Ouest
<two-face> Nantes en priorité
<two-face> Un endroit pas loin de la mer en tout cas
<karryall> il en veut Richard ...
<two-face> pardon ?
<karryall> continuer à utiliser lablgtk malgré tous les bugs qu'il rencontre !
<two-face> :)
<two-face> et JAcques qui ne veut toujours pas de CVS public ...
<lam> richard ?
<two-face> Richard Jones
<karryall> bon la c'est bug de GTK
<two-face> Un mec avec le blouson en cuir et le chapeau, tu sais ?
<karryall> two-face: tu lui as demandé à Jacques ? il a dit non ?
<two-face> karryall: ça ne m'intéresse plus trop de nos jours, mais je crois que plusieurs lui ont demandé
<two-face> bon, j'ai récupéré une version HTML de Xlib Programming Manual
<karryall> et il a dit pourquoi non ?
<two-face> j'en sais rien, ce n'est pas moi qui ai directement demandé
<two-face> s'il l'ouvrait, les gens pourraient tester en permanence
<karryall> ... et ça éviterait d'avoir à balancer les patches sur la ML
<karryall> bah mais y a-t-il tant de gens qui testeraient en permanence ?
<two-face> plus que maintenant en tout cas
<two-face> l'ouverture du code est utile, méthode éprouvée
<karryall> et en signe de protestation tu programmes avec Xlib maintenant :)
<two-face> bah, tout le monde connait la qualité de Gtk :)
<karryall> tss ... mauvais esprit !
<two-face> bah, c'est pas faux :)
<two-face> karryall: et ton gnome ?
<karryall> oulà
<karryall> pas touché depuis une semaine
<karryall> je suis toujours bloqué à l'étape "écrire la doc"
<two-face> hihi
<two-face> D'où l'avantage de litterate programming
<karryall> mouais
<karryall> là c'est plutôt un user's manual qu'il faudrait que j'écrive
<karryall> pas vraiment un commentaire du code
<two-face> c'est bien ce que je dis
<two-face> litterate programming = ecrire la doc et engendrer le code à partir de la doc :)
<karryall> oui mais là non
<two-face> je sais bien !! :)
brwill_zzz is now known as brwill
malc has joined #ocaml
<two-face> clamky
<two-face> karryall: quand tu utilises des variants polymorphes dans le C, tu précalcules les valeurs de hash?
<malc> two-face
<karryall> oui
<karryall> avec varcc
<karryall> (dans lablgtk)
<two-face> varcc ?
<two-face> un script ?
<karryall> un petit programme qui génére un fichier .c et un .h avec une table de conversion
<two-face> ok, parfait je le repiquerai
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
derfy has joined #ocaml
Demitar has joined #ocaml
two-face has quit ["Client exiting"]
malc has quit ["no reason"]
srv has quit ["leaving"]
derfy has quit []
__DL__ has joined #ocaml
<__DL__> hi
<karryall> salut
<__DL__> ça m'arrive tout le temps ça : je me fatigue a parler en englais, et on me répond en français :)
<karryall> :)
karryall has quit ["tcho"]
Demitar has quit [Read error: 60 (Operation timed out)]
buggs is now known as buggs|afk
__DL__ has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
brwill has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
smkl has quit [orwell.freenode.net irc.freenode.net]
__DL__ has joined #ocaml
mattam has joined #ocaml
brwill has joined #ocaml
Smerdyakov has joined #ocaml
det has joined #ocaml
teratorn has joined #ocaml
owll has joined #ocaml
smkl has joined #ocaml
__DL__ has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
brwill has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
smkl has quit [orwell.freenode.net irc.freenode.net]
__DL__ has joined #ocaml
mattam has joined #ocaml
brwill has joined #ocaml
Smerdyakov has joined #ocaml
det has joined #ocaml
teratorn has joined #ocaml
smkl has joined #ocaml
owll has quit ["Client Exiting"]
__DL__ has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
brwill has quit [orwell.freenode.net irc.freenode.net]
smkl has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
smkl has joined #ocaml
teratorn has joined #ocaml
det has joined #ocaml
Smerdyakov has joined #ocaml
brwill has joined #ocaml
mattam has joined #ocaml
__DL__ has joined #ocaml
malc has joined #ocaml
smkl has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
brwill has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
__DL__ has quit [orwell.freenode.net irc.freenode.net]
smkl has joined #ocaml
teratorn has joined #ocaml
det has joined #ocaml
Smerdyakov has joined #ocaml
brwill has joined #ocaml
mattam has joined #ocaml
__DL__ has joined #ocaml
smkl has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
teratorn has joined #ocaml
teratorn has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
brwill has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
__DL__ has quit [orwell.freenode.net irc.freenode.net]
teratorn has joined #ocaml
__DL__ has joined #ocaml
mattam has joined #ocaml
brwill has joined #ocaml
Smerdyakov has joined #ocaml
det has joined #ocaml
__DL__ has quit [orwell.freenode.net irc.freenode.net]
det has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
brwill has quit [orwell.freenode.net irc.freenode.net]
teratorn has quit [orwell.freenode.net irc.freenode.net]
teratorn has joined #ocaml
__DL__ has joined #ocaml
mattam has joined #ocaml
brwill has joined #ocaml
Smerdyakov has joined #ocaml
det has joined #ocaml
smkl has joined #ocaml
Demitar has joined #ocaml
listener has joined #ocaml
owll has joined #ocaml
owll has left #ocaml []
<listener> How can I make an abstract type in a module sig concrete *and* visible to users?
<__DL__> well, you have to make an concrete type...
<__DL__> ok, I've understood your pb : you have to use the "with" construct :
<__DL__> module AList: ALISTLIST with type 'a m = 'a list =
<__DL__> ...
<__DL__> should work.
systems has joined #ocaml
<__DL__> by the way, one use traditionaly named type in module with the name t
systems has quit ["Client Exiting"]
listener has quit [Read error: 113 (No route to host)]
malc has quit ["no reason"]
systems has joined #ocaml
systems has quit ["Client Exiting"]
lus|wazze has joined #ocaml
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
Demitar has quit [Read error: 110 (Connection timed out)]
rox has quit [Connection timed out]
__buggs has joined #ocaml
lus|wazze has joined #ocaml
lus|wazze has quit [Client Quit]
lus|wazze has joined #ocaml
buggs|afk has quit [Read error: 110 (Connection timed out)]
__DL__ has quit [Remote closed the connection]
malc has joined #ocaml
rox has joined #ocaml
__buggs is now known as buggs|afk
Demitar has joined #ocaml
systems has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
systems has left #ocaml []
Demitar has joined #ocaml