From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 5440CBB84 for ; Wed, 24 Dec 2008 02:23:58 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,274,1228086000"; d="scan'208";a="18851753" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Dec 2008 02:23:58 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBO1NvFC018429 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 24 Dec 2008 02:23:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqQCAH4eUUnAbSoIgWdsb2JhbACTbQEBFiKpdViRbYZC X-IronPort-AV: E=Sophos;i="4.36,274,1228086000"; d="scan'208";a="20764677" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 24 Dec 2008 02:23:56 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from einhorn.in-berlin.de (localhost [127.0.0.1]) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id mBO1NtqQ024576 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Wed, 24 Dec 2008 02:23:55 +0100 Received: (from www-data@localhost) by einhorn.in-berlin.de (8.13.6/8.13.6/Submit) id mBO1Ntco024574 for caml-list@inria.fr; Wed, 24 Dec 2008 02:23:55 +0100 X-Authentication-Warning: einhorn.in-berlin.de: www-data set sender to oliver@first.in-berlin.de using -f Received: from dslb-088-073-088-029.pools.arcor-ip.net (dslb-088-073-088-029.pools.arcor-ip.net [88.73.88.29]) by webmail.in-berlin.de (IMP) with HTTP for ; Wed, 24 Dec 2008 02:23:55 +0100 Message-ID: <1230081835.49518f2b6e335@webmail.in-berlin.de> Date: Wed, 24 Dec 2008 02:23:55 +0100 From: Oliver Bandel To: caml-list@inria.fr Subject: vim OCaml-syntax: wrong indentation... MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.6 X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Miltered: at discorde with ID 49518F2D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bandel:01 in-berlin:01 ocaml-syntax:01 syntax:01 syntax:01 bug:01 oliver:01 oliver:01 configured:03 indentation:04 indentation:04 spaces:04 spaces:04 vim:05 vim:05 Hello, in some cases, when switching on the syntax in vim on an ocaml-file, the indentation is not as I configured in my .vimrc-file. Some of the options I have set: set expandtab set sw=2 set tabstop=2 set ai in some regions the indentation by tab is two spaces, in others it's just one. When switching off syntax, then indentation is always two spaces. So this looks like a bug. can't believe that this is a feature. Is here someone on the list, who knows about this and maybe also is in the vim-developers team, so that it can be fixed? Ciao, Oliver