From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3ADpuHk005247 for ; Tue, 10 Apr 2012 15:51:56 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYIAD46hE/Vujhf/2dsb2JhbABFgze1c4EHgkqBDiYoiEaZNaFzjT2CQWMElWuFZ4pQgmk X-IronPort-AV: E=Sophos;i="4.75,399,1330902000"; d="scan'208";a="139682131" Received: from witko.kerneis.info ([213.186.56.95]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 10 Apr 2012 15:51:51 +0200 Received: from gabriel by witko.kerneis.info with local (Exim 4.72) (envelope-from ) id 1SHbU6-0006bR-Ac for caml-list@inria.fr; Tue, 10 Apr 2012 15:51:50 +0200 Date: Tue, 10 Apr 2012 15:51:50 +0200 From: Gabriel Kerneis To: caml-list@inria.fr Message-ID: <20120410135150.GD27094@kerneis.info> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: gabriel@kerneis.info X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on witko.kerneis.info X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 22 Mar 2010 06:51:10 +0000) X-SA-Exim-Scanned: Yes (on witko.kerneis.info) Subject: [Caml-list] Recursive polymorphic variants Hi list, why is this definition allowed: type t = [`A of t] but the following one fails: type t = [`A of [t|`B]] Error: The type constructor t is not yet completely defined Is there any work-around? (My actual example is much larger and complex but I think it boils down to this simple case.) Many thanks, -- Gabriel Kerneis