smkl 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
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)]