From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p65I6nea023001
	for <caml-list@sympa-roc.inria.fr>; Tue, 5 Jul 2011 20:06:49 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AosCAKpRE07UGyoFkWdsb2JhbABTmROOdhQBAQEBCQsLBxQDIoh8wjWGNgSXPA+LIw
X-IronPort-AV: E=Sophos;i="4.65,481,1304287200"; 
   d="scan'208";a="112595005"
Received: from smtp5-g21.free.fr ([212.27.42.5])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Jul 2011 20:06:43 +0200
Received: from yeeloong (unknown [82.67.194.89])
	by smtp5-g21.free.fr (Postfix) with SMTP id 45595D48044
	for <caml-list@inria.fr>; Tue,  5 Jul 2011 20:06:36 +0200 (CEST)
Received: by yeeloong (sSMTP sendmail emulation); Tue, 05 Jul 2011 20:06:21 +0200
Date: Tue, 5 Jul 2011 20:06:21 +0200
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20110705180620.GC23789@yeeloong.happyleptic.org>
References: <CAMT7qiTE_z_5xVviNfu95AH3s8HmnOv7JHCLpSGMHZFZyYeDow@mail.gmail.com>
 <4E133C2F.6050202@soton.ac.uk>
 <4E134A89.7070307@inria.fr>
 <CAMT7qiSmi-1Ps2pkFzL-YQ0ik0Vy7HtvJMWbTunvKvcxFy5kmA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAMT7qiSmi-1Ps2pkFzL-YQ0ik0Vy7HtvJMWbTunvKvcxFy5kmA@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] Nested callbacks?

> file freelist.c; line 397 ### Assertion failed: prev < bp || prev == Fl_head

I stumbled upon this one when using threads on a program of mine some
time ago on ARM arch (but not others). Do you run your code on ARM by
any chance?