From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 2CF8C7ED26 for ; Wed, 23 May 2012 19:16:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBACQavU/RVaG2kGdsb2JhbAApGrQkCCIBAQEBCQkNBxQEI4IVAQEBBAEBAQ8CExEIARscAQEDDAYFCw0JFg8JAwIBAgEREQEFARwGDQEHAQEeh1wBAwsLKZwDCQOMIoJwhHwKGScNV4hxAQEEDIsThH4DlRiOFT2EJA X-IronPort-AV: E=Sophos;i="4.75,645,1330902000"; d="scan'208";a="159605606" Received: from mail-gg0-f182.google.com ([209.85.161.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 23 May 2012 19:16:47 +0200 Received: by mail-gg0-f182.google.com with SMTP id m2so10475917ggn.27 for ; Wed, 23 May 2012 10:16:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:newsgroups:to:cc :subject:references:in-reply-to:content-type :content-transfer-encoding; bh=/qZ5UZCJEeRVdn0pSEWzO0OuyLRZNL7yBlbEPLY4/KI=; b=UdB50AwvZ3vpdPvc2DFE0CkjUCSwYXCAwp06zZ2+9qpiPpjRsZu3kDLSkUvogCxxnN hEVdWgF624IMzLOvEEljeqNzuJshE7wpjlhpUGDGMB5CKoaKhf5I3IHDu3rAESuPWEv+ cNlHAiqQBvT8A66GUK7uPAHo8F/vLeaVhjSTlAGp9d5oLyCsNGEuYphnGUtcXPC5us2/ xJ/aXrab3lU2tHVp5fUhTdODzdWNDvAIYeQlzL/YEWKABGfbTdtUzOObU0ISX4GFN8pI 7Fo6elTwSXI7zkLdz6fA4RjgK6NuXPTzc2tRfkpwSb9dXZ5Y0j2jiXVCuIuGces3TIFC L1KA== Received: by 10.236.152.41 with SMTP id c29mr32667079yhk.64.1337793407505; Wed, 23 May 2012 10:16:47 -0700 (PDT) Received: from Hongbos-MacBook-Air.local ([130.91.143.113]) by mx.google.com with ESMTPS id u2sm100394793yhe.8.2012.05.23.10.16.45 (version=SSLv3 cipher=OTHER); Wed, 23 May 2012 10:16:46 -0700 (PDT) Message-ID: <4FBD1B7C.9040209@gmail.com> Date: Wed, 23 May 2012 13:16:44 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:12.0) Gecko/20120428 Thunderbird/12.0.1 MIME-Version: 1.0 Newsgroups: gmane.comp.lang.caml.inria To: Romain Bardou CC: caml-list@inria.fr References: <4FBCFF05.5030500@lsv.ens-cachan.fr> In-Reply-To: <4FBCFF05.5030500@lsv.ens-cachan.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Re: Tuareg-mode and pipes | On 5/23/12 11:15 AM, Romain Bardou wrote: > Hi list, > > About two years ago, the following bug was reported: > https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=659&group_id=43&atid=255 > > > If you don't want to click, here is the issue. Tuareg indents > pattern-matching like this: > > match x with > | Bla -> > hello > > But the previous behavior of Tuareg, which I prefer, was: > > match x with > | Bla -> > hello > > I have occasionally been updating my tuareg-mode, looking forward for > this "tuareg-pipe-indent" variable (see the comments in the bug report), > while patiently re-indenting pattern-matching by hand. But this > variable, or any similar variable, never appeared. > > After two years, I'm becoming suspicious that something went wrong. Does > anybody know what happened to the patch? Or how I can get my preferred > behavior back? > > A related question is the following. I read here a few weeks ago a claim > that the caml-mode was much better than the tuareg-mode. I was not able > to find a comparison between these two modes, to support this claim, nor > whether the caml-mode would fix the pipe behavior for me. Any comment > here would be appreciated. It's true. I previously used tuareg-mode, switched to caml-mode then > > Cheers, >