From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 975BBBC6B
	for <caml-list@yquem.inria.fr>; Tue, 30 Oct 2007 16:50:12 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAFDvJkfRVYTykGdsb2JhbACOYAIBAQcEBhERBYEV
X-IronPort-AV: E=Sophos;i="4.21,347,1188770400"; 
   d="scan'208";a="18771076"
Received: from an-out-0708.google.com ([209.85.132.242])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2007 16:50:11 +0100
Received: by an-out-0708.google.com with SMTP id c24so272966ana
        for <caml-list@yquem.inria.fr>; Tue, 30 Oct 2007 08:50:11 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding;
        bh=rlo4LLxvFQtuhbip0BXip8lOuyVhANWa4vmxXuQAZbk=;
        b=rQg5yZx6zBz8mVMmhyqXHXXGKwd4hBC6IuCR1rSqtt8kJ/E7zAJgFVm7hoXV2Iej2gkBqgY0MsE2MKjmQPmGE9Y5GWETPp9filViL8adOnPpjGRv+PseYSNGUM9qSl+buz5CyoFmuXX8fqsfZ5nf+x3kwKiE7AeNnPerlYNiltM=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding;
        b=hBuq0yqiRrlCnRqEZS6i7s3+tFswNnCEhPmjFqe1ZuINlfBMp/dJBXCTUGp7WYgAYYxeX7wvUut8Cfo6O9wRpdgDN+TRplxYAM86E6DAwa9pIlNb1cqMtzjnXndzFCMC3JLIUrez5E9PHuo4S3uLb/VThxPY7rr/B5ys8WxIO9Q=
Received: by 10.100.212.14 with SMTP id k14mr226755ang.1193759410995;
        Tue, 30 Oct 2007 08:50:10 -0700 (PDT)
Received: from ?192.168.0.7? ( [69.154.217.112])
        by mx.google.com with ESMTPS id c14sm9424209ana.2007.10.30.08.50.08
        (version=SSLv3 cipher=RC4-MD5);
        Tue, 30 Oct 2007 08:50:09 -0700 (PDT)
Message-ID: <472752AE.7050600@gmail.com>
Date: Tue, 30 Oct 2007 10:50:06 -0500
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Thunderbird 2.0.0.6 (X11/20070728)
MIME-Version: 1.0
To: caml-list@yquem.inria.fr, Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] Re: Patch to 3.10.0 compiler enabling simple	spell-checking
References: <47264C70.5050100@gmail.com> <20071030081524.GC3818@galois>
In-Reply-To: <20071030081524.GC3818@galois>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; compiler:01 cheers:01 traversing:01 edgar:98 wrote:01 typing:01 caml-list:01 corrections:01 tree:02 tree:02 restrict:02 identifier:04 identifier:04 identifiers:04 proposals:05 

Sébastien Hinderer wrote:
> 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.

It does.  It works by wrapping the tree lookup for an identifier
(separate trees are kept for each "compatible type" of identifier), and
if that fails, traversing the tree once more to find corrections.

E.