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]