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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 25D15BC6B for ; Tue, 30 Oct 2007 09:15:26 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAM6DJkfCnmhEnmdsb2JhbACOXwIBAQcEBhEY X-IronPort-AV: E=Sophos;i="4.21,346,1188770400"; d="scan'208";a="3820509" Received: from relay-bm.club-internet.fr ([194.158.104.68]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Oct 2007 09:15:26 +0100 Received: from Galois (4aa54-2-89-80-51-65.dsl.club-internet.fr [89.80.51.65]) by relay-bm.club-internet.fr (Postfix) with ESMTP id 7F92525610; Tue, 30 Oct 2007 09:15:25 +0100 (CET) Received: from evariste by Galois with local (Exim 4.68) (envelope-from ) id 1ImmFw-0000zu-Tf; Tue, 30 Oct 2007 09:15:24 +0100 Date: Tue, 30 Oct 2007 09:15:24 +0100 From: =?iso-8859-1?Q?S=E9bastien?= Hinderer To: caml-list@yquem.inria.fr, Caml List Subject: Re: Patch to 3.10.0 compiler enabling simple spell-checking Message-ID: <20071030081524.GC3818@galois> Mail-Followup-To: caml-list@yquem.inria.fr, Caml List References: <47264C70.5050100@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <47264C70.5050100@gmail.com> X-Spam: no; 0.00; ens-lyon:01 compiler:01 cheers:01 favored:98 compile:01 typing:01 restrict:02 identifier:04 identifiers:04 proposals:05 correction:05 draft:08 patch:08 patch:08 sebastien:09 > One random little feature of GNAT that comes in handy for me is its > habit of, when I misspell an identifier, giving me a possible correction > in its compile error message. Spending some time with the 3.10.0 > sources, I have created a "second draft" patch creating this > functionality in my favored language. Sounds great! Just out of curiosity: does the patch take into account typing information to restrict the proposals to identifiers with a compatible type ? If it does not, is it because it would be too difficult to gather all the necessary information ? Cheers, and congratulations! Sébastien.