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=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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 5211EBC6B for ; Tue, 30 Oct 2007 00:32:03 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAE4KJkfAXQImh2dsb2JhbACOXwEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,345,1188770400"; d="scan'208";a="3717084" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Oct 2007 00:32:02 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9TNW2nL022142 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 30 Oct 2007 00:32:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAE4KJkfRVYC5kmdsb2JhbACOXwEBAQEHAgYTFg X-IronPort-AV: E=Sophos;i="4.21,345,1188770400"; d="scan'208";a="3717082" Received: from fk-out-0910.google.com ([209.85.128.185]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Oct 2007 00:32:02 +0100 Received: by fk-out-0910.google.com with SMTP id z22so2022392fkz for ; Mon, 29 Oct 2007 16:32:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:received:date:to:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; bh=G3pZ2kd3yPdCltjxePD+aqKneno13fFhz8JYgPg6vTE=; b=lkG3B31p0kq8Esf5RSHFzfXavWgOJJmeY8o55+0XSt6sah80j+q6ixfUp6+lbXwPpDXYcSnGh0Z/jlmkg4x06rfl751Uec69zQhNKNns7tnlk8XqBbvoY2rGK+5UHu8hBSSEYiQbl1jAGW8j1XA2S1XMKSI4bi51h1YUvUCXOfI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:date:to:subject:message-id:mail-followup-to:references:mime-version:content-type:content-disposition:in-reply-to:user-agent:from; b=Px0t8jG4Yk3k6zztBGr1aInfkyf+LHDPgtOjym1cYblJPGbi9tpNSPMAJ7LYu/7cs2bKZcm++zH5UrvULbjAVvQPUNwbEIh3a+IGH6CbjR7vmtNdrmWmNeL9moChO73OU+7znNTK07eQ7GOTY2cYvCZEPIBOeuLKiznhd7uPQOk= Received: by 10.82.172.10 with SMTP id u10mr12095297bue.1193700721699; Mon, 29 Oct 2007 16:32:01 -0700 (PDT) Received: from localhost ( [83.201.31.218]) by mx.google.com with ESMTPS id d26sm2107563nfh.2007.10.29.16.31.49 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 29 Oct 2007 16:31:59 -0700 (PDT) Received: by localhost (sSMTP sendmail emulation); Tue, 30 Oct 2007 00:32:03 +0100 Date: Tue, 30 Oct 2007 00:32:03 +0100 To: Caml List Subject: Re: [Caml-list] Patch to 3.10.0 compiler enabling simple spell-checking Message-ID: <20071029233203.GA15270@localhost> Mail-Followup-To: Julien Moutinho , Caml List References: <47264C70.5050100@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <47264C70.5050100@gmail.com> User-Agent: Mutt/1.5.16 (2007-06-11) From: Julien Moutinho X-Miltered: at discorde with ID 47266D72.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 typetexp:01 longident:01 typecore:01 longident:01 edgar:98 favored:98 unbound:01 wrote:01 typing:01 typing:01 defines:01 caml-list:01 constructor:01 ident:01 On Mon, Oct 29, 2007 at 04:11:12PM -0500, Edgar Friendly wrote: > Spending some time with the 3.10.0 sources, I have created > a "second draft" patch creating this functionality > in my favored language. I'm sorry but could it be that you have posted an incomplete patch? For instance typing/typetexp.ml should be modified, because it defines [Unbound_type_constructor of Longident.t] which is used in b/typing/typecore.ml as a [of Longident.t * string list] Besides [find_name_with_nearly] is defined in b/typing/ident.ml but is never used anywhere. Also, could you post a patch against today's release310 branch please? Regards, Julien.