mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
mordaunt has joined #ocaml
threeve has joined #ocaml
threeve has left #ocaml []
smimou has quit ["bli"]
seafoodX has joined #ocaml
seafoodX has quit []
Smerdyakov has quit ["Leaving"]
cmeme has quit [Excess Flood]
cmeme has joined #ocaml
seafoodX has joined #ocaml
schme`` has joined #ocaml
seafoodX has quit []
seafoodX has joined #ocaml
<seafoodX> Okay guys, I've got a problem. I'm getting a stack overflow. Now I've set OCAMLRUNPARAM=b so that I can see a stack trace but I'm getting the following error.
<seafoodX> Fatal error: exception Stack_overflow
<seafoodX> Raised by primitive operation at unknown location
<seafoodX> Called from file "pervasives.ml", line 203, characters 22-31
<seafoodX> The last line is repeated many many times.
<seafoodX> Now, line 203 in pervasives.ml is append (@)
<seafoodX> But I use that all the time.
<seafoodX> How do I have any hope of finding where the problem is?
<tsuyoshi> seafoodX: I would recommend just using the append from extlib
<tsuyoshi> it's tail-recursive, unlike the append in the ocaml standard library
schme` has quit [Success]
ulfdoz has quit [Read error: 60 (Operation timed out)]
piggybox has joined #ocaml
[azoic] has joined #ocaml
psnively has joined #ocaml
jlouis has joined #ocaml
jlouis_ has quit [Connection timed out]
psnively has quit [kornbluth.freenode.net irc.freenode.net]
TaXules has quit [kornbluth.freenode.net irc.freenode.net]
eck has quit [kornbluth.freenode.net irc.freenode.net]
joshcryer has quit [kornbluth.freenode.net irc.freenode.net]
bebui has quit [kornbluth.freenode.net irc.freenode.net]
eroyf has quit [kornbluth.freenode.net irc.freenode.net]
haelix has quit [kornbluth.freenode.net irc.freenode.net]
psnively has joined #ocaml
joshcryer has joined #ocaml
eck has joined #ocaml
haelix has joined #ocaml
bebui has joined #ocaml
eroyf has joined #ocaml
TaXules has joined #ocaml
crabstick has quit []
screwt8 has quit [Remote closed the connection]
Abo-Marwan has quit [Remote closed the connection]
Abo-Marwan47 has joined #ocaml
screwt846 has joined #ocaml
mordaunt has quit [Remote closed the connection]
<seafoodX> tsuyoshi: Thanks for telling me about the existence of this library.
psnively has quit []
piggybox_ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
ramki has joined #ocaml
piggybox has quit [Connection timed out]
ulfdoz has joined #ocaml
Mr_Awesome has joined #ocaml
<pango> seafoodX: or let ( @ ) l1 l2 = List.rev_append (List.rev l1) l2
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
<pango> Both are O(n) (vs. l1's length) so while they may not blow the stack, they may not solve complexity/efficiency issues with using @ on large lists
seafoodX has quit [Read error: 110 (Connection timed out)]
[azoic] has quit [Read error: 104 (Connection reset by peer)]
Tetsuo has joined #ocaml
hagman has joined #ocaml
hagman has quit [Client Quit]
love-pingoo has joined #ocaml
EliasAmaral has quit [Remote closed the connection]
pierpa has joined #ocaml
kelaouchi has joined #ocaml
olegfink has quit [Read error: 104 (Connection reset by peer)]
olegfink has joined #ocaml
Tetsuo has quit ["Leaving"]
Demitar has joined #ocaml
ramki has quit ["Leaving"]
hnaz has joined #ocaml
Demitar has quit [Remote closed the connection]
jlouis_ has joined #ocaml
Abo-Marwan47 has quit [Remote closed the connection]
screwt846 has quit [Remote closed the connection]
jlouis has quit [Connection timed out]
lde` has joined #ocaml
Smerdyakov has joined #ocaml
lde has quit [Connection timed out]
lde` has quit ["ERC Version 5.2 (IRC client for Emacs)"]
lde has joined #ocaml
jlouis has joined #ocaml
magius_pendragon has joined #ocaml
<magius_pendragon> at the risk of starting a flame war, i'm curious about the community option of vi vs emacs for ocaml codding. I know some other pl communitites are heavy one way or another, so I was curious if htere's a bias because of editor features or if its a relativly even split.
<flux> I use (x)emacs, but I used it before ocaml already. its tuareg mode is terrific, though (especially the determine-type-of-an-expression-feature)
<fremo> emacs, as usual...
<fremo> flux: what is this determine-type-of-an-expression-feature ?
<flux> if you compile with -dtypes, you can point your cursor over an expression and press C-c-C-t and it gives out the type of the expression
* fremo is trying :)
<magius_pendragon> *laughs* now look what i've done :p
<fremo> Is it old (I have Tuareg Version 1.46.0rc4)
<fremo> it doesn't do anything, I put the cursor on an expression C-c C-t and nothing, what's the name of the function ?
<flux> you actually need to have the original caml mode around also
<flux> the functionality is in file caml-type
<flux> which tuareg will load if it finds it
jlouis_ has quit [Connection timed out]
<flux> the function is caml-types-show-type
<flux> the file might be called caml-types.el also..
<fremo> ok, thanks :)
<fremo> neat !
<fremo> heh, it comes with little annot files...
<magius_pendragon> flux: out of curiosity, does it do anything nifty with .mly or .mll files as well?
<flux> magius_pendragon, well, it's compiler generated data, and those files are eventually compiled too, I think the feature works just fine with them also
<flux> I _think_ I've even used it so
<flux> but it doesn't generate any mly-specific information
<magius_pendragon> i wasn't referring specifically to the show-type feature, just tuareg mode in general
<flux> I think it does standard indentation with those
<flux> but it's been some time since I've last written those files, so I don't recall for sure
rindolf has joined #ocaml
<rindolf> Hi all! Can anyone help with http://sial.org/pbot/27637 ?
<flux> rindolf, btw, it might be a good idea to give some ocaml-related comment with such a link, my first reaction was "a spammer" ;)
<flux> but no, I don't know why you have trouble compiling coq (<-like that!)
schme`` is now known as schme
<rindolf> flux: OK, thanks anyway.
ita has joined #ocaml
piggybox_ has quit [Success]
bluestorm has joined #ocaml
piggybox_ has joined #ocaml
CRathman has joined #ocaml
Mr_Awesome has joined #ocaml
pango has quit [Remote closed the connection]
Tetsuo has joined #ocaml
pango has joined #ocaml
<jonathanv> i use vim
* ita uses vim too
[azoic] has joined #ocaml
screwt846 has joined #ocaml
Abo-Marwan47 has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
psnively has joined #ocaml
Cygaal has joined #ocaml
bluestorm has quit [Remote closed the connection]
liber has joined #ocaml
[azoic] has quit ["Leaving."]
love-pingoo has quit ["Connection reset by pear"]
Tetsuo has quit ["Leaving"]
<rindolf> How do I load a module in O'Caml
<rindolf> ?
<psnively> open module
<rindolf> psnively: thanks.
<psnively> Sure!
<rwmjones> rindolf, that's not how you _load_ the module though
<psnively> Oh, good point.
<rwmjones> you link to the module (eg. *.cma file) when linking
<rwmjones> then the module is available, whether or not you 'open' it
<rwmjones> but I'll admit the question is ambiguous
<psnively> So you might have to say #load foo.cma;;
<rindolf> rwmjones: that's OK - it was a different problem.
slipstream-- has joined #ocaml
bluestorm has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
l_a_m has quit [Remote closed the connection]
ygrek has joined #ocaml
liber has quit ["WeeChat 0.2.1"]
jlouis_ has joined #ocaml
jlouis has quit [Connection timed out]
olegfink has quit [Read error: 110 (Connection timed out)]
pierpa has quit [Read error: 104 (Connection reset by peer)]
slipstream-- has left #ocaml []
ita has quit [Read error: 110 (Connection timed out)]
ygrek has quit [Remote closed the connection]
bluestorm has quit ["Konversation terminated!"]
Cygaaal has joined #ocaml
Cygaal has quit [Read error: 104 (Connection reset by peer)]
liber has joined #ocaml
psnively has quit []
Mr_Awesome has joined #ocaml
liber has quit ["inte emacs. Weechat ska det vara"]
rindolf has quit ["Yay! I'm a Llama again!"]
j0j0j0j0 has joined #ocaml
essiene has joined #ocaml
<essiene> hiya folks... new to ocaml... having fun... strangely i've not hit any blocks yet... :)
<essiene> what i'm looking for though is a list of exercises i can be trying my hand at... to be sure i understand what i'm reading...
<essiene> any well known or not-so-well-known list(s) of such? :)
<essiene> thnx
<pango> mmmh ocaml-tutorial has some exercices... http://www.ocaml-tutorial.org/#Exercises
<essiene> o schweet!
<pango> "developing applications with objective caml" has exercises at the end of each chapter http://caml.inria.fr/pub/docs/oreilly-book/html/index.html
<essiene> thnx pango
<pango> np
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.7/2007091417]"]
j0j0j0j0 has quit ["Leaving."]
piggybox_ has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has quit ["aunt jemima is the devil!"]
jlouis has joined #ocaml
Cygaaal has quit [Read error: 110 (Connection timed out)]
jlouis_ has quit [Connection timed out]
lde has quit [Remote closed the connection]
lde has joined #ocaml
piggybox has joined #ocaml
PaulButler has joined #ocaml
xavierbot has joined #ocaml
<PaulButler> I get the error "./renderset: /lib32/libc.so.6: version `GLIBC_2.4' not found" when running a locally compiled program on a remote machine, is there an easy way around this?
<rwmjones> what does ldd ./renderset say?
<rwmjones> & file renderset
<rwmjones> & uname -a
<PaulButler> I'm connecting to the remote machine to get the uname -a for it as well
<PaulButler> Linux taurine 2.6.22-2-vserver-amd64 #1 SMP Fri Aug 31 00:21:18 UTC 2007 x86_64 GNU/Linux
<PaulButler> just noticed it is 64 bit, will that be a problem for an ocaml-compiled program?
<rwmjones> the remote machine is 64 bits, so it'll need compatibility libraries to run 32 bit dynamically linked binaries
<rwmjones> it's a problem for any binary
<rwmjones> for any dynamically linked binary anyway
<rwmjones> what OS is the remote machine running?
<PaulButler> i'm actually not sure, and I forget the command to find out
<rwmjones> cat /etc/motd
<PaulButler> it's been edited by the sysadmin
<rwmjones> I've gotta go, but you need to get the admin to install 32 bit compatibility glibc for you
* rwmjones gone
essiene has quit ["leaving"]