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=0.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 75EDEBC6B for ; Thu, 28 Jun 2007 16:49:07 +0200 (CEST) Received: from rabbit.math.nagoya-u.ac.jp (rabbit.math.nagoya-u.ac.jp [133.6.130.5]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5SEn5dN026644 for ; Thu, 28 Jun 2007 16:49:06 +0200 Received: from localhost (rabbit-172 [172.16.254.254]) by rabbit.math.nagoya-u.ac.jp (8.12.11/3.7W) with ESMTP id l5SEmXbB025074; Thu, 28 Jun 2007 23:48:35 +0900 (JST) Date: Thu, 28 Jun 2007 23:48:38 +0900 (JST) Message-Id: <20070628.234838.71132803.garrigue@math.nagoya-u.ac.jp> To: jeremy.yallop@ed.ac.uk Cc: caml-list@inria.fr Subject: Re: [Caml-list] virtual instance variables From: Jacques Garrigue In-Reply-To: <4683B8DC.3020700@ed.ac.uk> References: <4683B8DC.3020700@ed.ac.uk> X-Mailer: Mew version 5.1 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 4683CA61.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bug:01 val:01 bug:01 caml-list:01 unsafe:01 variables:02 garrigue:03 garrigue:03 segmentation:03 segmentation:03 jacques:03 jacques:03 float:03 nagoya-u:04 fault:04 From: Jeremy Yallop > Should this be considered a bug? > > # (object val virtual c : float method m = c end) # m;; > Segmentation fault Any segmentation fault using no unsafe features is clearly a bug, and should go in the bug database. Should be fixed soon. Jacques Garrigue