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
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
<mrvn> better open it first
<Yurik> whee: ah, I saw it on freshmeat today (in mails from it)
<Yurik> :)
<whee> check main.ml and user.ml/mli, sorting_method and sort_by are the things I'm referring to
<whee> I really don't like how I do the structure, I think it's redundant
* Yurik wanna brand new pc... arrgggh
<whee> need to clean this code up a bit too heh
<Yurik> well, it seems that it is no real advantage of polymorphic or usual variants. IMHO, no matter which of 'em you use in such case
<whee> hrmf
<whee> I need to find a good example of when to use polymorphic variants heh
Yurik_ has joined #ocaml
jao has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
taw has left #ocaml []