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.4 required=5.0 tests=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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 566A8BC0A for ; Mon, 29 Jan 2007 22:05:43 +0100 (CET) Received: from outbound1.ucsd.edu (outbound1.ucsd.edu [132.239.1.205]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0TL5mGS032279 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 29 Jan 2007 22:05:50 +0100 Received: from smtp.ucsd.edu (smtp.ucsd.edu [132.239.1.49]) by outbound1.ucsd.edu (8.13.6/8.13.6) with ESMTP id l0TL5dbT072868 for ; Mon, 29 Jan 2007 13:05:39 -0800 (PST) DomainKey-Signature: a=rsa-sha1; s=2007001; d=ucsd.edu; c=simple; q=dns; b=ZaJRL3gzwUk9IASP/5rmIWzNiSs0xnivKV/02sxycFeIcl3KmeQPXruykvqtt0lwZ xoZIkDY6EqfYoROk2yGeQ== Received: from [137.110.169.214] (avrcfs.ucsd.edu [137.110.169.214]) by smtp.ucsd.edu (8.13.6/8.13.4) with ESMTP id l0TL5cQ3022304 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 29 Jan 2007 13:05:39 -0800 (PST) Subject: Equality of functional values From: Simon Frost To: Caml List Content-Type: text/plain Message-Id: <1170104645.4564.304.camel@penguin.local> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.6 Date: Mon, 29 Jan 2007 13:04:05 -0800 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45BE61AC.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 adjunct:98 equality:01 equality:01 workaround:01 exception:01 argument:02 defined:02 caml:02 functional:02 functional:02 seems:03 center:95 fails:05 Dear Caml List, I'm trying to use a software package written in ocaml (IBAL), however, it fails a test due to 'Fatal error: exception Invalid_argument("equal: functional value"). It seems that equality isn't defined for functional values in OCAML (although I'm not an expert), so I'm wondering what the workaround is. This apparently worked fine in ocaml 3.04, but not in later versions. I'm using ocaml 3.08.3, and I get this error message both on Linux (SUSE 9.1 Profession, x86_64) and Windows XP (x86). Any help would be greatly appreciated! I'd rather not have multiple versions of ocaml floating around... Best wishes Simon -- Simon D.W. Frost, D.Phil. Assistant Adjunct Professor of Pathology University of California, San Diego Mailcode 8208 UCSD Antiviral Research Center 150 W. Washington St. San Diego, CA 92103 Tel: +1 619 543 8898 Fax: +1 619 543 5094 Email: sdfrost@ucsd.edu