skylan has quit [card.freenode.net irc.freenode.net]
xtrmzZzZ has quit [card.freenode.net irc.freenode.net]
smkl has quit [card.freenode.net irc.freenode.net]
laeos has quit [card.freenode.net irc.freenode.net]
smkl has joined #ocaml
skylan has joined #ocaml
xtrmzZzZ has joined #ocaml
laeos has joined #ocaml
xtrmzZzZ is now known as xtrm
DemiUni has joined #ocaml
Dyb2 has quit [Read error: 110 (Connection timed out)]
mrvn_ is now known as mrvn
laeos has quit ["Jesus Saves! (And Esposito scores on the rebound!)"]
TachYon25 has joined #ocaml
smklsmkl has joined #ocaml
gl has joined #ocaml
xtrm has quit [card.freenode.net irc.freenode.net]
skylan has quit [card.freenode.net irc.freenode.net]
smkl has quit [card.freenode.net irc.freenode.net]
smkl has joined #ocaml
skylan has joined #ocaml
xtrm has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
xtrm has quit [card.freenode.net irc.freenode.net]
skylan has quit [card.freenode.net irc.freenode.net]
skylan has joined #ocaml
xtrm has joined #ocaml
DemiUni has quit [Remote closed the connection]
DemiUni has joined #ocaml
smklsmkl is now known as smkl
DemiUni has quit [Remote closed the connection]
DemiUni has joined #ocaml
DemiUni has quit [Remote closed the connection]
DemiUni has joined #ocaml
DemiUni has quit [Remote closed the connection]
DemiUni has joined #ocaml
DemiUni has quit [Remote closed the connection]
karryall has joined #ocaml
DemiUni has joined #ocaml
kruskal has joined #ocaml
<pnou>
kruskal de l'algo de théorie des graphes, c'est toi ? :/
<kruskal>
heu.....
<kruskal>
humhum
<kruskal>
disons que j'ai usurpé cette identité
<kruskal>
pour etre honnete
<pnou>
ho
<pnou>
j'aurais pas d'autographe pour ma nièce alors :(
<kruskal>
ben, heuu, non
<kruskal>
dsl
<gl>
yo
<pnou>
de toute façon elle préfère prim, pas dans ta tête !
<pnou>
paf
<pnou>
yop gl
<kruskal>
pffff, prim
<pnou>
comment allez-vous cher gl ?
<gl>
j arrive *enfin* a avoir X sur mon laptop
<kruskal>
quitte a choisir autre chose, autant prendre edmonds
<gl>
y a plus que la souris qui fait des trucs bizarres
<pnou>
ben prim est très bien pour avoir une arborescence à partir d'un sommet donné
<gl>
pnou bof.. et les resultats de l icfp c est quand ?
<pnou>
je ne connais pas edmonds, mais transmet lui mes amitiés
<pnou>
le mois prochain
<pnou>
j'ai hate de savoir si je suis riche
<kruskal>
edmonds, il marche en compression de graphe, a part ça j'ai rien tollé au cours ;)
<pnou>
et oui kruskal j'ai utilisé prim pour l'ifcp désolé !
<pnou>
lol
<pnou>
houla ça a l'air compliqué :/
<gl>
mh.. normalement je vais en bouffer, de la theorie des graphes, cette annee
<gl>
ca me rafraichira la memoire, c est cool
<pnou>
ha oué, y en a beaucoup en maitrise ?
<gl>
ouais.. au premier semestre j ai que 4 modules, donc un entierement sur les graphes
<kruskal>
put1, c dur de revoir un ordinateur apres 15 jours d'immersion totale dans le monde analogique
<pnou>
moi j'en ai bien bouffé pendant l'icfp
<gl>
graphes, reseau, compilation, et algorithmique repartie
<pnou>
wow ça a l'air intéressant
<gl>
ouaip
<pnou>
c'est pour ça que je me suis menoté à mon ordi kruskal
<kruskal>
lol
<pnou>
moi je sais toujours pas ce que je vais faire l'année prochaine, c'est chiant :/
<gl>
jeudi t es fixe
<pnou>
ben je sais pas quand ils vont me donner une réponse
<pnou>
et même si je suis pris, je sais pas trop ce que je vais y faire :)
<gl>
travailler ?
<pnou>
hum
<pnou>
c'est chiant ça
<pnou>
kruskal tu camles depuis quand ?
<kruskal>
depuis arf, un peu moins d'un an
<kruskal>
mais, je pratique pas bocoup
<pnou>
t'es étudiant ?
<kruskal>
ouaip
<pnou>
désolé j'aime bien les interrogatoires :/
<pnou>
où ça et à quel niveau ?
<kruskal>
a epita, j'entre en ingé1
<pnou>
hum
<pnou>
je t'avais déjà demandé n'est-ce pas ? :/
<kruskal>
peut etre
<kruskal>
je c plus
<pnou>
ouf :)
<kruskal>
lol
mrvn_ has joined #ocaml
<pnou>
# class type ct = object
<pnou>
method m : l:int -> int
<pnou>
end
<pnou>
let rec f (o : ct) =
<pnou>
let rec g o =
<pnou>
let x = o#m 1 in
<pnou>
g x in
<pnou>
g o;;
<pnou>
^
<pnou>
This expression has type ct = < m : l:int -> int > but is here used with type
<pnou>
< m : int -> 'a; .. > as 'a
<pnou>
Note that this code is semantically correct: you just need to add a type
<pnou>
annotation in g to make it typable.
<pnou>
anyone understand why both `o' type variable aren't unified?
<pnou>
if i remove the l label, they are
<smkl>
a label problem ... it cannot infer in g that #m is labelled
kruskal has left #ocaml []
<pnou>
the first o is labelled
<pnou>
and the second o should be unified with the first one, shoudn't it?
<smkl>
in, "let x = o#m 1 in" o is unified to < m : int -> 'a; .. >
mrvn has quit [Read error: 110 (Connection timed out)]
<pnou>
hum yes you're right
gl has quit [No route to host]
thierry has joined #ocaml
<thierry>
salut
Dalroth has joined #ocaml
Dybbuk has quit ["[x]chat"]
Dybbuk has joined #ocaml
mrvn_ is now known as mrvn
* thierry
is away: Good reasons... I hope...
malc has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
malc has quit ["no reason"]
karryall has quit ["a+"]
TimFreeman has joined #ocaml
<TimFreeman>
I don't like "open" statements, since they potentially require me to know what's in all of the referenced .mli files to understand a small piece of source. Does anyone know of a tool that can take ocaml source and rewrite it ...
<TimFreeman>
to eliminate open statements, while preserving comments?
<Dybbuk>
Hmmm.
Dybbuk has quit ["[x]chat"]
<mrvn>
You need pretty much a complete ocaml parser for that.
TachYon25 has joined #ocaml
malc has joined #ocaml
mrvn_ has joined #ocaml
skylan has quit [Read error: 60 (Operation timed out)]
mrvn has quit [Read error: 60 (Operation timed out)]
skylan has joined #ocaml
spip has joined #ocaml
malc has quit [Read error: 110 (Connection timed out)]
skylan has quit [Read error: 104 (Connection reset by peer)]
skylan has joined #ocaml
DemiUni has quit [Remote closed the connection]
spip has quit [Remote closed the connection]
smkl has quit [Remote closed the connection]
smkl has joined #ocaml
Dalroth has quit []
TimFreeman has left #ocaml []
TachYon25 has quit [card.freenode.net irc.freenode.net]
TachYon25 has joined #ocaml
TachYon25 has quit [card.freenode.net irc.freenode.net]
TachYon25 has joined #ocaml
TachYon25 has quit [Read error: 111 (Connection refused)]