From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3KJdKtO004071 for ; Wed, 20 Apr 2011 21:39:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMBAIA1r03RVaC2kGdsb2JhbACCZJUShgqHOAgUAQEBAQkJDQcUBCGIb6J1inSCJYUtM4hdAQEDBoVrBI4ih2WCHTo X-IronPort-AV: E=Sophos;i="4.64,247,1301868000"; d="scan'208";a="97631505" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 21:39:14 +0200 Received: by gyg13 with SMTP id 13so449164gyg.27 for ; Wed, 20 Apr 2011 12:39:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=VIt11v5+ThTb7ir8LpSNKJmc5zw4HNVEEZUS74pqI/8=; b=cG8WeqLySZm8W2T1WDYM68ZX2udGRajhqossYKcroqdwKrDV6dbgHBToXYvVnuvuXB i3I8B9csyuu4ra6ems5dTC2LzOUbl+3fspIjLvBP+sHtcxF5s+O9or4IdBKZSI4N5vs5 7c0r12TEICi0UW6lJuHtS/oKMkn0wwdTDsnOU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=o9/spekgqs6bOom1uR6YS86Y6Rjd64S0UOc1JZKP69BKUVMe3P1X6WkDsOLdEHeEoI hv3ERPBW/QB33bY2CHCKi89KbPbW6l8tPKLygetNWOLWArnWhCtve+ihvNPo4+TAQ9zw rbCP57zTMhHpLoZTYp9B30a/uDOfyXzPPVFcw= Received: by 10.151.112.11 with SMTP id p11mr6480975ybm.59.1303328353317; Wed, 20 Apr 2011 12:39:13 -0700 (PDT) MIME-Version: 1.0 Received: by 10.147.35.3 with HTTP; Wed, 20 Apr 2011 12:38:53 -0700 (PDT) In-Reply-To: <82B6A89B-EEF0-475C-9C8E-BEA468AEDF76@gmail.com> References: <96D7ADA9-24DA-4836-A4C7-816F468BD0EA@gmail.com> <2BC95D9C-0F77-4D26-B010-49817817112B@gmail.com> <82B6A89B-EEF0-475C-9C8E-BEA468AEDF76@gmail.com> From: Ashish Agarwal Date: Wed, 20 Apr 2011 15:38:53 -0400 Message-ID: To: Joel Reymont Cc: caml-list Content-Type: multipart/alternative; boundary=00151757462e86740704a15ec739 Subject: Re: [Caml-list] tuareg and first-class modules --00151757462e86740704a15ec739 Content-Type: text/plain; charset=ISO-8859-1 Confirmed. I just upgraded to 2.0.4, and now I get the same indentation as you. On Wed, Apr 20, 2011 at 11:53 AM, Joel Reymont wrote: > > On Apr 20, 2011, at 2:45 PM, Ashish Agarwal wrote: > > > Your example indents correctly for me. I'm using tuareg 1.46.2 and tried > on both emacs 23.2 on a Mac, and emacs 21.4.1 on RHEL. > > I'm using tuareg 2.0.4 from ocamlforge and it doesn't. > > -------------------------------------------------------------------------- > - for hire: mac osx device driver ninja, kernel extensions and usb drivers > ---------------------+------------+--------------------------------------- > http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont > ---------------------+------------+--------------------------------------- > > > > --00151757462e86740704a15ec739 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Confirmed. I just upgraded to = 2.0.4, and now I get the same indentation as you.


On Wed, Apr 20, 2011 at 11:53 = AM, Joel Reymont <= joelr1@gmail.com> wrote:

On Apr 20, 2011, at 2:45 PM, Ashish Agarwal wrote:

> Your example indents correctly for me. I'm using tuareg 1.46.2 and= tried on both emacs 23.2 on a Mac, and emacs 21.4.1 on RHEL.

I'm using tuareg 2.0.4 from ocamlforge and it doesn't.

--------------------------------------------------------------------------<= br> - for hire: mac osx device driver ninja, kernel extensions and usb drivers<= br> ---------------------+------------+---------------------------------------<= br> http://wagerlabs.com= | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------<= br>



--00151757462e86740704a15ec739--