adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
tac has joined #ocaml
cdidd has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
ulfdoz_ has joined #ocaml
Playground has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
ulfdoz_ is now known as ulfdoz
jamii has quit [Ping timeout: 256 seconds]
Simn has quit []
eikke has quit [Ping timeout: 256 seconds]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
dwmw2 is now known as dwmw2_gone
paolooo has quit [Ping timeout: 245 seconds]
adotbrown has quit [Ping timeout: 276 seconds]
Playground has quit [Read error: Connection reset by peer]
adotbrown has joined #ocaml
paolooo has joined #ocaml
mcsquiggedy has quit [Quit: Leaving]
weie has joined #ocaml
tac has quit [Quit: Page closed]
paolooo has quit [Quit: Page closed]
adotbrown has quit [Ping timeout: 252 seconds]
weie has quit [Quit: Leaving...]
Yoric has joined #ocaml
weie has joined #ocaml
ttamttam has joined #ocaml
cyball has joined #ocaml
<cyball> hi ... I have a problem with ocaml modules .. I've created one but i can not call any of the module functions how can I do that?
adrien_oww has joined #ocaml
adotbrown has joined #ocaml
<flux> cyball, most likely you are missing the fact that foo.ml introduces module Foo
<flux> cyball, that is, if you have module Foo = struct let bar () = () end inside foo.ml, from another module you would call it Foo.Foo.bar ()
<flux> if not, perhaps you are miscompiling it
Kakadu has joined #ocaml
<cyball> flux, which parameter does ocamlc need to load the module file ?
<cyball> flux, is it enough to give it as file ?
<cyball> flux, like ocamlc -o bar foo.ml mudule.ml ..
<cyball> flux, if i have understood you right ... if i create a file foo.ml and put simply a function inside then i can use Foo.Bar
<Kakadu> cyball: if you have function f in file foo.ml than you should call it like `Foo.f`
Snark has joined #ocaml
djcoin has joined #ocaml
gour has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
peoppenheimer has joined #ocaml
ftrvxmtrx_ has joined #ocaml
hkBst has quit [Ping timeout: 246 seconds]
hkBst has joined #ocaml
mika1 has joined #ocaml
hkBst has quit [Ping timeout: 244 seconds]
peoppenheimer_ has joined #ocaml
hkBst has joined #ocaml
peoppenheimer has quit [Ping timeout: 252 seconds]
peoppenheimer_ is now known as peoppenheimer
adotbrown has quit [Ping timeout: 252 seconds]
fusillia has joined #ocaml
myx has joined #ocaml
ontologiae has joined #ocaml
Hydraze has quit [Ping timeout: 252 seconds]
adotbrown has joined #ocaml
sgnb has quit [Ping timeout: 248 seconds]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
Hydraze has joined #ocaml
<flux> cyball, you need to list the modules you depend on before your main function, but maybe you're doing that
<flux> cyball, this works: foo.ml has: let a () = () bar.ml has: let main () = Foo.a () let _ = main () ocamlc -o baz foo.ml bar.ml
adotbrown has quit [Ping timeout: 255 seconds]
<cyball> flux, thx it works now
<cyball> :-)
<flux> cyball, great :)
adotbrown has joined #ocaml
adotbrown has quit [Ping timeout: 240 seconds]
<pippijn> I prefer let () = main ()
RagingDave has joined #ocaml
eikke has joined #ocaml
ocp has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
chambart has joined #ocaml
sgnb has joined #ocaml
adotbrown has joined #ocaml
wmeyer` has joined #ocaml
wmeyer has quit [Ping timeout: 248 seconds]
_andre has joined #ocaml
wmeyer` has quit [Read error: Connection reset by peer]
wmeyer` has joined #ocaml
thomasga has joined #ocaml
Yoric has joined #ocaml
beginner42245 has joined #ocaml
adotbrown has quit [Ping timeout: 244 seconds]
<beginner42245> is it possible to compile files which use each other recursivly?
<adrien_oww> no
<adrien_oww> break the recursion; typically by introducing a separate file which contain the recursive knot ("types.ml" for instance)
RagingDave has quit [Quit: Ex-Chat]
mcclurmc has joined #ocaml
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
<beginner42245> adrien: how is your webkit project?
<beginner42245> adrien: to be more precisely, did you include dom?
gour has quit [Disconnected by services]
gour_ has joined #ocaml
<beginner42245> adrien oww: thanks
<adrien_oww> beginner42245: I've been a bit busy and getting ocaml to cross-compile has taken my free time so I haven't changed much on lablwebkit
<adrien_oww> I've taken a look and
<adrien_oww> I had an issue because of an issue in the webkit-gtk headers
<pippijn> what's this "labl" about?
<adrien_oww> it's fixed in the latest version of webkit-gtk but of course it requires a newer version of glib which I don't have
<adrien_oww> I'll probably do another try after fixing the headers by hand
<adrien_oww> pippijn: it goes along lablgtk
<pippijn> what does labl mean?
<pippijn> someone started a lablqt, too
<adrien_oww> label
<pippijn> why label?
<adrien_oww> because
gour_ is now known as gour
<pippijn> ok
<adrien_oww> let w = GWindow.window ~show:false ~width:240 ~height:70 ~title:"foo" ()
<pippijn> in my head, I pronounce it labbel
<adrien_oww> it makes extensive use of labelled arguments
<ousado> heh
<pippijn> makes sense
hkBst has quit [Ping timeout: 272 seconds]
eikke has quit [Ping timeout: 248 seconds]
mk270_ is now known as mk270
sad0ur_ has quit [Read error: Connection reset by peer]
sad0ur has joined #ocaml
adbrown has quit [Quit: leaving]
sad0ur has quit [Read error: No route to host]
wmeyer`` has joined #ocaml
wmeyer` has quit [Ping timeout: 246 seconds]
sad0ur has joined #ocaml
cdidd has quit [Quit: Leaving]
ttamttam has quit [Quit: ttamttam]
cdidd has joined #ocaml
leoncamel has joined #ocaml
cdidd has quit [Remote host closed the connection]
<beginner42245> adrien_oww: thanks for your efforts
eikke has joined #ocaml
hkBst has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
<adrien_oww> :-)
cdidd has joined #ocaml
djcoin_ has joined #ocaml
djcoin has quit [Ping timeout: 272 seconds]
djcoin_ has quit [Ping timeout: 246 seconds]
xavierm02 has joined #ocaml
tane has joined #ocaml
djcoin_ has joined #ocaml
kevin_ has joined #ocaml
xavierm02 has quit [Ping timeout: 252 seconds]
jamii has joined #ocaml
Yoric has joined #ocaml
RagingDave has joined #ocaml
hkBst_ has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
xavierm02 has joined #ocaml
beginner42245 has quit [Quit: irc2go]
q66 has joined #ocaml
kevin_ has quit [Quit: Page closed]
Hydraze has quit [Ping timeout: 248 seconds]
dwmw2_gone is now known as dwmw2
beginner42 has joined #ocaml
dwmw2 is now known as dwmw2_gone
<beginner42> can the exception Not_found be assigned to the optparse module?
<beginner42> i am doing some error finding, and am kinda lost
<Kakadu> have u backtraces enabled?
<beginner42> Kakadu: no, actually never heard of that
<Kakadu> Printexc.record_backtrace true
<Kakadu> but program will be slow
<Kakadu> also it seems that there is environment variable about it
<beginner42> speed is actually no problem, because right now the program does not work at all
<Kakadu> beginner42: I have seen it in Lexify blog about static exceptions
<beginner42> but where do i put this command
<Kakadu> in .ml file
<beginner42> i have quite a lot of ml files
<Kakadu> try in main
tane has quit [Ping timeout: 260 seconds]
<beginner42> Kakadu: i added Printexc.record_backtrace true; in the first line after let _ = in the main.ml
<beginner42> Kakadu: but when i invoke the program with ./program --version i get a Not_found exception
<Kakadu> heh, I have not said all information
<Kakadu> Printexc.to_string
<beginner42> Kakadu: but i do not know where this exception is thrown, so what parameter do i give the to_string function?
<Kakadu> try main () with exc -> Printexc.to_string exc
<beginner42> Kakadu: now i get an error that the line exc -> ... has type string but int was expected
fusillia has quit [Ping timeout: 260 seconds]
<Kakadu> omg
<Kakadu> look at to_string function type
<beginner42> that bad...
<Kakadu> You can guess tourself what to do next
<Kakadu> yourself*
mehdid has quit [*.net *.split]
mehdid has joined #ocaml
<beginner42> Kakadu: fixed my mistake. But calling my program still does not give me additional information?
<Kakadu> print what to_string has returned
<beginner42> Kakadu: still the only output: Fatal error: exception Not_found
<Kakadu> it should be
<beginner42> Kakadu: i hoped the backtrace would be more
<Kakadu> do You compile with -g?
<flux> also, export OCAMLRUNPARAM=b
<beginner42> Kakadu: one second, i have to check to OCamlMakefile
<Kakadu> Printexc.print_backtrace stdout;
<beginner42> this line comes into the with line?
<Kakadu> wut?
<flux> beginner42, with OCAmlMakefile you have separate targets for compiling with -g
<flux> maybe someting like make dbc
<flux> but maybe not :)
<flux> (debug-byte-code)
Kakadu has quit []
<beginner42> flux: thanks you and Kakadu. have to go more through the code
hto has quit [Read error: Connection reset by peer]
beginner42 has quit [Quit: irc2go]
hto has joined #ocaml
justdit has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
ftrvxmtrx_ has quit [Quit: Leaving]
hkBst_ has quit [Quit: Konversation terminated!]
rossberg has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 272 seconds]
tac-tics has joined #ocaml
fasta has quit [Remote host closed the connection]
fasta has joined #ocaml
xavierm02 has quit [Ping timeout: 272 seconds]
xavierm02 has joined #ocaml
pango_ has joined #ocaml
pango has quit [Ping timeout: 245 seconds]
adrien_oww has quit [Ping timeout: 276 seconds]
adrien_oww has joined #ocaml
notk0 has joined #ocaml
<notk0> hello
<notk0> I remember reading about an ocaml emacs mode that is somewhat of a successor of tuareg, but I can't seem to find its name, any help?
notk0 has quit [Remote host closed the connection]
<thizanne> noj: probably typerex
justdit has quit [Ping timeout: 255 seconds]
jbrown has quit [Remote host closed the connection]
Playground has joined #ocaml
Playground has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
justdit has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
thomm4 has left #ocaml []
tac-tics has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
ftrvxmtrx has quit [Ping timeout: 272 seconds]
Reventlov has joined #ocaml
Kakadu has joined #ocaml
djcoin_ has quit [Quit: WeeChat 0.3.9.2]
justdit has quit [Ping timeout: 245 seconds]
ftrvxmtrx has joined #ocaml
Playground has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
cdidd has quit [Read error: Connection reset by peer]
mcsquiggedy has joined #ocaml
Anarchos has joined #ocaml
tac-tics has joined #ocaml
tane has joined #ocaml
Playground has quit [Ping timeout: 246 seconds]
ericfr has joined #ocaml
_andre has quit [Quit: leaving]
ericfr has quit [Remote host closed the connection]
mika1 has quit [Quit: Leaving.]
Yoric has joined #ocaml
emmanuelux has joined #ocaml
<xavierm02> If have a question about sets
<xavierm02> why is it when you add an element you get a "copy" of the set returned?
<xavierm02> I mean, the original doesn't seem to be modified
<Kakadu> purely functional set
<xavierm02> so do they actually copy everything?
<adrien> indeed: it's doesn't
<adrien> no
<adrien> most of the data structure is untouched so most of it is shared
<xavierm02> then what ninja technique do they use >_<
<xavierm02> I just don't understand how they do it >_<
<Kakadu> I think they copy themselves partly
<Kakadu> i.e. If you add element to the left subtree you can reused right subtree
<Kakadu> reuse*
<xavierm02> but isn't that much less efficient than "normal" sets?
<xavierm02> they probably aren't because I haven't seen a "normal" set implementation
<xavierm02> so it must be fast enough
<adrien> sharing is done by the runtime; nothing to do and it's very efficient
<tac-tics> xavierm02: If your goals are speed, an in-place, destructive version is better.
<adrien> not necessarily
<tac-tics> This implementation, though, is referentially transparent, which is good for reasoning about and parallelism.
<adrien> you get better benchmarks with destructive updates mostly
<xavierm02> are there destructive implementation somewhere?
<adrien> use an hashtable
<adrien> but you definitely don't get the same properties
<xavierm02> hm
Cyanure has joined #ocaml
<xavierm02> I'll just stick with them for some time and change it if they become a bottleneck
<xavierm02> strange though that batteries has no destructive set implementation
<xavierm02> ty anyway :)
<adrien> destructive updates have a cost in ocaml
<xavierm02> because of the garbage collector?
<adrien> not sure about the details
<adrien> I'd say "no-ish"
eikke has quit [Ping timeout: 252 seconds]
cyball has quit [Excess Flood]
cyball has joined #ocaml
<orbitz> it hasalways been told to me taht the lanuguage impl is optimizedfor lots of allocations
<orbitz> always that famous story about Don Syme running down to .net Vm guys telling him allocations were too slow and them baffled how a language could allocate so much
<adrien> not really "lots of allocations"
<adrien> rather: "lots of short and short-lived allocations"
<orbitz> yeah
mcsquiggedy has quit [Ping timeout: 252 seconds]
eikke has joined #ocaml
Playground has joined #ocaml
osa1 has joined #ocaml
<osa1> do we have a type like Haskell's either in standard lib ?
<orbitz> no
<Anarchos> orbitz i can't understand what you said about don syme, have you a link to an article ?
<orbitz> Core has Result.t
<orbitz> Anarchos: no, it's an apocryphal story
<orbitz> Anarchos: like the guy who added O to ocaml not ever using it
<orbitz> Anarchos: basically when they first tried to get F# going the VM was n't designed for allocation patterns of F# and the .net VM engieers didn't get why a language would have such wonky allocation
Submarine__ has joined #ocaml
Snark has quit [Quit: Quitte]
eikke has quit [Ping timeout: 248 seconds]
gour has quit [Quit: WeeChat 0.3.8]
weie has quit [Quit: Leaving...]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
Kakadu has quit []
Anarchos has quit [Read error: Connection reset by peer]
eikke has joined #ocaml
Anarchos has joined #ocaml
RagingDave has quit [Quit: Ex-Chat]
preyalone has joined #ocaml
RagingDave has joined #ocaml
<preyalone> I'm looking for an ML I can use to write all my mobile apps in. How well does OCaml support Android, iOS, and/or Windows RT?
<Anarchos> preyalone ??
<Anarchos> preyalone do you ask a C compiler to support android, or android to have a good C runtime ??
<preyalone> Anarchos: I'm asking how well OCaml supports writing Android apps, iOS apps, and Windows RT apps.
<Anarchos> i just answer you : you take the wrong side of the question :)
<Qrntz> there were patches to the OCaml compiler for it to produce code for Apple devices IIRC
<Qrntz> ah, yes
pango_ is now known as pango
<preyalone> Thanks.
<preyalone> What about Android and Windows RT?
fraggle_ has quit [Read error: Connection reset by peer]
<adrien> I don't think ocaml can run on windows rt
<adrien> basically, no non-microsoft runtime can run on windows rt
<adrien> android, it works; don't know more details
mcsquiggedy has joined #ocaml
fraggle_ has joined #ocaml
Submarine__ has quit [Ping timeout: 260 seconds]
preyalone has left #ocaml []
Cyanure has quit [Remote host closed the connection]
Playground is now known as lolcathost
mcsquiggedy has quit [Ping timeout: 256 seconds]
xavierm02 has quit [Quit: Leaving]
chambart has quit [Ping timeout: 260 seconds]
matthewt is now known as yuri_voltmee
Yoric has quit [Ping timeout: 246 seconds]
Anarchos has quit [Ping timeout: 245 seconds]
yuri_voltmee is now known as matthewt
Anarchos has joined #ocaml
tani has joined #ocaml
tane has quit [Ping timeout: 260 seconds]
ocp has quit [Quit: Leaving.]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
jbrown has joined #ocaml
lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
yroeht has quit [Ping timeout: 272 seconds]
oriba has joined #ocaml
wagle has quit [Read error: Connection reset by peer]
wagle has joined #ocaml
tac-tics has quit [Ping timeout: 245 seconds]
RagingDave has quit [Quit: Ex-Chat]
fusillia has joined #ocaml
q66 has quit [Quit: Quit]
fusillia has quit [Remote host closed the connection]
tac has joined #ocaml