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=3.7 required=5.0 tests=DNS_FROM_RFC_POST,HTML_10_20, HTML_MESSAGE,RCVD_IN_BL_SPAMCOP_NET 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 483A4BC69 for ; Wed, 24 Oct 2007 19:27:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAYdH0fRv1TXkGdsb2JhbACCOzeLaAIBAQcEBgkIARA X-IronPort-AV: E=Sophos;i="4.21,325,1188770400"; d="scan'208";a="5061141" Received: from web82102.mail.mud.yahoo.com ([209.191.84.215]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 Oct 2007 19:27:31 +0200 Received: (qmail 92033 invoked by uid 60001); 24 Oct 2007 17:27:29 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=sbcglobal.net; h=X-YMail-OSG:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=l/SDLfLEaPlULAqXb9/haRSiNBwZnVLoX2MtoklXBl2AJ4Urz13CubWyz29Sed2XSjBs9C11S2W025O+lreXlUaTpFMOrtgYnd0Yt2sCkAWivHO64p0Q0wBQwFfaS686328mtg4pySE3n7lRNXBhF2RdbDAzzFiSQeUWmQxayEI=; X-YMail-OSG: QTlGQLIVM1kkIgHbuSce7Ppc5HMIRSCAwFCSFoXwc4mTspxmPIiKIsO.fcEO6v4HEupSmIKpWA-- Received: from [70.91.215.109] by web82102.mail.mud.yahoo.com via HTTP; Wed, 24 Oct 2007 10:27:29 PDT Date: Wed, 24 Oct 2007 10:27:29 -0700 (PDT) From: William W Smith Subject: type abbreviation is cyclic To: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-50334700-1193246849=:90449" Content-Transfer-Encoding: 8bit Message-ID: <344522.90449.qm@web82102.mail.mud.yahoo.com> X-Spam: no; 0.00; abbreviation:01 abbreviation:01 sbcglobal:98 cyclic:01 cyclic:01 int:01 int:01 defined:02 defined:02 i'd:06 i'd:06 explanation:06 explanation:06 unused:06 unused:06 --0-50334700-1193246849=:90449 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit I wonder whether this error is an example of the language being defined more restrictively than required. What is the reason that I get these results? type a = int -> one -> int and one = Unused | One of a;; type b = int -> b -> int type a is accepted while type b is not. (b gives "The type abbreviation b is cyclic" However, in the uses that I intended, there won't be any actual difference between the two. I'd appreciate an explanation about why there is difference between a and b. Thanks Bill Smith --0-50334700-1193246849=:90449 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: 8bit I wonder whether this error is an example of the language being defined more restrictively than required.  What is the reason that I get these results?

type a  = int -> one -> int and one = Unused | One of a;;
type b = int -> b -> int

type a is accepted while type b is not. (b gives "The type abbreviation b is cyclic"  However, in the uses that I intended, there won't be any actual difference between the two.

I'd appreciate an explanation about why there is difference  between a and   b.

Thanks

Bill Smith
--0-50334700-1193246849=:90449--