From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2782Bah019415
	for <caml-list@sympa-roc.inria.fr>; Wed, 7 Mar 2012 09:02:11 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AusCAGAVV0/RVaC+k2dsb2JhbAAoGrUSCCIBAQEBCQkLCRQEI4F9AQEBBAEBAQ8CSB0QCxgRHSMRAQUBHDuHZQspoVYKi3SIKz+BEo1OgyIEiFKbJT2EJQ
X-IronPort-AV: E=Sophos;i="4.73,544,1325458800"; 
   d="scan'208";a="147971751"
Received: from mail-gy0-f190.google.com ([209.85.160.190])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Mar 2012 09:02:05 +0100
Received: by ghbg22 with SMTP id g22so5793046ghb.27
        for <caml-list@inria.fr>; Wed, 07 Mar 2012 00:02:05 -0800 (PST)
Received: by 10.236.77.165 with SMTP id d25mr82640yhe.1.1331107324961; Wed, 07
 Mar 2012 00:02:04 -0800 (PST)
Path: glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: fa.caml
Date: Wed, 7 Mar 2012 00:02:04 -0800 (PST)
In-Reply-To: <fa.O3xm0idbEURic/azoi8VH23mQEw@ifi.uio.no>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=188.221.185.251;
 posting-account=e5mzsQoAAAB7g9y7Bkgam0zJDHRr7bCB
NNTP-Posting-Host: 188.221.185.251
References: <fa.O3xm0idbEURic/azoi8VH23mQEw@ifi.uio.no>
User-Agent: G2/1.0
X-Google-Web-Client: true
MIME-Version: 1.0
Message-ID: <6072533.1815.1331107324808.JavaMail.geo-discussion-forums@ynaz38>
From: Radu Grigore <radugrigore@gmail.com>
To: fa.caml@googlegroups.com
Cc: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] types not equal when I expect them to be

On Thursday, March 1, 2012 4:39:35 PM UTC, Ashish Agarwal wrote:
> But I don't understand why. Can anyone explain the main points. Thank you.

See the non-bug
  http://caml.inria.fr/mantis/view.php?id=3476