From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 70A66BBAF for ; Wed, 21 Apr 2010 23:07:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuUCAEsGz0tKfVK0mGdsb2JhbACRaoohCBcBAQEICQwYIqxDgXaGJy6ITQEBAwWFCgQ X-IronPort-AV: E=Sophos;i="4.52,252,1270418400"; d="scan'208";a="48859030" Received: from mail-wy0-f180.google.com ([74.125.82.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Apr 2010 23:07:41 +0200 Received: by wyf22 with SMTP id 22so4230352wyf.39 for ; Wed, 21 Apr 2010 14:07:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:received:message-id :subject:from:to:content-type; bh=xO5BXNirXKM/aTgk11ndiS2Oo2Goiq4Ji94UmfJLJYg=; b=plln2b1XFZVdzeIJ2XClW2v92P/gUIBGXJlBkuwT+hMrPIx3Js5MvKBCWuOwZinhr6 PUM1kSCijN5FaIkl4SNiBbcssyrSkN9DZ30XGW8U/+ZfdwbPG76BmKHCIuBROOli1ko9 MOi/bvIilxqzMpcXXX/RgN7a5a721ZQdStt8I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=rXRsuhRERn4YTB5Hm1h3k+Z5FiabQ7UGhNLu87mrrpK/StZe9PCmxhzKljpR5FqfZm Vsic3uZAhuYXQGWtVG1XlpVNMmw9uIAZfvGv7f6sE7KHQbibhjw/ttjgwVU+3tZyx3sx OpUULPX3xYSX5KLq93huHphqf5Mr0nyNzAoAs= MIME-Version: 1.0 Received: by 10.216.30.71 with HTTP; Wed, 21 Apr 2010 14:07:40 -0700 (PDT) Date: Wed, 21 Apr 2010 17:07:40 -0400 Received: by 10.216.85.70 with SMTP id t48mr182371wee.59.1271884060353; Wed, 21 Apr 2010 14:07:40 -0700 (PDT) Message-ID: Subject: polymorphic (<) From: Jacques Le Normand To: caml-list caml-list Content-Type: multipart/alternative; boundary=0016e6d7e9499ce5440484c59506 X-Spam: no; 0.00; traversing:01 traversing:01 equality:01 equality:01 polymorphic:01 caml-list:01 caml-list:01 structures:02 structures:02 jacques:03 doesn't:12 doesn't:12 hello:17 hello:17 physical:23 --0016e6d7e9499ce5440484c59506 Content-Type: text/plain; charset=ISO-8859-1 Hello caml-list, Why doesn't (<) check for physical equality before traversing the structures? --Jacques L. --0016e6d7e9499ce5440484c59506 Content-Type: text/html; charset=ISO-8859-1 Hello caml-list,
Why doesn't (<) check for physical equality before traversing the structures?
--Jacques L.
--0016e6d7e9499ce5440484c59506--