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=2.2 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 52A4BBBAF for ; Thu, 23 Oct 2008 19:17:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjADAONOAEnAXQIngWdsb2JhbACBdpF7AQEWIqYmhjpcg04 X-IronPort-AV: E=Sophos;i="4.33,471,1220220000"; d="scan'208";a="18430419" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2008 19:17:28 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9NHHR10026379 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 23 Oct 2008 19:17:27 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah8BAONOAElDWxLCbmdsb2JhbACBdpF7PqYihjpcg04 X-IronPort-AV: E=Sophos;i="4.33,471,1220220000"; d="scan'208";a="16412539" Received: from ip67-91-18-194.z18-91-67.customer.algx.net (HELO server1.bertec.net) ([67.91.18.194]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2008 19:17:09 +0200 Received: from kuba.bertec.net (kuba.bertec.net [192.168.2.16]) by server1.bertec.net (Postfix) with ESMTP id 18309105762 for ; Thu, 23 Oct 2008 13:17:09 -0400 (EDT) From: Kuba Ober To: caml-list@inria.fr Subject: Re: [Caml-list] What does Jane Street use/want for an IDE? What about you? Date: Thu, 23 Oct 2008 13:17:06 -0400 User-Agent: KMail/1.9.10 References: <200810200919.41561.ober.14@osu.edu> <200810220842.17128.ober.14@osu.edu> <49002C0E.5050107@inescporto.pt> In-Reply-To: <49002C0E.5050107@inescporto.pt> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810231317.08349.ober.14@osu.edu> X-Miltered: at concorde with ID 4900B1A7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 compiler:01 flamewar:01 emacs:01 cheers:01 caml-list:01 compiling:02 constraints:03 interpret:03 expressions:04 character:04 spaces:04 spaces:04 preference:05 indent:06 > >> What would make me switch: a way to highlight the error when compiling, > >> highlighting the line, a stronger highlight for the character range > >> reported by the compiler, taking in consideration the tab mode used > >> (real tab, n spaces) to interpret the value returned by the compiler. > >> the error message in an infobulle and a log area. > > > > That's actually nearly what Camelia has right now. Right now Camelia > > insists on not dealing with tabs at all -- it converts them all to > > spaces. This "feature" has to go obviously, and it's a few-liner to > > convert between characters (which include tabs) and columns. > > What do you mean with this? Reason I ask is that in OcalIDE an option to > save files with spaces only, was added because it allows one to > simultaneously edit files in various editors, each with its own tab > "length". If not, indenting is not maintained. I myself think that > avoiding tabs altogether is a good solution. This is likely to erupt into a flamewar ;) I will leave it to the user to choose. I have no preference personally, and this is a matter of taste and people get religious about it: so no point arguing either way. I will support space-only mode, mixed space-tab mode, and also different indent styles between expressions/statements and within them. Basically whatever emacs/vi does, I will do as well, leaving it to the user to choose. Depending on time constraints, the full gamut of choices may be relegated to 2.1, but I have it all on my mind. Cheers, Kuba