From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA22775 for caml-redistribution; Thu, 21 Jan 1999 16:40:37 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA23000 for <caml-list@pauillac.inria.fr>; Thu, 21 Jan 1999 16:39:47 +0100 (MET)
Received: from batman.npl.co.uk (batman.npl.co.uk [139.143.5.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA01369
	for <caml-list@inria.fr>; Thu, 21 Jan 1999 16:39:43 +0100 (MET)
Received: from herschel.npl.co.uk ([139.143.1.16])
	by batman.npl.co.uk (8.9.1/8.9.1) with ESMTP id PAA19224;
	Thu, 21 Jan 1999 15:39:38 GMT
Received: from squall.cise.npl.co.uk (squall.cise.npl.co.uk [139.143.18.3])
	by herschel.npl.co.uk (8.8.5/8.8.5) with ESMTP id PAA10229;
	Thu, 21 Jan 1999 15:39:36 GMT
Received: (from tm1@localhost)
	by squall.cise.npl.co.uk (8.8.8/8.8.8) id PAA06762;
	Thu, 21 Jan 1999 15:37:19 GMT
Date: Thu, 21 Jan 1999 15:37:19 GMT
From: Toby Moth <tm1@cise.npl.co.uk>
Message-Id: <199901211537.PAA06762@squall.cise.npl.co.uk>
To: caml-list@inria.fr, Chris.Keane@comlab.ox.ac.uk
Subject: Re: Constructed types
X-Sun-Charset: US-ASCII
Sender: weis

I remembered this coming up before but have only just found the reference. The question of constructors was raised by Simon Clematide - 20 Jan 97 and answered by Xavier Leroy. Check out the archives for details.

Toby