From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DE8BB7F0BA for ; Mon, 29 Aug 2016 19:56:43 +0200 (CEST) IronPort-PHdr: 9a23:QYdmXx12FsMztDefsmDT+DRfVm0co7zxezQtwd8ZsegVL/ad9pjvdHbS+e9qxAeQG96KsrQY16GP6/qoGTRZp83e4DZaKN0EfiRGoPtVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdazdU7TfhMWv1u2054abI0AR3GL8MvtOK0CRhgzUsoEziIpmK6A+gj/IuWcAL+9fwGctIVOIgz794N2x9dht6XIDlegm8ptlWLn3fewbSqdZD3xybj9ruMaz70jJE1vf7SIXCmlMzhMSDlma5x2lAMv/miT/v+t5niKdOJulHvgPRT2+4vIzG1fTgyAdOmt8qTmPhw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f49.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ALAwABd8RXfzFSfUpcGwEBAQMBAQEWAQUBgihkAQEBAQGBH1KsYI1OgzaEPzsRAQEBAQEBAQEBAQESAQEJCwsJFzGCMgQBFQEEgikRHQEbHgMSEA8CJgIlEQEFASINCAIXB4gDAQMXBJ5NggeBMj4yizyBaoJeBYZYChknDVREglwCBhBzhyOKF4JaBZlOAY8rgVeHdg6Feo58MYEQNIJHgXduhQyBQAEBAQ X-IPAS-Result: A0ALAwABd8RXfzFSfUpcGwEBAQMBAQEWAQUBgihkAQEBAQGBH1KsYI1OgzaEPzsRAQEBAQEBAQEBAQESAQEJCwsJFzGCMgQBFQEEgikRHQEbHgMSEA8CJgIlEQEFASINCAIXB4gDAQMXBJ5NggeBMj4yizyBaoJeBYZYChknDVREglwCBhBzhyOKF4JaBZlOAY8rgVeHdg6Feo58MYEQNIJHgXduhQyBQAEBAQ X-IronPort-AV: E=Sophos;i="5.30,597,1470693600"; d="scan'208";a="234441209" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Aug 2016 19:56:19 +0200 Received: by mail-wm0-f49.google.com with SMTP id q128so88835932wma.1 for ; Mon, 29 Aug 2016 10:56:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=ZVl3kXhzx4A8OEA0ACmBdaSk87RTjRHagm1JJFIhK5o=; b=k7hppIb3YTkyJZEezF/iS/MSshGKDx5hlxo2BIdmDfoH6tvPTh36EC2QiQZY2Le9Eq HUXxRSE8M7tzDjBnH67kUbAoRW0lt7jLS31S6RghKIKWwpxx89QwvfkTafDzKScXL/pY pmlylLj29WJnb/Qfx1a2/WXomWkWIuqzGQUnGHXjaNPoaz21ivbP4tutiVevQOXehNvg R4N4k9Jh4XVell1KUoSRVwcYZiwwIBix5SEztVxIC7mqqSbxHvo8SFZ63KHtNdHexIoq kJxy0hpyBx60kCBV9VUfxeHUOpY/E8lxlinV9W7LFc6wAnAlTr1LhkDcnY0lGLuam5zZ MVSA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=ZVl3kXhzx4A8OEA0ACmBdaSk87RTjRHagm1JJFIhK5o=; b=a0tAxYjYSiUzpQ6Oyna1G0QQDoyzNBbUglHTcNnAIcMSJhhf4MIklliIUp5uSV7IHC 1u9bpfRMXAFHpEvm3twIyqu1ocKQitUJyvMIFqOq8tufGScBlRq3bm+gwybIaRSVBcYJ YB8b5R9MKNnOaOwkok2krvXI8XBBfGE7lVb348CKHyM67W1fr9ZOmrMhF7DRHvrVk/Le 1e84Af72jUQjKi5qY7qiUhRScJYyKZj1eEdm7AW3WEAH2ZPWCpYUGoDDScBExyg45mvX cIl5SN4WH9mcjvolssrKzlvxHEovG1rPv0KQlLE/bCp3vs0l5FENiAjX44rzzD8Hu/+j h3wQ== X-Gm-Message-State: AE9vXwPTryW5Mi0N+MpfsF1IiCevtI1VX0bFWxdnrf2O8ukSvDkelf1OYNpJqahPJkGqoQ== X-Received: by 10.194.54.166 with SMTP id k6mr19038295wjp.48.1472493379252; Mon, 29 Aug 2016 10:56:19 -0700 (PDT) Received: from [172.23.36.255] (maths.r-prg.net.univ-paris7.fr. [81.194.27.158]) by smtp.googlemail.com with ESMTPSA id p83sm14627476wma.18.2016.08.29.10.56.18 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 29 Aug 2016 10:56:18 -0700 (PDT) To: OCaml Mailing List From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <18de7085-d85d-bc6b-ce85-3b6c546ee8f1@gmail.com> Date: Mon, 29 Aug 2016 19:50:16 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.1.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] merlin and TAB characters Dear all, I use Merlin for displaying types of terms or for jumping to the definition of various terms/types. This normally works as long as a given identifier/term is not preceded by TAB characters. If there are some TAB characters, Merlin's usability is degraded. As a non-invasive solution, is there a way how I could tell Merlin how my Emacs interprets TAB characters so that it interprets it in a consistent way? (i.e. it will assume that TAB character moves the cursor by 8, not 1, positions to the right). Thank you in advance for help.