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