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"
<
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
<
Riastradh>
That's
_very_ odd.
<
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>
let readdir_no_ex dirh =
<
mw>
Some (readdir dirh)
<
mw>
End_of_file -> None
<
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
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
lus|wazze` has quit ["Copyright is a temporary loan from the public domain, not property"]
<
lam>
does anybody have use OCamlmakefile with lablgtk ?
<
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
<
lam>
j'ai un pb avec ocamlmakefile et lablgtk
<
two-face>
je ne connais pas ocamlmakefile
<
two-face>
ça soirt d'où ça ?
<
two-face>
j'aime pas prendre les trucs tous fait sans rien comprendre
<
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>
ça marche bien en ce moment ?
<
lam>
euh j'en sais trop rien
<
lam>
t'es dans quoi toi ? thales non ?
<
two-face>
dans une ssii moyenne
<
two-face>
objectif n.1 -> quitter la RP
<
two-face>
j'en ai marre de la RP
<
karryall>
c'est quoi la RP ?
<
two-face>
Région Parisienne
<
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>
et JAcques qui ne veut toujours pas de CVS public ...
<
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>
pas touché depuis une semaine
<
karryall>
je suis toujours bloqué à l'étape "écrire la doc"
<
two-face>
D'où l'avantage de litterate programming
<
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>
karryall: quand tu utilises des variants polymorphes dans le C, tu précalcules les valeurs de hash?
<
karryall>
avec varcc
<
karryall>
(dans lablgtk)
<
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"]
__DL__ has joined #ocaml
<
__DL__>
ça m'arrive tout le temps ça : je me fatigue a parler en englais, et on me répond en français :)
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__>
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