From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <j.romildo@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 135707EC41
	for <caml-list@sympa.inria.fr>; Sun, 21 Oct 2012 06:31:41 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  j.romildo@gmail.com) identity=pra; client-ip=209.85.216.47;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="j.romildo@gmail.com";
  x-sender="j.romildo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  j.romildo@gmail.com designates 209.85.216.47 as permitted
  sender) identity=mailfrom; client-ip=209.85.216.47;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="j.romildo@gmail.com";
  x-sender="j.romildo@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qa0-f47.google.com) identity=helo;
  client-ip=209.85.216.47;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="j.romildo@gmail.com";
  x-sender="postmaster@mail-qa0-f47.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlACAG56g1DRVdgvk2dsb2JhbABEhU27OggjAQEBAQkJCwkUBCOCOQImBgEbHgMSXw8JCAEFASI1h08BAw8CmieCZwkDjCiCdoN8ChknDVmIdQEFDJFiYAOVcI5ZP4Qp
X-IronPort-AV: E=Sophos;i="4.80,624,1344204000"; 
   d="scan'208";a="159783508"
Received: from mail-qa0-f47.google.com ([209.85.216.47])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Oct 2012 06:31:39 +0200
Received: by mail-qa0-f47.google.com with SMTP id i29so957888qaf.6
        for <caml-list@inria.fr>; Sat, 20 Oct 2012 21:31:38 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:subject:message-id:mail-followup-to:mime-version
         :content-type:content-disposition:user-agent;
        bh=zc8gx0iihdHCK4tnGoROWkIf6c2wUhMv6e2qLSbgSgU=;
        b=tSUg/2DSuZhU8zK99ffi6m9X6ATcHFxFQEKOMT+Yd2lCq+fdAJoGO7OFTLZIxszhec
         ah76TINzKZKw/y3BTJzP6a6Pyt68UoU0ex5iFarsXtQXQEfnV0GRNM4RhIbwAssm9qmK
         iaUr8ILAgwGuaTwJi1BTJK3z+wSsICN8Lmtgy2SWSeVz/BlKoyKGt2SYPXxCn1SIjwyS
         v3J8lRe6+luxyz3ffSmN4Mkb3u1rmTq8ix4CQWRqPriwxw4dRM6CVjamH0z6J+PJlrZh
         FRDuOYYTsSNkL24mQ7Em56RgmLPjcmjoayZmFtwUrdksiX8gyg+8khPtwqIxP5WlDOLQ
         K9Kw==
Received: by 10.224.116.12 with SMTP id k12mr129062qaq.47.1350793897982;
        Sat, 20 Oct 2012 21:31:37 -0700 (PDT)
Received: from romildo.localdomain (189-13-1-204.user.veloxzone.com.br. [189.13.1.204])
        by mx.google.com with ESMTPS id jw1sm871891qeb.13.2012.10.20.21.31.34
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 20 Oct 2012 21:31:37 -0700 (PDT)
Received: by romildo.localdomain (Postfix, from userid 1000)
	id 637421F0777; Sun, 21 Oct 2012 02:33:18 -0200 (BRST)
Date: Sun, 21 Oct 2012 02:33:18 -0200
From: =?iso-8859-1?Q?Jos=E9?= Romildo Malaquias <j.romildo@gmail.com>
To: Caml List <caml-list@inria.fr>
Message-ID: <20121021043317.GA10985@romildo.no-ip.org>
Mail-Followup-To: Caml List <caml-list@inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: [Caml-list] How to write the fix data type

Hello.

How can I translate the following data type declaration from Haskell to
OCaml?

  newtype Fix f = In (f (Fix f))


Romildo