Smerdyakov has quit ["reboot, because I hates ya"]
Smerdyakov has joined #ocaml
__DL__ has quit [Remote closed the connection]
Smerdyakov has quit []
Smerdyakov has joined #ocaml
Kinners has joined #ocaml
tmb has joined #ocaml
tmb has quit [Client Quit]
Kinners has left #ocaml []
dnc has joined #ocaml
foxster has joined #ocaml
gene9 has joined #ocaml
gene9 has quit [Client Quit]
two-face has joined #ocaml
rhil has joined #ocaml
systems has joined #ocaml
<systems>
:)
lus|wazze has joined #ocaml
<dnc>
hi
jao has joined #ocaml
<two-face>
yo
<dnc>
Hi
<systems>
sup
<dnc>
?
<two-face>
I'm looking for sprite files
systems has quit ["Client Exiting"]
two-face has quit ["Client exiting"]
LifeIsShort has joined #ocaml
LifeIsShort has left #ocaml []
karryall has joined #ocaml
two-face has joined #ocaml
<two-face>
karryall: salut
cfork has joined #ocaml
<cfork>
Should I devote my precious time to learning A. Haskell, or B. *ML?
TachYon has joined #ocaml
<two-face>
ocaml
<cfork>
heh.. its serious question.. but it really seems to depend on whom I ask :)
<cfork>
#haskell or #ocaml
<karryall>
two-face: 'llo
<two-face>
karryall: tu utilises ocaml en EPM?
<two-face>
karryall: tu utilises ocaml en RPM?
<karryall>
EPM ?
<karryall>
ah RPM, oui
<karryall>
mais c'est moi qui fais le RPM, c'est pas celui de l'INRIA
<two-face>
karryall: ou sont les .h ?
<two-face>
chez toi
<karryall>
/usr/lib/ocaml/caml
<karryall>
/usr/lib/ocaml/caml
<two-face>
karryall: et tu n'as pas besoin d'ajouter -I /usr/lib/ocaml ?
<karryall>
non
<two-face>
donc c'est fait automatiquement mis comment ?
<karryall>
c'est ocamlc qui le fait
<two-face>
ok
TachYon has quit ["Client Exiting"]
cfork has left #ocaml []
TachYon has joined #ocaml
<karryall>
two-face: c'est marrant, hier y'avait un type qui voulait faire du CORBA avec caml
<two-face>
karryall: oui :)
<karryall>
bon c'est cool, ça commence à marcher
<two-face>
dis moi
<two-face>
quand les gens compilent un stub,
<two-face>
ils passent pas ocamlc ou gcc ?
<karryall>
par ocamlc
<karryall>
absolument
<karryall>
c'est important car ocamlc n'a pas forcement ete compile avec gcc
<karryall>
par ex. au boulot ocamlc utilise gcc3 et pas gcc
<two-face>
tu es obligé de dire à ocamlc quel GCC utiliser ?
<karryall>
non il utilise le meme qui celui employé lors de la compilation du runtime
<two-face>
ah ok
<karryall>
j'ai compile ocaml en faisant un ./configure -cc gcc3
<karryall>
et maintenant ocamlc appelle gcc3 pour compiler les .c
<two-face>
ok
<two-face>
donc pour être cohérent, passer par ocamlc
<karryall>
oui
<karryall>
bon, les gcc sont bien compatibles entre eux mais ça ne sera peut-être pas le cas entre gcc et un cc proprio par ex.
<two-face>
en effet
<two-face>
au fait, pourquoi jacques garrigue ne met pas d'accès viewcvs à ses codes ?
<karryall>
viewcvs ? c'est-à-dire ?
<two-face>
accès anonyme via http
<karryall>
ah, une interface web
<two-face>
oui
<karryall>
je sais pas, il suffit p'tet de lui demander
<two-face>
le cvs n'est même pas ouvert en anonyme il me semble
<karryall>
effectivement
<two-face>
quel temps pourri
<karryall>
oui
<karryall>
t'habites à Paris ?
<two-face>
Boulogne Billancourt
<pnou>
ouais bien pourri, exactement le temps qu'il faut pour préparer ses exams :-)
<two-face>
yo
<pnou>
ouaich two-face
<two-face>
J'ai toujours dit qu'il faisait plus beau en Bretagne
<pnou>
ho, on a quand même pas à se plaindre
<pnou>
on a eu des journées bien sympathiques !
<two-face>
oui mais bon hein
<pnou>
et puis ça fait avancer ocaml quand il pleut :-)
<karryall>
arf
<two-face>
je vais quand même aller dehors :)
<pnou>
t'es courageux parce qu'il pleut des cordes
<two-face>
parapluie
<two-face>
:)
<two-face>
BBL
<karryall>
?
two-face has quit ["Client exiting"]
__DL__ has joined #ocaml
__DL__ has quit [Remote closed the connection]
__DL__ has joined #ocaml
docelic|away is now known as docelic
two-face has joined #ocaml
d-bug has joined #ocaml
dnc has quit ["Client exiting"]
<two-face>
karryall: tu es là ?
async has joined #ocaml
two-face has quit ["Client exiting"]
systems has joined #ocaml
<async>
in my code i have: let a = ref [];;
<async>
and it gives me a The type of this expression, '_a list ref, contains type variables that cannot be generalized
<async>
but in ocaml (the top-level), i can do it np
<lus|wazze>
make that (e.g.) let a : int list ref = ref [];;
<async>
oh nice.. didn't know about that
<async>
thanks
<async>
is that a list-specific feature?
<async>
or a reference thing?
<async>
hmm you can do anything with that... i never seen it in the docs..
<lus|wazze>
its simply a type annotation
<lus|wazze>
you can put them basically anywhere
<lus|wazze>
let x : int = 17
<lus|wazze>
let foo = 12 : int
<lus|wazze>
&c
<async>
let foo : int = 12;;
<async>
cool
<lus|wazze>
the error message you got was that it couldn't figure the type out by itself
<Riastradh>
No compiler is smart enough to figure out the type of ref [].
<lus|wazze>
so you got to specify it explicitly
<Riastradh>
Or [].
<lus|wazze>
thats not true, [] is 'a list
<lus|wazze>
'_a list ref, on the other hand, means that it is a type which has not yet completely specified
<lus|wazze>
note the underline
<lus|wazze>
underscore even
<async>
it works fine in the top-level but not in the compiler
<lus|wazze>
that is because in the top-level, the "current" module never ends
<pnou>
it works fine in the compiler if you specify the type later
<pnou>
for example
<pnou>
let a = ref [];;
<pnou>
a := [1];;
<lus|wazze>
that is, there might always still occur the statement which would include the information necessary to complete the infererence of the type
<lus|wazze>
like pnou's example
<lus|wazze>
when you enter let a = ref [];; it can't know yet whether, later on, a statement will occur which will make it possible to infer the rest of the type
<lus|wazze>
like the statement a := [1];; does - because after that statement, the '_a can only be int
<async>
brb, testing
async has quit ["Lost terminal"]
stefp has quit [Read error: 60 (Operation timed out)]
systems has quit [Read error: 110 (Connection timed out)]
stefp has joined #ocaml
d-bug has quit ["night"]
two-face has joined #ocaml
systems has joined #ocaml
<two-face>
re
<Riastradh>
Hi.
<two-face>
where can I find animated sprites
<two-face>
I'm looking for free sprites to animate
two-face has quit ["Client exiting"]
mattam has joined #ocaml
systems has quit [Read error: 104 (Connection reset by peer)]
mattam_ has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["time to go"]
TachYon has quit ["Client Exiting"]
async has joined #ocaml
jao has left #ocaml []
karryall has quit [Killed (NickServ (Ghost: karryall_!~andrieu@2001:7a8:18b4:0:0:0:0:1))]
karryall has joined #ocaml
lus|wazze has quit ["Programming today is a race between software engineers striving to build bigger and better idiot-proof programs, and the Univ]