<Demitar>
dan2, ok, that sounds dangerously much like "I didn't read the manual, so I'll ask on irc instead.". ;-)
<Demitar>
stef, in what direction did you have in mind? And no, I don't know. :)
<stef>
mozilla is the next GUI, so it would be nice to use it from ocaml
<Demitar>
Err?
<Demitar>
Is this a slightly whacked reference to XUL perhaps?
<stef>
Demitar: XUL handle the organization of the GUI, not the behavior of the application
<Demitar>
So... what's with the "mozilla is the next GUI" statement then?
<stef>
in other word, is it possible to use Ocaml in mozilla in place of js?
<Demitar>
I doubt there has been any work in that area, check the humps. (Oh, and I think the whole comparison of mozilla to a GUI sounds a bit deluded, I may be wrong though. :)
<stef>
I am speaking of mozilla the framework, not mozilla the application
<Demitar>
And it still sounds as whacky to me. It's not like there aren't a great number of strong gui libraries out there, a new one won't simply sweep them away.
pango has quit ["Leaving"]
pango has joined #ocaml
shawn_ has joined #ocaml
<dan2>
Demitar: manual has a vague description
<Demitar>
dan2, what is it you're not sure about?
drewr has joined #ocaml
<dan2>
nevermind
<Demitar>
Heh, ok. ;-)
<dan2>
Demitar: heh, wish camlidl could do function pointers
<dan2>
the closures a pita
<Demitar>
There are quite a few things I'd like camlidl to do actually. But from my point of view it kind-of approaches the problem from the wrong end.
<dan2>
Demitar: what do you mean?
<Demitar>
I'd like it to be more automated, splitting functions into modules, renaming functions and enums. And I'd like to be able to automate error checking and limit variant inputs etc.
_shawn has quit [Read error: 60 (Operation timed out)]
CosmicRay has joined #ocaml
CosmicRay_ has joined #ocaml
CosmicRay_ has quit [Read error: 104 (Connection reset by peer)]
gim has quit []
CosmicRay has quit ["Client exiting"]
vezenchio has quit ["\o/ python _o--|_"]
zzorn has quit ["........"]
kuribas has quit ["Leaving"]
CosmicRay has joined #ocaml
m3ga has joined #ocaml
CosmicRay has quit ["Leaving"]
kinners has joined #ocaml
kinners has quit ["leaving"]
Excedrin has quit [Read error: 110 (Connection timed out)]
cryptilox has joined #ocaml
monochrom has quit ["hello"]
m3ga has left #ocaml []
cryptil0x has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
cmeme has quit [Remote closed the connection]
cryptilox has quit [Read error: 60 (Operation timed out)]
cmeme has joined #ocaml
cybercobra has joined #ocaml
ithkuil has joined #ocaml
<ithkuil>
if there is anyone here could you help me understand why this is not working:
<ithkuil>
type classType = NamedClass of namedClass | Nil ;; type namedClass = { name: string; parentClasses : classType list } ;; let thing = { name = "Thing"; parentClasses = [ Nil; ] } ;; let owlThing = NamedClass thing ;;
<ithkuil>
keeps telling me :
<ithkuil>
This expression has type namedClass but is here used with type namedClass
<ithkuil>
darn. brb
<cybercobra>
ithkuil: I'd help but i've only even heard of ocaml tonight
<ithkuil>
well thanks then
<ithkuil>
at least there is someone here
<cybercobra>
crickets - (chirp chirp)
cybercobra has left #ocaml []
<ithkuil>
anyone
<ithkuil>
i think my problem may be that my types are mutually dependent
m3ga has joined #ocaml
<ithkuil>
hello m3ga :)
<ithkuil>
ah i'll buy you a virtual drink if you can help me with my problem
<ithkuil>
type classType = NamedClass of namedClass | Nil ;; type namedClass = { name: string; parentClasses : classType list } ;; let thing = { name = "Thing"; parentClasses = [ Nil; ] } ;; let owlThing = NamedClass thing ;;
<ithkuil>
This expression has type namedClass but is here used with type namedClass
<ithkuil>
the types are mutually dependent
<ithkuil>
is this not possible
zzorn has joined #ocaml
<ithkuil>
er ok
<ithkuil>
hello zzorn
* ithkuil
looks hopefully at zzorn
* ithkuil
decides he must be lagged
ithkuil has quit []
ithkuil has joined #ocaml
<ithkuil>
is it not possible to have mutually dependent types?
<m3ga>
I don't think ocaml can do do mutually dependent types, but then I don't try to push the envelope
<ithkuil>
yaaaa ay i figured it out
<ithkuil>
i just had to put the word "and" between the two type declarations
<m3ga>
ahh, like mutuall recursive functions
<ithkuil>
yeah i should have said mutually recursive types
<zzorn>
hello
srv has quit [Read error: 104 (Connection reset by peer)]
ithkuil has quit []
srv has joined #ocaml
Herrchen has joined #ocaml
Herrchen has quit [Client Quit]
zzorn is now known as zzorn_away
mlh has quit [Client Quit]
cryptil0x has quit ["liberal elitists unite!"]
cryptilox has joined #ocaml
pango has quit ["Client exiting"]
Riastrad1 has joined #ocaml
pango has joined #ocaml
Riastradh has quit [Read error: 110 (Connection timed out)]
vezenchio has joined #ocaml
smimou has joined #ocaml
stef has quit [Nick collision from services.]
stef_ has joined #ocaml
gim has joined #ocaml
CLxyz has quit [No route to host]
mattam has joined #ocaml
smimou has quit ["?"]
skylan_ has joined #ocaml
mlh has joined #ocaml
<vincenz>
yes you can have mutually recursive types
<vincenz>
but you have to define them in one statement
<vincenz>
type a = .... and type b = ...
<vincenz>
or is it type a = .... and b + ...
<vincenz>
s/+/=
skylan has quit [Read error: 113 (No route to host)]
kdka has joined #ocaml
mlh has quit [Client Quit]
drewr has quit ["work"]
Riastrad1 is now known as Riastradh
Naked has joined #ocaml
CosmicRay has joined #ocaml
mflux_ has joined #ocaml
CosmicRay has quit [tolkien.freenode.net irc.freenode.net]
det has quit [tolkien.freenode.net irc.freenode.net]
kdka has quit [tolkien.freenode.net irc.freenode.net]
vezenchio has quit [tolkien.freenode.net irc.freenode.net]
cryptilox has quit [tolkien.freenode.net irc.freenode.net]
zzorn_away has quit [tolkien.freenode.net irc.freenode.net]
cmeme has quit [tolkien.freenode.net irc.freenode.net]
Hanji has quit [tolkien.freenode.net irc.freenode.net]
shammah has quit [tolkien.freenode.net irc.freenode.net]
rifleman_maynard has quit [tolkien.freenode.net irc.freenode.net]
slashvar[TP] has quit [tolkien.freenode.net irc.freenode.net]
oracle1 has quit [tolkien.freenode.net irc.freenode.net]
tewk has quit [tolkien.freenode.net irc.freenode.net]
judge has quit [tolkien.freenode.net irc.freenode.net]
mflux has quit [Broken pipe]
cmeme has joined #ocaml
CosmicRay has joined #ocaml
kdka has joined #ocaml
vezenchio has joined #ocaml
cryptilox has joined #ocaml
zzorn_away has joined #ocaml
Hanji has joined #ocaml
det has joined #ocaml
rifleman_maynard has joined #ocaml
shammah has joined #ocaml
judge has joined #ocaml
oracle1 has joined #ocaml
tewk has joined #ocaml
slashvar[TP] has joined #ocaml
rossberg has quit ["Leaving"]
rossberg has joined #ocaml
shammah has quit [Read error: 60 (Operation timed out)]
shammah has joined #ocaml
drewr has joined #ocaml
kdka has quit []
monochrom has joined #ocaml
Submarine has joined #ocaml
Godeke has quit [tolkien.freenode.net irc.freenode.net]
Godeke has joined #ocaml
Hadaka has quit [Ping timeout: 14400 seconds]
Naked is now known as Hadaka
hueffner has joined #ocaml
karryall has joined #ocaml
smimou has joined #ocaml
zzorn_away is now known as zzorn
monochrom has quit ["hello"]
pango has quit [Nick collision from services.]
pango has joined #ocaml
petchema_ has joined #ocaml
Excedrin has joined #ocaml
hueffner has quit ["Leaving"]
cmeme has quit [Connection timed out]
mrvn_ has joined #ocaml
vezenchio has quit ["\o/ python _o--|_"]
vezenchio has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
zzorn is now known as zzorn_afk
mlh has joined #ocaml
drewr has quit ["home"]
monochrom has joined #ocaml
Submarine has quit ["Leaving"]
CosmicRay has quit ["Client exiting"]
<dobrek>
is anybody here?
<Demitar>
Nope.
<karryall>
hmm
<dobrek>
Demitar: can you perhaps tell me. Why when I want to open a module which is a part of extlib
<dobrek>
I have to write ocaml -I +extlib extLib.cma
<dobrek>
and than open ExtString;; module S = String;;
<dobrek>
why is this extLib.cma necessery.
<mrvn_>
Because that contains the code.
<Demitar>
Since that's where the function is defined.
<dobrek>
but in +extlib/ directory I have extString.cmi shall it not be enough
<dobrek>
Shall he nod need the function just for linking
<monochrom>
the same reason you need -lx11 for X11 programs written in C
<dobrek>
no of course not
<Demitar>
The .cmi defines the interface not the implementation.
<monochrom>
there was a time you needed -lm for C programs just because you use sqrt or sin.
<monochrom>
you would say "but I already have #include <math.h>" yes I hear you.
<dobrek>
But during compilation of I compile ocamlc -c something_using_extString.ml it should be enough to specify -I +extlib ?
<monochrom>
math.h does not contain the code for sqrt or sin. perfect analogy.
<dobrek>
shure I don't know why I had not guess it myself. Trivial,
<dobrek>
thank you.
<monochrom>
if you really hate to specify all the things manually, if you really want the search to be automatic, some ocamlfind is for you.
<Demitar>
dobrek, because of flexibility you don't have to link with every lib in a dir, that makes a lot of sense in many cases. As monochrom said, ocamlfind is the way if you want to specify less.
<dobrek>
monochrom: I have nothing against doing it by hand. I tryied to compile cocanwiki which uses ExtString.String.Invalid_string exception which is in new extlib called ExtString.Invalid_string I havent released it and started playing with ocaml interpreter. Than I released I have to specify this extlib.cma and got finally completely confused. Now I got it.