From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <N.Ojeda.Bar@dpmms.cam.ac.uk>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 3AD357EE25
	for <caml-list@sympa.inria.fr>; Thu, 31 Oct 2013 21:13:31 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  N.Ojeda.Bar@dpmms.cam.ac.uk) identity=pra;
  client-ip=131.111.24.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  N.Ojeda.Bar@dpmms.cam.ac.uk designates 131.111.24.3 as
  permitted sender) identity=mailfrom; client-ip=131.111.24.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail.dpmms.cam.ac.uk) identity=helo;
  client-ip=131.111.24.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="postmaster@mail.dpmms.cam.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjQBAHm4clKDbxgDl2dsb2JhbABZw3SBMhYOAQEBAQEIFgc8gmaBcYgmBJsamE2JFI9sgwqBDgOYCpUv
X-IPAS-Result: AjQBAHm4clKDbxgDl2dsb2JhbABZw3SBMhYOAQEBAQEIFgc8gmaBcYgmBJsamE2JFI9sgwqBDgOYCpUv
X-IronPort-AV: E=Sophos;i="4.93,611,1378850400"; 
   d="scan'208";a="40039791"
Received: from mail.dpmms.cam.ac.uk ([131.111.24.3])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Oct 2013 21:13:12 +0100
Received: from cpc19-cmbg14-2-0-cust477.5-4.cable.virginm.net ([86.6.31.222]:60757 helo=[192.168.0.3])
	by mail.dpmms.cam.ac.uk with esmtpsa (TLSv1:AES128-SHA:128)
	(Exim 4.80.1)
	(envelope-from <N.Ojeda.Bar@dpmms.cam.ac.uk>)
	id 1VbycT-000711-Ue
	for caml-list@yquem.inria.fr; Thu, 31 Oct 2013 20:13:30 +0000
From: Nicolas Ojeda Bar <N.Ojeda.Bar@dpmms.cam.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <D3CAEFBB-C3D5-4FCF-9291-25F380E33798@dpmms.cam.ac.uk>
Date: Thu, 31 Oct 2013 20:13:24 +0000
To: caml-list@yquem.inria.fr
Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1816\))
X-Mailer: Apple Mail (2.1816)
X-ACL-Warn: checking mime attachment  
X-DPMMS-Spam-Score: -1.0 (-)
X-DPMMS-Spam-Report: score -1.0 from SpamAssassin-3.3.1
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
X-Validation-by: n.ojeda.bar@dpmms.cam.ac.uk
Subject: [Caml-list] recursive types and modules problem

Dear list,

What is the best way to rewrite the following recursive definitions so that
I can actually compile them?

S = Set.Make (struct type t = t1 let compare x1 x2 = x1.stamp - x2.stamp end)

type t1 = {
  stamp : int;
  x : t2
}

and t2 = {
  y : S.t
}

Thank you very much!
Nicolas