From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1C784BBAF for ; Fri, 15 Oct 2010 14:01:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcBAOPet0zRVdi2kGdsb2JhbACTJo1zCBUBAQEBCQkMBxEDH6FziUyCGYZFLohWAQEDBYVEBIpKgwRh X-IronPort-AV: E=Sophos;i="4.57,336,1283724000"; d="scan'208";a="72913922" Received: from mail-qy0-f182.google.com ([209.85.216.182]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2010 14:01:04 +0200 Received: by qyk30 with SMTP id 30so883813qyk.6 for ; Fri, 15 Oct 2010 05:01:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=1wAAEMWxtUfVZCW7tLP1jBp/vJhwE0X9Xj5Rf9Vl3bg=; b=DnPgaAkj8awOIzjZVfPg05sslPkBzyRFtzsUuLWD2e57PTTZHx0dFD7NhqDHs8LZpS 3yVq+yG8xUZJVZgxQLu4D4mdKRaLvphOaG54f4Wt5wwK95rHa3/URikS5yWvx5tY4dov hmAvd54YyFRtgEPfCM3CZcbr+jSh8B2XJqEas= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=EPKkRfMMDM/jJIPRgdckkgvrWe7ndh5xEjyVFHvM1lyLJN1uU28BuPUMqn5fcVwGjy oDn+4dog+jlhu4ihAC0X4cexTgfjHaaXwsTj7b8DbDMprI7DrV/H8voeHL37PvNbr+tD l6hzHFhwLm2PpoxhqtactuWlTyC3R7q6S+dW8= Received: by 10.224.19.147 with SMTP id a19mr1860893qab.198.1287144046989; Fri, 15 Oct 2010 05:00:46 -0700 (PDT) Received: from [192.168.10.106] (modemcable025.84-130-66.mc.videotron.ca [66.130.84.25]) by mx.google.com with ESMTPS id l13sm10764756qck.43.2010.10.15.05.00.44 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 15 Oct 2010 05:00:45 -0700 (PDT) Cc: caml-list@inria.fr Message-Id: <82EA8E1F-9B09-4F92-BF54-CCEF43F4536C@gmail.com> From: Vincent Aravantinos To: dumitru.potop@inria.fr In-Reply-To: <4CB8210D.7030307@inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v936) Subject: Re: [Caml-list] Smart caml editor and smart debugger Date: Fri, 15 Oct 2010 08:00:43 -0400 References: <4CB8210D.7030307@inria.fr> X-Mailer: Apple Mail (2.936) X-Spam: no; 0.00; debugger:01 emacs:01 cameleon:01 cheers:01 activating:98 collapse:98 syntactic:01 typing:01 caml-list:01 caml:02 let:03 indentation:04 guess:04 vim:05 i'd:06 Hi Dumitru, Le 15 oct. 10 =E0 05:38, Dumitru Potop-Butucaru a =E9crit : > 1. An editor where I can collapse entire > definitions (by reducing a huge "let x =3D .... in" > step into a single line). I'd prefer doing it > using a mouse, but emacs shortcuts would > be OK, too. With Vim you can do this by activating what they call "folding". You =20 can do by just typing 'zi'. Though it probably relies on indentation =20 rather than on the syntactic constructions. I guess chamo (http://home.gna.org/cameleon/chamo.en.html) can =20 probably do this sort of thing. Cheers, Vincent=