From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <julia@diku.dk>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id AAC89BBAF
	for <caml-list@yquem.inria.fr>; Fri, 26 Nov 2010 22:46:52 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnMFAN+570yC4WBcgWdsb2JhbACVCgEBjgQVAQEWIiK/eIVHBA
X-IronPort-AV: E=Sophos;i="4.59,262,1288566000"; 
   d="scan'208";a="80300956"
Received: from mgw2.diku.dk ([130.225.96.92])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Nov 2010 22:46:52 +0100
Received: from localhost (localhost [127.0.0.1])
	by mgw2.diku.dk (Postfix) with ESMTP id 1B9194DC023
	for <caml-list@yquem.inria.fr>; Fri, 26 Nov 2010 22:46:51 +0100 (CET)
Received: from mgw2.diku.dk ([127.0.0.1])
 by localhost (mgw2.diku.dk [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
 id 29014-07 for <caml-list@yquem.inria.fr>;
 Fri, 26 Nov 2010 22:46:46 +0100 (CET)
Received: from nhugin.diku.dk (nhugin.diku.dk [130.225.96.140])
	by mgw2.diku.dk (Postfix) with ESMTP id F23C84DC022
	for <caml-list@yquem.inria.fr>; Fri, 26 Nov 2010 22:46:45 +0100 (CET)
Received: from ask.diku.dk (ask.diku.dk [130.225.96.225])
	by nhugin.diku.dk (Postfix) with ESMTP id 3E0506DF823
	for <caml-list@yquem.inria.fr>; Fri, 26 Nov 2010 22:42:40 +0100 (CET)
Received: by ask.diku.dk (Postfix, from userid 3767)
	id CAB3A200AB; Fri, 26 Nov 2010 22:46:45 +0100 (CET)
Received: from localhost (localhost [127.0.0.1])
	by ask.diku.dk (Postfix) with ESMTP id BFC95474E3
	for <caml-list@yquem.inria.fr>; Fri, 26 Nov 2010 22:46:45 +0100 (CET)
Date: Fri, 26 Nov 2010 22:46:45 +0100 (CET)
From: Julia Lawall <julia@diku.dk>
To: caml-list@yquem.inria.fr
Subject: zero-arity constructor
Message-ID: <Pine.LNX.4.64.1011262245000.12757@ask.diku.dk>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam: no; 0.00; bug:01 compile:01 compiles:01 constructor:01 match:02 diku:03 let:03 feature:09 doesn't:12 type:14 but:14 code:17 the:27 julia:70 julia:70 

The following code compiles in 3.12.0 but doesn't compile in 3.10.2. Is it 
a bug or a feature?

type ty = A | B

let start x =
  match x with
    A _ -> ()
  | _ -> ()

julia