From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id D0ED4BC57; Fri, 25 Jun 2010 09:30:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUBAJr3I0zRVdY2mGdsb2JhbACfOQgVAQEBAQEICQwHESKwLYIJhWQuiFMBAQMFhRwEjwk X-IronPort-AV: E=Sophos;i="4.53,479,1272837600"; d="scan'208";a="53877898" Received: from mail-bw0-f54.google.com ([209.85.214.54]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Jun 2010 09:30:01 +0200 Received: by bwz17 with SMTP id 17so1171392bwz.27 for ; Fri, 25 Jun 2010 00:30:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:sender:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type; bh=eZNFklQFIy6Gdh/ZHU74S5un+TDDkj0CftaO/td/5Vs=; b=hFmYIkTGvV3WXvJxxIlyx/PiNf+H2eLjhUzy8G69RNkh6I571j1pEBqNA7Xp7mq34H Y6UQjwro3oArLorM9c5goYEl95WkLRKQI72S0c8XbrcEHf4iffWyNRB2XZa0l0QSSgD5 41d5PAdDjabRgzAjNmJ585mRWzwbDUyQM/7D8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=cUDdI6JGXlpwnHy4myZDqcL2koU656Dca5+iDZ0sxEZJfT8VW7DP9ppiK4nKviTdwB f2J3+/A99wW6NXmcoKnUGqw4RiPh1qbWSb7Zb+FBx7oHUc3HLahcsLednDDUDmX7psIr y77GtuFGzCY0zs5cOQSrfeIDLE/xZIRjTCGog= Received: by 10.204.74.14 with SMTP id s14mr199490bkj.54.1277451001249; Fri, 25 Jun 2010 00:30:01 -0700 (PDT) MIME-Version: 1.0 Sender: gabriel.scherer@gmail.com Received: by 10.204.68.148 with HTTP; Fri, 25 Jun 2010 00:29:41 -0700 (PDT) In-Reply-To: References: From: bluestorm Date: Fri, 25 Jun 2010 09:29:41 +0200 X-Google-Sender-Auth: Az_kz21cqt-yaTNw6r-5wGVyz-A Message-ID: Subject: Re: [Caml-list] OCaml 3.12.0+beta1 To: Damien Doligez Cc: caml users Content-Type: multipart/alternative; boundary=0016e6db61e125bf6e0489d5bd26 X-Spam: no; 0.00; ocaml:01 simulate:01 simulate:01 caml-list:01 modules:02 modules:02 typo:05 typo:05 manual:06 manual:06 first-class:08 first-class:08 beta:12 should:13 should:13 --0016e6db61e125bf6e0489d5bd26 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable There is a small typo in the 3.12 reference manual. In section 7.14 : =AB The code above should how to use first-class modules to simulate existentials. =BB (should how) --0016e6db61e125bf6e0489d5bd26 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
There is a small typo in the 3.12 reference manual. In section 7.14 :<= /div>
=AB=A0The code above should how to use first-class modules to sim= ulate existentials. =BB (should how)
--0016e6db61e125bf6e0489d5bd26--