From: Ivan Gotovchits <ivg@ieee.org>
To: caml-list@inria.fr
Subject: [Caml-list] Core breaks backtraces
Date: Wed, 18 Dec 2013 10:17:01 +0400 [thread overview]
Message-ID: <874n661y5e.fsf@golf.niidar.ru> (raw)
Hi,
I've tried a fabulous core library and it broke my exceptions :)
All backtraces are now look like this
backtrace:
Raised at file "map.ml", line 117, characters 16-25
Called from file "lib/conv.ml", line 256, characters 19-50
Next, if I enable backtrace recording with OCAMLRUNPARAM environment
variable and compile a .d.byte version of my application than on an
exception occurrence core eats all my memory thus killing my machine.
Any clues, what happens?
P.S. removing Core.Std from project fixes all issues.
P.P.S. My application is rather large and uses lots of processes and
lwt, moreover it enables lwt backtracing via ocamlbuild plugin.
P.P.P.S . By using core I mean just opening Core.Std in a an empty
module, this is enough to broke my system.
next reply other threads:[~2013-12-18 6:17 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-12-18 6:17 Ivan Gotovchits [this message]
2013-12-18 11:44 ` Mark Shinwell
2013-12-18 12:01 ` Yaron Minsky
2013-12-19 4:00 ` Ivan Gotovchits
2013-12-19 9:07 ` Jeremie Dimino
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=874n661y5e.fsf@golf.niidar.ru \
--to=ivg@ieee.org \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox