From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id B16B8BBCA for ; Thu, 28 Feb 2008 20:20:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAP2XxkfAXQInh2dsb2JhbACCOjSOAwEBAQgKKZU+h1A X-IronPort-AV: E=Sophos;i="4.25,421,1199660400"; d="scan'208";a="8735596" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 28 Feb 2008 20:20:58 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m1SJKvNY009698 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 28 Feb 2008 20:20:58 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKeYxkfRVca6mGdsb2JhbACCOjSOAwEBAQEBBgQEExiVRIdQ X-IronPort-AV: E=Sophos;i="4.25,421,1199660400"; d="scan'208";a="9719783" Received: from rv-out-0910.google.com ([209.85.198.186]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Feb 2008 20:20:55 +0100 Received: by rv-out-0910.google.com with SMTP id g11so2118030rvb.57 for ; Thu, 28 Feb 2008 11:20:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; bh=6TEYGtT9Ota2JFh9af0P95D6FuiSfWjEwek/Zf1Oulk=; b=SxYCcMgdVIlC2QirUKzFuWfYZ6XzTVw6t6g16DvS4J0mcYZUPQffeRKwEqE6wsj431kdt/qmWeD/6CYFkdxOF1oddj6l6z0oU6h1e38QiUe2z7ani2/CaETbLlC5ZKVNc1NG4rPhSWPJMkeU91pCdWjRuR8mxy5pcMsthdfd9aI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=kBHWuE4ExW4rDR8eu1RnwWa9wFVUliyB/uTSuge0VEFt0L3ywtW5e11NwLla8Bw3+FnEa/jtlecU9DJxX9eo1cImSIWg65SkDsEN6XQ0Em1qHbzCyu8K1ruCwBxXvDZVrqy8q7+MOdq4BoUft/981J8Fy9Z5HVdrLzLhWztIR0o= Received: by 10.141.210.21 with SMTP id m21mr5806994rvq.33.1204226453259; Thu, 28 Feb 2008 11:20:53 -0800 (PST) Received: by 10.70.109.18 with HTTP; Thu, 28 Feb 2008 11:20:53 -0800 (PST) Message-ID: Date: Thu, 28 Feb 2008 11:20:53 -0800 From: "Jake Donham" Sender: jake.donham@gmail.com To: "caml users" Subject: Re: [Caml-list] Safe Obj.magic container ? In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_5211_19401556.1204226453230" References: <1204103370.7718.18.camel@Blefuscu> <20080227094329.GC13254@yquem.inria.fr> <37B36607-9F22-4537-B4DB-1E04348E2B90@inria.fr> X-Google-Sender-Auth: 3a5b06beac3dc34b X-Miltered: at concorde with ID 47C70999.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; damien:01 damien:01 val:01 abstr:01 val:01 abstr:01 28,:98 1.0:98 28,:98 1.0:98 doligez:01 doligez:01 wrote:01 wrote:01 caml-list:01 ------=_Part_5211_19401556.1204226453230 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline On Thu, Feb 28, 2008 at 6:23 AM, Damien Doligez wrote: > Example (on a 32-bit machine): > > Objective Caml version 3.10.2+rc1 > > # let x = Obj.repr 1;; > val x : Obj.t = > # let y = Obj.repr 1.0;; > val y : Obj.t = > # [| x; y |];; > - : Obj.t array = [|; |] > # [| y; x |];; > Bus error Could you please explain this behavior? Jake ------=_Part_5211_19401556.1204226453230 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline On Thu, Feb 28, 2008 at 6:23 AM, Damien Doligez <damien.doligez@inria.fr> wrote:
Example (on a 32-bit machine):

       Objective Caml version 3.10.2+rc1

# let x = Obj.repr 1;;
val x : Obj.t = <abstr>
# let y = Obj.repr 1.0;;
val y : Obj.t = <abstr>
# [| x; y |];;
- : Obj.t array = [|<abstr>; <abstr>|]
# [| y; x |];;
Bus error

Could you please explain this behavior?

Jake

------=_Part_5211_19401556.1204226453230--