malc changed the topic of #ocaml to: OCaml 3.06 released: http://caml.inria.fr/ocaml/distrib.html | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml
xtrm_ has joined #ocaml
xtrm_ has quit [Read error: 110 (Connection timed out)]
xtrm_ has joined #ocaml
jlamar has joined #ocaml
TimFreeman has left #ocaml []
xtrm_ has quit [Read error: 110 (Connection timed out)]
eivuokko has joined #ocaml
xtrm_ has joined #ocaml
smkl has quit [Remote closed the connection]
smklsmkl has joined #ocaml
gl has joined #ocaml
xtrm_ has quit [Read error: 110 (Connection timed out)]
xtrm_ has joined #ocaml
xtrm__ has joined #ocaml
gl-limsi has joined #ocaml
xtrm_ has quit [Read error: 110 (Connection timed out)]
* gl-limsi &
<xtrm__> gl-limsi: you may use fg after ;)
gl-limsi has quit [Read error: 104 (Connection reset by peer)]
jlamar has quit ["Client Exiting"]
xtrm__ has quit [Read error: 110 (Connection timed out)]
yangsx has joined #ocaml
yangsx has quit [Client Quit]
malc has joined #ocaml
TachYon25 has joined #ocaml
gene9 has joined #ocaml
gene9 has quit [Client Quit]
gl-limsi has joined #ocaml
malc has quit [Read error: 110 (Connection timed out)]
xtrm__ has joined #ocaml
smklsmkl is now known as smkl
TachYon25 has quit [bear.openprojects.net irc.openprojects.net]
TachYon25 has joined #ocaml
TachYon25 has quit [bear.openprojects.net irc.openprojects.net]
TachYon25 has joined #ocaml
yangsx has joined #ocaml
yangsx has quit [Client Quit]
xtrm___ has joined #ocaml
malc has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
malc has quit ["no reason"]
xtrm__ has quit [Read error: 110 (Connection timed out)]
xtrm___ is now known as xtrm
gl-limsi has quit [Remote closed the connection]
Dalroth has joined #ocaml
gl-limsi has joined #ocaml
smklsmkl has joined #ocaml
smkl has quit [Read error: 104 (Connection reset by peer)]
jlamar has joined #ocaml
gl-limsi has quit ["Sic Transit Gloria Mundi"]
xtrm has quit [Read error: 110 (Connection timed out)]
clog has quit [^C]
clog has joined #ocaml
smklsmkl is now known as smkl
malc has joined #ocaml
two-face has joined #ocaml
<two-face> yo
<pnou> yo yo yo
<pnou> si je peux me permettre
<two-face> merci :)
karryall has quit [card.freenode.net irc.freenode.net]
two-face has quit [card.freenode.net irc.freenode.net]
jlamar has quit [card.freenode.net irc.freenode.net]
smkl has quit [card.freenode.net irc.freenode.net]
Dalroth has quit [card.freenode.net irc.freenode.net]
gl has quit [card.freenode.net irc.freenode.net]
kjs3 has quit [card.freenode.net irc.freenode.net]
pnou has quit [card.freenode.net irc.freenode.net]
laeos has quit [card.freenode.net irc.freenode.net]
malc has quit [card.freenode.net irc.freenode.net]
eivuokko has quit [card.freenode.net irc.freenode.net]
__mattam__ has quit [card.freenode.net irc.freenode.net]
samx has quit [card.freenode.net irc.freenode.net]
jankr has quit [card.freenode.net irc.freenode.net]
TimFreeman has joined #ocaml
laeos has joined #ocaml
pnou has joined #ocaml
kjs3 has joined #ocaml
gl has joined #ocaml
Dalroth has joined #ocaml
smkl has joined #ocaml
karryall has joined #ocaml
jlamar has joined #ocaml
two-face has joined #ocaml
jankr has joined #ocaml
samx has joined #ocaml
__mattam__ has joined #ocaml
eivuokko has joined #ocaml
<two-face> pnou: ce qui me semble normal en fiat :)
<TimFreeman> This works, but is there any way to get rid of the free type variable for scalar_eventid?
<TimFreeman> type eventtype = [`VECTOR | `SCALAR | `UNIT]
<TimFreeman> type 'a eventid = int
<TimFreeman> constraint 'a = [>eventtype]
<TimFreeman> type 'a scalar_eventid = 'a eventid
<TimFreeman> constraint 'a = [>eventtype]
<TimFreeman> I meant to say:
<TimFreeman> type eventtype = [`VECTOR | `SCALAR | `UNIT]
<TimFreeman> type 'a eventid = int
<TimFreeman> constraint 'a = [>eventtype]
<TimFreeman> type 'a scalar_eventid = 'a eventid
<TimFreeman> constraint 'a = [>`SCALAR]
gl has quit [Read error: 113 (No route to host)]
<two-face> I'm sorry I'm not skilled enough with such typing (not very well documented)
<TimFreeman> Thanks for giving it a try.
<pnou> i don't understand tim
<pnou> what is the problem with:
<pnou> mmm
<TimFreeman> pnou: The compiler surprises you too, eh?
<pnou> you want a constraint on the free type of eventtype but you don't want a free type for scalar_, that's it?
<pnou> well i would wrote
<pnou> type eventtype = [`SCALAR | `UNIT | `VECTOR]
<pnou> type 'a eventid = int
<pnou> type scalar_eventid = [`SCALAR] eventid
<pnou> but i don't know what you want
<TimFreeman> I suppose that works, but is there a way for me to do that and still express the constraint that the type argument ot eventid will always be an eventtype?
<TimFreeman> s/ot/to/
<pnou> hum
two-face has quit [card.freenode.net irc.freenode.net]
jlamar has quit [card.freenode.net irc.freenode.net]
karryall has quit [card.freenode.net irc.freenode.net]
TimFreeman has quit [card.freenode.net irc.freenode.net]
TimFreeman has joined #ocaml
two-face has joined #ocaml
jlamar has joined #ocaml
karryall has joined #ocaml
laeos has quit [card.freenode.net irc.freenode.net]
Dalroth has quit [card.freenode.net irc.freenode.net]
kjs3 has quit [card.freenode.net irc.freenode.net]
pnou has quit [card.freenode.net irc.freenode.net]
smkl has quit [card.freenode.net irc.freenode.net]
smkl has joined #ocaml
Dalroth has joined #ocaml
kjs3 has joined #ocaml
pnou has joined #ocaml
laeos has joined #ocaml
pnou has quit [card.freenode.net irc.freenode.net]
kjs3 has quit [card.freenode.net irc.freenode.net]
laeos has quit [card.freenode.net irc.freenode.net]
Dalroth has quit [card.freenode.net irc.freenode.net]
smkl has quit [card.freenode.net irc.freenode.net]
karryall has quit [card.freenode.net irc.freenode.net]
TimFreeman has quit [card.freenode.net irc.freenode.net]
two-face has quit [card.freenode.net irc.freenode.net]
jlamar has quit [card.freenode.net irc.freenode.net]
laeos has joined #ocaml
pnou has joined #ocaml
kjs3 has joined #ocaml
Dalroth has joined #ocaml
smkl has joined #ocaml
karryall has joined #ocaml
jlamar has joined #ocaml
two-face has joined #ocaml
TimFreeman has joined #ocaml
TimFreeman has left #ocaml []
Dalroth has quit []
two-face has quit [Remote closed the connection]
two-face has joined #ocaml
<two-face> re
<pnou> je disais
<pnou> y te reste que epeire et camtop ?
<two-face> oui
<pnou> cool :)
<two-face> je vais mettre mon packaging chez tuxfamily
<two-face> peinard
<two-face> pas sourceforge, pas savannah
<two-face> totallement indépendant
<pnou> oué c'est plus tranquillou
<pnou> t'as d'autres paquets que du ocaml ?
<two-face> oui
<two-face> j'ai icewm
<two-face> et sympa
<pnou> wow des gros morceaux
<pnou> ça fait longtemps que t'es dev debian ?
<two-face> symp oui
<two-face> 1 an et demi
<two-face> mais ça fait hmm 3 ans que je fais des paquets
<pnou> et pourquoi t'as attendu autant de temps avant de passer dev ?
<two-face> je n'ai as choisi
<pnou> hum ?
<two-face> il faut attendre son tour
<two-face> et en plus ils n'ont plus accepté personne pendant un certain temps
<pnou> ha d'accord
<pnou> je pensais pas que le « for a while » était si long :)
<two-face> pour moi ça l'a été
<pnou> de toute façon même si on est pas dev, l'important c'est de contribuer au projet
<two-face> exactement
<two-face> pnou: à quel endroit les icones de epeire sont copiés qqpart?
<pnou> ils sont pas utilisés
<pnou> ils sont codés en dur
<two-face> gni ?
<two-face> intégrés au code ?
<two-face> au fait, tu les trouves comment ? :)
<pnou> ben oui intégré au code
<pnou> j'étais là quand maxence les a fait, ça a pris 10 secondes... et ça se voit :)
<two-face> vous pouvez reprendre ceux de gvd
<pnou> ben je doute qu'il en ait du même genre
<pnou> le problème c'est qu'on trois niveau de retour en arrière et pareil pour en avant
<two-face> ah
<pnou> je vais l'installer pour voir
<pnou> bah y sont assez laids aussi
<two-face> pas mieux
<two-face> bon, goto bed
<pnou> bonne nuit
<two-face> a+
two-face has left #ocaml []
eivuokko has quit ["nite"]
_mattam_ has joined #ocaml
jao has joined #ocaml
__mattam__ has quit [Connection timed out]
jlamar has quit ["Client Exiting"]