ChanServ changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml
merriam has quit [card.freenode.net irc.freenode.net]
merriam has joined #ocaml
merriam has quit [card.freenode.net irc.freenode.net]
merriam has joined #ocaml
Dybbuk has quit [card.freenode.net irc.freenode.net]
mr_bubbs has quit [card.freenode.net irc.freenode.net]
mr_bubbs has joined #ocaml
Dybbuk has joined #ocaml
smkl has quit [Read error: 54 (Connection reset by peer)]
smkl has joined #ocaml
smklsmkl has joined #ocaml
smkl has quit [Read error: 60 (Operation timed out)]
merriam has quit [card.freenode.net irc.freenode.net]
merriam has joined #ocaml
merriam has quit [card.freenode.net irc.freenode.net]
merriam has joined #ocaml
merriam has quit [card.freenode.net irc.freenode.net]
urth^ has joined #ocaml
<urth^> hey guys
urth^ has quit [Client Quit]
smklsmkl has quit [card.freenode.net irc.freenode.net]
pnou has quit [card.freenode.net irc.freenode.net]
emu has quit [card.freenode.net irc.freenode.net]
lam has quit [card.freenode.net irc.freenode.net]
smklsmkl has joined #ocaml
pnou has joined #ocaml
emu has joined #ocaml
lam has joined #ocaml
zack has joined #ocaml
<zack> hi all
<zack> anyone who has played with ocaml abstract syntax trees here?
smklsmkl is now known as smkl
<zack> probably not ...
<karryall> zack: yes ?
<zack> I'm working with ocaml abstract sytnax trees as defined in camlp4/mLast.mli ...
<zack> type declarations ship a list of type variables ('a, 'b, ...) along with type name and type
<zack> I'm wondering if this list is really needed or is only for optimization purposes ...
<zack> type variables can be obtained scanning the type IMO
<zack> right?
<karryall> hum, I'm not sure I nuderstand what you mean
<smkl> zack: at least the order is needed
<karryall> which type are you talking about ?
<zack> for example: type declaration type foo = 'a list
<zack> is represented with a name as "foo"
<zack> a list ['a]
<zack> and the type declaration which is
<zack> "list" applied at type variable reference "a"
<zack> s/declaration/definition
<zack> scanning the type definition I can learn that it use a type variable "'a", why I need also the initial list?
<smkl> zack: i already told you
<zack> smkl: sorry, but I didn't understand what you mean with "order"
<smkl> say you have type: type t = K of 'a | B of 'b
<smkl> and then type z = (string, int) t
<smkl> and in a signature, you need the parameters anyway
<zack> ok, having the list is useful, but, having the definition of t, I can check that (string, int) is a valid type application even without the type variable list
<smkl> zack: you cannot know which one is 'a and which one is 'b
<zack> uhm ... why?
<zack> type references are represented as strings ...
<zack> K of 'a is represented as, almost ...
<zack> TyApp (K of (TyQuo "a"))
<zack> I've the name here
<smkl> zack: you cannot know which one of string, int should be 'a
<zack> ok, good point, I understand
<smkl> and besides, in a signature, if you have type foo, and it's defined to be type foo = 'a list, you cannot use foo because it has different kind
<zack> thanks
mrvn has joined #ocaml
mrvn_ has quit [Read error: 60 (Operation timed out)]
zack has quit [Read error: 113 (No route to host)]
systems has joined #ocaml
zack has joined #ocaml
zack is now known as zack|gnam
Segora has joined #ocaml
<Segora> hi
cleverdra has joined #ocaml
systems has quit [Read error: 104 (Connection reset by peer)]
zack|gnam has quit ["Client Exiting"]
TachYon25 has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
karryall has quit [Remote closed the connection]
karryall has joined #ocaml
merriam has joined #ocaml
gl has quit [card.freenode.net irc.freenode.net]
Begbie has quit [card.freenode.net irc.freenode.net]
whee has quit [card.freenode.net irc.freenode.net]
skylan has quit [card.freenode.net irc.freenode.net]
gl has joined #ocaml
skylan has joined #ocaml
Begbie has joined #ocaml
whee has joined #ocaml
Dalroth has joined #ocaml
karryall has quit ["bye .."]
Torquemada has joined #ocaml
Torquemada has quit ["et le grand inquisiteur.. senti battre son coeur"]
Dalroth has quit [card.freenode.net irc.freenode.net]
Begbie has quit [card.freenode.net irc.freenode.net]
whee has quit [card.freenode.net irc.freenode.net]
gl has quit [card.freenode.net irc.freenode.net]
skylan has quit [card.freenode.net irc.freenode.net]
Begbie has joined #ocaml
skylan has joined #ocaml
gl has joined #ocaml
ayrnieu has joined #ocaml
cleverdra has quit [Read error: 110 (Connection timed out)]
Begbie has quit [Killed (NickServ (Ghost: Begbie_!~Begbie@fire.klickit.com))]
Begbie has joined #ocaml
lam has quit [Remote closed the connection]
lam has joined #ocaml
whee has joined #ocaml
nde has joined #ocaml
zack has joined #ocaml
ayrnieu has quit ["Leaving"]
nde has quit ["Client Exiting"]
gl has quit [Read error: 110 (Connection timed out)]
skylan has quit [Read error: 104 (Connection reset by peer)]
skylan has joined #ocaml
zack has left #ocaml []
merriam has quit [card.freenode.net irc.freenode.net]
skylan has quit [card.freenode.net irc.freenode.net]
whee has quit [card.freenode.net irc.freenode.net]
Segora has quit [card.freenode.net irc.freenode.net]
mrvn has quit [card.freenode.net irc.freenode.net]
pnou has quit [card.freenode.net irc.freenode.net]
emu has quit [card.freenode.net irc.freenode.net]
smkl has quit [card.freenode.net irc.freenode.net]
Dybbuk has quit [card.freenode.net irc.freenode.net]
mr_bubbs has quit [card.freenode.net irc.freenode.net]
merriam has joined #ocaml
skylan has joined #ocaml
whee has joined #ocaml
Segora has joined #ocaml
mrvn has joined #ocaml
smkl has joined #ocaml
pnou has joined #ocaml
emu has joined #ocaml
Begbie has quit [Remote closed the connection]
Dybbuk has joined #ocaml
mr_bubbs has joined #ocaml