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.1 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 0EB31BC69 for ; Mon, 19 Nov 2007 22:35:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK6OQUdbeRvhnmdsb2JhbACPFQEBAQEHBAYpgQ8 X-IronPort-AV: E=Sophos;i="4.21,438,1188770400"; d="scan'208";a="5981869" Received: from 26.mail-out.ovh.net ([91.121.27.225]) by mail3-smtp-sop.national.inria.fr with SMTP; 19 Nov 2007 22:35:18 +0100 Received: (qmail 30584 invoked by uid 503); 19 Nov 2007 21:35:37 -0000 Received: (QMFILT: 1.0); 19 Nov 2007 21:35:37 -0000 Received: from gw2.ovh.net (HELO mail146.ha.ovh.net) (213.251.189.202) by 26.mail-out.ovh.net with SMTP; 19 Nov 2007 21:35:37 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 19 Nov 2007 21:35:24 -0000 Received: from mut38-5-82-246-191-110.fbx.proxad.net (HELO ?82.246.191.110?) (forum%x9c.fr@82.246.191.110) by ns0.ovh.net with SMTP; 19 Nov 2007 21:35:23 -0000 Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Message-Id: <59B5010A-12E3-44BD-8521-615696D2FC18@x9c.fr> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: caml-list From: "forum@x9c.fr" Subject: Question about native compiler code Date: Mon, 19 Nov 2007 22:37:38 +0100 X-Mailer: Apple Mail (2.752.2) X-Ovh-Remote: 82.246.191.110 (mut38-5-82-246-191-110.fbx.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam: no; 0.00; compiler:01 asmcomp:01 lambda:01 clambda:01 clambda:01 functions:01 functions:01 closure:01 primitive:02 primitive:02 native:03 slight:04 types:05 xavier:06 arguments:07 Dear list, While working on asmcomp/closure.ml, I noticed a subtle difference between "is_pure_lambda" and "is_pure" functions (beside the fact that the functions obviously work on different types) : - the "Pbigarrayset" primitive causes is_pure_clambda to return false; - the "Pbigarrayset" primitive causes is_pure_clambda to return true, provided that primitive arguments are pure. It looks like a mistyping or copy/paste mistake to be but I may be missing something. Could someone help me understand this slight difference between the two functions. Regards, Xavier