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 q3ADvke9005671 for ; Tue, 10 Apr 2012 15:57:46 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYCAHc7hE8machzl2dsb2JhbABFuSIqAQEBAQEIFgc7ggkBAQEEEgIsAQE3AQ8LCw0uIhIBBQEcBhMih2wDAZwPCopdhC0Bj3sGkGGVcI5WPYQL X-IronPort-AV: E=Sophos;i="4.75,399,1330902000"; d="scan'208";a="139683477" Received: from mx2.janestreet.com (HELO nyc-dmz-mxout2.janestreet.com) ([38.105.200.115]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Apr 2012 15:57:40 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1SHbZi-0007GK-K1 for caml-list@inria.fr; Tue, 10 Apr 2012 09:57:38 -0400 Received: from nyc-dmz-mxgoog1.delacy.com ([172.25.224.109] helo=mxgoog1.janestreet.com) by nyc-qsv-mail1.delacy.com with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1SHbZi-0005ft-Ig for caml-list@inria.fr; Tue, 10 Apr 2012 09:57:38 -0400 Received: from mail-wg0-f42.google.com ([74.125.82.42]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1SHbZi-000113-EW for caml-list@inria.fr; Tue, 10 Apr 2012 09:57:38 -0400 Received: by wgbds11 with SMTP id ds11so2964976wgb.5 for ; Tue, 10 Apr 2012 06:57:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=p0wZW0CA26B0m6la936179Ozkb2h1caJdcMt/fKdMd8=; b=GFDS0xgc/DWx8YnB+Gtzc9W+3yE9t8rnigtSybW9HWjN5s7pcWhnxEGGVfmjtaRo1H 0pjMieCxRLoJQMkP/2mmN4outhSH5Q7NFhTBGYDtOHEUMolV18jkvjZ8c2eJ7aXgo47b E2D7x/DD9abQ1gXK15IEWaTXeAo6MVQ+qTt4k= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:cc:content-type:x-gm-message-state; bh=p0wZW0CA26B0m6la936179Ozkb2h1caJdcMt/fKdMd8=; b=O2c+Z1lMQ/iei4wzJ2k/n2y1bgusxEjR7nAX7+TG3k9DC4dOHzk+LDMyv8JGcWSAe5 wim0D62K9VFgAAP3DWdTmp0zekiWr5VxXU/K78EAMSpyjGl55SDJKJQSI3vhCx9pjAoO QVKMQifVgX848lhS0MQHJF70tU3zHCKWkw8UqO5z9YFwpxqjXJYvfDTwWWWdUB/Igwqj 0EK5FNW2fXaThPWbVz56lYwY2MCEGr1Lo5WhbkRDiGq6BglmSuwfI4XNWuRAq9GtOD1n 3nTclszX75Ab94ubl+FCvDClljI2kJQFw1LuqHiGsa3+4y6fvj+Z0UoXqkctKD9rkwUP 4KHQ== MIME-Version: 1.0 Received: by 10.216.133.93 with SMTP id p71mr6619182wei.10.1334066257615; Tue, 10 Apr 2012 06:57:37 -0700 (PDT) Received: by 10.216.235.148 with HTTP; Tue, 10 Apr 2012 06:57:37 -0700 (PDT) X-Originating-IP: [80.169.196.210] In-Reply-To: <20120410135150.GD27094@kerneis.info> References: <20120410135150.GD27094@kerneis.info> Date: Tue, 10 Apr 2012 14:57:37 +0100 Message-ID: From: David House To: Gabriel Kerneis Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQnrG65n/uSN0PGL0jk8t2AT4xUJlcCBqQ2CfGfTW9ZfmU9qTfQmsB8FRWJyQkBb9K94ZL23 Subject: Re: [Caml-list] Recursive polymorphic variants On Tue, Apr 10, 2012 at 2:51 PM, Gabriel Kerneis wrote: > Is there any work-around? Depending on your requirements, just wrapping up the recursive copy of [t] in another constructor might do: type t = [ `A of [ `B | `C of t ]] I don't know why your original example is disallowed.