Yurik has quit [Read error: 104 (Connection reset by peer)]
zack has left #ocaml []
gl has quit [benford.freenode.net irc.freenode.net]
Begbie has quit [benford.freenode.net irc.freenode.net]
emu has quit [benford.freenode.net irc.freenode.net]
smkl has quit [benford.freenode.net irc.freenode.net]
Dybbuk has quit [benford.freenode.net irc.freenode.net]
Begbie has joined #ocaml
emu has joined #ocaml
gl has joined #ocaml
smkl has joined #ocaml
Dybbuk has joined #ocaml
Dybbuk has quit [benford.freenode.net irc.freenode.net]
smkl has quit [benford.freenode.net irc.freenode.net]
gl has quit [benford.freenode.net irc.freenode.net]
emu has quit [benford.freenode.net irc.freenode.net]
Begbie has quit [benford.freenode.net irc.freenode.net]
gl has joined #ocaml
emu has joined #ocaml
Begbie has joined #ocaml
smkl has joined #ocaml
Dybbuk has joined #ocaml
Dybbuk has quit [benford.freenode.net irc.freenode.net]
smkl has quit [benford.freenode.net irc.freenode.net]
Begbie has quit [benford.freenode.net irc.freenode.net]
gl has quit [benford.freenode.net irc.freenode.net]
emu has quit [benford.freenode.net irc.freenode.net]
Dybbuk has joined #ocaml
smkl has joined #ocaml
Begbie has joined #ocaml
emu has joined #ocaml
gl has joined #ocaml
Dybbuk has quit [benford.freenode.net irc.freenode.net]
smkl has quit [benford.freenode.net irc.freenode.net]
emu has quit [benford.freenode.net irc.freenode.net]
Begbie has quit [benford.freenode.net irc.freenode.net]
gl has quit [benford.freenode.net irc.freenode.net]
gl has joined #ocaml
emu has joined #ocaml
Begbie has joined #ocaml
smkl has joined #ocaml
Dybbuk has joined #ocaml
graydon has joined #ocaml
graydon has quit ["xchat exiting.."]
Yurik has joined #ocaml
<Yurik>
re
Yurik has quit [Read error: 104 (Connection reset by peer)]
systems has joined #ocaml
gl has quit [Read error: 54 (Connection reset by peer)]
gl has joined #ocaml
systems has quit ["Client Exiting"]
zack has joined #ocaml
mrvn has joined #ocaml
malc has joined #ocaml
mattam has joined #ocaml
mrvn_ has quit [Read error: 110 (Connection timed out)]
malc has quit ["no reason"]
mattam has quit [Read error: 110 (Connection timed out)]
TachYon25 has joined #ocaml
mattam has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
ayrnieu has joined #ocaml
karryall has joined #ocaml
taw has joined #ocaml
graydon has joined #ocaml
mattam has quit [benford.freenode.net irc.freenode.net]
Begbie has quit [benford.freenode.net irc.freenode.net]
emu has quit [benford.freenode.net irc.freenode.net]
mattam has joined #ocaml
emu has joined #ocaml
Begbie has joined #ocaml
TachYon25 has joined #ocaml
erf3d has joined #ocaml
erf3d has quit [Client Quit]
ayrnieu has quit [Read error: 104 (Connection reset by peer)]
smklsmkl has joined #ocaml
smkl has quit [Remote closed the connection]
cleverdra has joined #ocaml
smklsmkl is now known as smkl
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
TachYon25 has joined #ocaml
Broth8 has joined #ocaml
TachYon25 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
Broth8 has quit ["ChatZilla 0.8.9 [Mozilla rv:1.1/20020826]"]
karryall has quit ["bye .."]
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
gl has quit [Read error: 54 (Connection reset by peer)]
gl has joined #ocaml
TachYon25 has joined #ocaml
zack has left #ocaml []
zack_ has joined #ocaml
zack_ is now known as zack
zack is now known as mg
mg has left #ocaml []
Miwong has joined #ocaml
<Miwong>
hello
<taw>
hello
<taw>
you are from israel ?
<taw>
ocaml is popular there ?
two-face has joined #ocaml
<taw>
hi two-face
<two-face>
hi taw
<Miwong>
taw: don't think so.
cleverdra has quit ["ERC v2.93 $Revision: 1.308 $ (IRC client for Emacs)"]
Yurik has joined #ocaml
<Yurik>
re
<two-face>
hey Yurik!
<taw>
yo
<Yurik>
two-face: hi!
<Yurik>
taw: hi
<two-face>
classes seem to ahve a higher priority over types
Yurik has quit [Read error: 54 (Connection reset by peer)]
<taw>
two-face: what do you mean by "priority" in this context ?
<two-face>
when a type and a class have the same name
<taw>
oh
<taw>
doesn't they clash then ?
<two-face>
no
<taw>
hmm
<two-face>
it is possible
<taw>
sure, but then they should rewrdte id
<two-face>
but when you use that name in a fun, it'll take the class type
<taw>
if you define type twice only last def matters
<two-face>
yes, but a class is not a type here
<taw>
no ?
* taw
never did any really evil oo
<taw>
in ocaml
<two-face>
well yes
<taw>
i must sleep more, my english became terrible
<two-face>
well a class can be used as a type
* taw
is away: taw wa irc ni dewa arimasen | taw ist nicht im irc | taw is not on irc | tawa nie ma
malc has joined #ocaml
<two-face>
hi malc
<malc>
lo two-face
<two-face>
hmm
<two-face>
i'm confused with polymorphic variants
<two-face>
[>`a]
<two-face>
can't understand what is means
<malc>
"must include `a" i guess
<two-face>
so [`b|`a] matches
<two-face>
One parameter has type ([> `application] as 'a) Qt.obj
<two-face>
but is expected to have type Qt.application Qt.obj
<two-face>
Type 'a is not compatible with type Qt.application = [ `application | `obj]
<malc>
ask Jacques
<two-face>
he's not responsive ATM
<Dybbuk>
Does OCaml produce native code for ARM?
<two-face>
Dybbuk: yes
<Dybbuk>
Oooh.
<Dybbuk>
I want to write software for the new ARM Palms with OCaml!
* Dybbuk
just got one.
<Dybbuk>
It kicks ass.
<two-face>
i don't have a palm
<Dybbuk>
You should get one. :)
<two-face>
what for?:)
<Dybbuk>
Fun and profit? :)
<Dybbuk>
They're pretty neat.
<two-face>
so you want me to help 3com make profit?
Yurik has joined #ocaml
<two-face>
Zaurus is nice though
<Yurik>
re
<Dybbuk>
Howdy!
<Yurik>
Dybbuk: hi
Miwong has quit [Remote closed the connection]
<two-face>
bye
two-face has left #ocaml []
malc has quit [Read error: 110 (Connection timed out)]
Yurik has quit [Remote closed the connection]
<whee>
anyone know how to specify the type of a polymorphic variant in a module sig?
<whee>
I have a function for example that returns a polymorphic variant but I don't really want to classify it in some group
Yurik has joined #ocaml
<taw>
yo Yurik
<Yurik>
taw: re
mattam has quit [Read error: 60 (Operation timed out)]
<whee>
Yurik: used polymorphic variants much?
<Yurik>
whee: use them from time to time
<whee>
I'm attempting to figure out what kind of situation to use them in
<Yurik>
well, and where do you want to use 'em?
<taw>
Yurik: when you will be changing the world, remember to use gpl for everything, ok ?
<taw>
Yurik: not qpl as some of freaks in ocaml community
<Yurik>
i usually use [l]gpl...
* Yurik
hates his home pc
<mrvn>
God uses the GPL. Every living thing he made come with its source.
<whee>
well I currently have my program parsing the command line and using a variant to denote what type of action to apply
<mrvn>
:)
<taw>
anyway, something that is gpl-compatible
<Yurik>
whee: i think it's ok to use 'em there
<whee>
and I want to be able to modify this and add new actions by simply adding it to the parsing part, and not having to modify the type of something
<whee>
I mean I just want to throw around these variants without having them grouped in some concrete type so that it's easier to add things
<Yurik>
in this case you'll need to have this compound type equivalent everywhere
<whee>
hmm?
<mrvn>
Isn't there a getopt module for ocaml already?
<Yurik>
Arg?
<whee>
yeah, I use Arg
<Yurik>
can you show the code how you're trying to use polymorphic variants?
<whee>
mrvn: depending on the command line options, I set a reference to some variant which gets matched later to determine what function the user wants to apply
* Yurik
thinks to throw his home pc out of the window