From esigra@gmail.com Wed Jan 14 23:56:32 2009 Received: (at submit) by emacsbugs.donarmstrong.com; 15 Jan 2009 07:56:32 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=0.0 required=4.0 tests=none autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from lists.gnu.org (lists.gnu.org [199.232.76.165]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0F7uSmo000397 for ; Wed, 14 Jan 2009 23:56:30 -0800 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LNN5Y-0007tg-Jz for bug-gnu-emacs@gnu.org; Thu, 15 Jan 2009 02:56:28 -0500 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LNN5X-0007tU-44 for bug-gnu-emacs@gnu.org; Thu, 15 Jan 2009 02:56:27 -0500 Received: from [199.232.76.173] (port=38248 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LNN5W-0007tR-Vb for bug-gnu-emacs@gnu.org; Thu, 15 Jan 2009 02:56:27 -0500 Received: from mx20.gnu.org ([199.232.41.8]:1791) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1LNN5W-0002Hh-Gp for bug-gnu-emacs@gnu.org; Thu, 15 Jan 2009 02:56:26 -0500 Received: from fg-out-1718.google.com ([72.14.220.153]) by mx20.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1LNN5V-0007hN-Qr for bug-gnu-emacs@gnu.org; Thu, 15 Jan 2009 02:56:26 -0500 Received: by fg-out-1718.google.com with SMTP id l26so484638fgb.30 for ; Wed, 14 Jan 2009 23:56:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:content-type :content-transfer-encoding; bh=zX943kIC3GfbuE3/P5ovBqAGCBRSa223JYuK5AHwMP0=; b=KcXmmKizt0Rz5EJYsQnHt5OXkhxpKSLOBp/AlXiynvHi4/vB3XWKFaVpPIUAOiEUTB /CVJDsZDhasQ9VEzLzOJp+cAnlqUyKZmE0ftyozbt6CfObjgVy8SIknJRb6BOf2xP6Kx wLqH8VwI1VTg+hsuTKFFv4rb00/lEWyikVJxg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; b=VFdGHycSfE7dKheYFotTPsdJK0yThjSro1p8gD6cd0+oXCIz9WskuZb3iZK2O16Zgy FbpXivPDvqAvXj12+KTaAo/iQKq9GdIImkDcy42SksQO2SCLBZ0nXk0/gxKxrHD6nvKM KdMRjjwesUvDjCbuT0GtPaaGsndb1O4s+c/CM= Received: by 10.86.53.8 with SMTP id b8mr1196672fga.58.1232006183352; Wed, 14 Jan 2009 23:56:23 -0800 (PST) Received: from ?192.168.0.46? (92.44.227.87.static.f.siw.siwnet.net [87.227.44.92]) by mx.google.com with ESMTPS id d4sm14242369fga.31.2009.01.14.23.56.21 (version=SSLv3 cipher=RC4-MD5); Wed, 14 Jan 2009 23:56:22 -0800 (PST) Message-ID: <496EECEB.1020209@gmail.com> Date: Thu, 15 Jan 2009 08:59:39 +0100 From: Erik User-Agent: Thunderbird 2.0.0.19 (X11/20090102) MIME-Version: 1.0 To: bug-gnu-emacs@gnu.org Subject: Identifier after reserved word "raise" is not always highlighted in Ada-mode Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-detected-kernel: by mx20.gnu.org: Linux 2.6 (newer, 2) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) In Ada-mode, type the reserved word "raise" (and some whitespace after). Then type the name of an identifier. It may or may not get highlighted in light blue colour. It seems to depend on which characters that are part of the identifier. when typing "H", the highlighting works. But if the letter 'Ö' is added, the word is no longer highlighted. This may be a character set issue. It seems like the highlighter thinks that the file is in Ada83. I never used Ada83 but I think it was ASCII-only. But my files are in Ada95, which is Latin1, or Ada2005, which supports even more characters. So how should I tell the highlighter that the file is Ada95 or Ada2005 (and not Ada83)? I think that emacs should assume that the file is not Ada83 if a non-ASCII character is used in an identifier. From lekktu@gmail.com Thu Jan 15 01:12:51 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 15 Jan 2009 09:12:51 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-2.0 required=4.0 tests=GMAIL,HAS_BUG_NUMBER, MURPHY_DRUGS_REL8 autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from mail-ew0-f21.google.com (mail-ew0-f21.google.com [209.85.219.21]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0F9ChNq020423 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 01:12:45 -0800 Received: by ewy14 with SMTP id 14so2084957ewy.1 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 01:12:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=OIu6suR3mYmrZDp5LtUiGHY6beUfeXtN1/djwLnNzRc=; b=uqfuMsUTwUqcLKOYq4OnTfElapa8AhosQj6bUKFybkDtT87uR5lpUNQQzApLNPpySx u0ureY/r+pM1djqeSbXTpF68v2wHD82z32Rrdwbs46ed9pKy0TrICxlZUEblyzu2Ulgh qZ0ncq++ATEDGik48NjeGNg5++JSiZOvcJtDc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=YTeAS0hTO9oOEPgamMfR1Mi3XQ1i8Wn7x7ymNW4XfGPAaye2QL/NhNzWdkiZJouWCj Uy/mgmSnUumPtCUiiolLQWJ29UeOSAxtYgzd2EFWlsubHpgbyCCb4VcPiPEma9kcUj/J ZLAlHXIDs4VY3sB/BM76wucSXaDMQVurgmlUc= Received: by 10.210.89.13 with SMTP id m13mr1344326ebb.44.1232010758249; Thu, 15 Jan 2009 01:12:38 -0800 (PST) Received: by 10.210.141.18 with HTTP; Thu, 15 Jan 2009 01:12:38 -0800 (PST) Message-ID: Date: Thu, 15 Jan 2009 10:12:38 +0100 From: "Juanma Barranquero" To: Erik Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode Cc: 1913@debbugs.gnu.org In-Reply-To: <496EECEB.1020209@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <496EECEB.1020209@gmail.com> On Thu, Jan 15, 2009 at 08:59, Erik wrote: > So how should I tell the highlighter that the file is > Ada95 or Ada2005 (and not Ada83)? I think that emacs should assume that > the file is not Ada83 if a non-ASCII character is used in an identifier. It's not that the Ada mode is assuming any specific version. There's a variable `ada-language-version', but it just affects which keywords are recognized as such. The problem is simply that some of the regexps were written in the ASCII-only era and have not been updated. Try the following patch, which should fix this particular case. I'll bring the issue to the Ada mode maintainer for a more permanent fix. Juanma Index: lisp/progmodes/ada-mode.el =================================================================== RCS file: /sources/emacs/emacs/lisp/progmodes/ada-mode.el,v retrieving revision 1.101 diff -u -2 -r1.101 ada-mode.el --- lisp/progmodes/ada-mode.el 9 Jan 2009 04:15:56 -0000 1.101 +++ lisp/progmodes/ada-mode.el 15 Jan 2009 09:05:02 -0000 @@ -5224,5 +5224,5 @@ ;; correctly highlight a with_clause that spans multiple lines. (list (concat "\\<\\(goto\\|raise\\|use\\|with\\)" - "[ \t]+\\([a-zA-Z0-9_., \t]+\\)\\W") + "[ \t]+\\([[:alnum:]_., \t]+\\)\\W") '(1 font-lock-keyword-face) '(2 font-lock-reference-face nil t)) From lekktu@gmail.com Thu Jan 15 01:42:07 2009 Received: (at control) by emacsbugs.donarmstrong.com; 15 Jan 2009 09:42:07 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: ** X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=2.3 required=4.0 tests=MISSING_SUBJECT,NOSUBJECT, VALID_BTS_CONTROL autolearn=no version=3.2.5-bugs.debian.org_2005_01_02 Received: from fk-out-0910.google.com (fk-out-0910.google.com [209.85.128.188]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0F9g4fW027898 for ; Thu, 15 Jan 2009 01:42:05 -0800 Received: by fk-out-0910.google.com with SMTP id f40so659360fka.1 for ; Thu, 15 Jan 2009 01:42:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=SPwdADncbSWDg8ekorYTUlZ2T/e3cu8WmFggA1Wn9k0=; b=qrat/Cbj5kclRfSyoRv1ElBd0ht2H0cs/xPM3IYu/EcUyxDMJcNXdEKCrfqqn809U1 6CMMFyA0v6vItVORAAj/AswPcSN3euk4afYJI+3SJGY5dX/gonPujZPIgVvxytay0ajJ CA76IFCqTrO0PPGhw0GF6zm7wi92cCt57sl+g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=RX0ArMTnD0WBPlEnMSDIYkW01d4P1FSZf/zDYQ96RQAD6BB5d3a9meD6XuF0LdsNkH TBxVKavio7APfmJKwS9jSfSTTOOZnQzTkpRahp65vIXM5zHFUYt97Ykle0iR/nkhWKFt MqPm6+ffoERvTMIOkUoeM4Oi4NWEzlxdEeFkc= Received: by 10.103.192.2 with SMTP id u2mr551288mup.2.1232012523418; Thu, 15 Jan 2009 01:42:03 -0800 (PST) Received: by 10.210.141.18 with HTTP; Thu, 15 Jan 2009 01:42:03 -0800 (PST) Message-ID: Date: Thu, 15 Jan 2009 10:42:03 +0100 From: "Juanma Barranquero" To: control@debbugs.gnu.org Subject: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline reassign 1919 spam reassign 1912 emacs,ada-mode reassign 1913 emacs,ada-mode quit From esigra@gmail.com Thu Jan 15 05:37:42 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 15 Jan 2009 13:37:42 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-2.0 required=4.0 tests=GMAIL,HAS_BUG_NUMBER, MURPHY_DRUGS_REL8 autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from fg-out-1718.google.com (fg-out-1718.google.com [72.14.220.157]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0FDbcLm001028 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 05:37:39 -0800 Received: by fg-out-1718.google.com with SMTP id l27so508080fgb.43 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 05:37:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:cc:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=smTUhDyR0uu1htLQ4B0AGWJAMFJVuNE+3UqI7b5uqlU=; b=u5QQeeBxQv7HsJXgjPnNatAo95NbEjBnasn6GzxVQ6QeoF17nJHD3jDOMDi/zA86WA c1gTW0gVy/jIfE7/UZ+k+kQnmfoHgQ/lNV1/TzF6gsfSHG5YaZ3GSoNL0erZZkdHcmt+ nJ0M6Vk5tCOO9gtvSpRzkobFHwpd5dDCzSH04= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; b=UIETHlPMz/m8hZWMlzAYNQjVCvA+vy8rw28mLeywLY6bONWNEJmxX2/aA9olZop16x u40tnKUpOy8YJLOZUiNd1eJbkQ+7Fs4jk7+UHRadu15d3xThkjv4dO2uy26ov8XGrEZI vh5vKRHHbdIVgCIDQl+ZVdTlYAujFa/0GNGVQ= Received: by 10.86.91.12 with SMTP id o12mr362033fgb.16.1232026657633; Thu, 15 Jan 2009 05:37:37 -0800 (PST) Received: from ?192.168.0.46? (92.44.227.87.static.f.siw.siwnet.net [87.227.44.92]) by mx.google.com with ESMTPS id e11sm172209fga.42.2009.01.15.05.37.36 (version=SSLv3 cipher=RC4-MD5); Thu, 15 Jan 2009 05:37:36 -0800 (PST) Message-ID: <496F3CE6.3080600@gmail.com> Date: Thu, 15 Jan 2009 14:40:54 +0100 From: Erik User-Agent: Thunderbird 2.0.0.19 (X11/20090102) MIME-Version: 1.0 To: Juanma Barranquero CC: 1913@debbugs.gnu.org Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode References: <496EECEB.1020209@gmail.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Juanma Barranquero skrev: > On Thu, Jan 15, 2009 at 08:59, Erik wrote: > >> So how should I tell the highlighter that the file is >> Ada95 or Ada2005 (and not Ada83)? I think that emacs should assume that >> the file is not Ada83 if a non-ASCII character is used in an identifier. >> > > It's not that the Ada mode is assuming any specific version. There's a > variable `ada-language-version', but it just affects which keywords > are recognized as such. The problem is simply that some of the regexps > were written in the ASCII-only era and have not been updated. > > Try the following patch, which should fix this particular case. I'll > bring the issue to the Ada mode maintainer for a more permanent fix. > > Juanma > > > Index: lisp/progmodes/ada-mode.el > =================================================================== > RCS file: /sources/emacs/emacs/lisp/progmodes/ada-mode.el,v > retrieving revision 1.101 > diff -u -2 -r1.101 ada-mode.el > --- lisp/progmodes/ada-mode.el 9 Jan 2009 04:15:56 -0000 1.101 > +++ lisp/progmodes/ada-mode.el 15 Jan 2009 09:05:02 -0000 > @@ -5224,5 +5224,5 @@ > ;; correctly highlight a with_clause that spans multiple lines. > (list (concat "\\<\\(goto\\|raise\\|use\\|with\\)" > - "[ \t]+\\([a-zA-Z0-9_., \t]+\\)\\W") > + "[ \t]+\\([[:alnum:]_., \t]+\\)\\W") > '(1 font-lock-keyword-face) '(2 font-lock-reference-face nil t)) > The patch is an improvement, but it highlights some illegal identifiers. The correct regexp for an Ada identifier is "[[:alpha:]](_?[^\W_])*". See this example (in bash): for i in hög _hög h_ög h__ög h_ö_g hög_ _ hau_og do echo $i | egrep "^[[:alpha:]](_?[^\W_])*$" done It only matches the allowed identifiers: hög h_ög h_ö_g hau_og (no leading, consecutive or trailing '_') There seems to be a lot of places with a-z in ada-mode.el. From lekktu@gmail.com Thu Jan 15 06:42:52 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 15 Jan 2009 14:42:52 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-2.0 required=4.0 tests=GMAIL,HAS_BUG_NUMBER, MURPHY_DRUGS_REL8 autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.190]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0FEglCd022057 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 06:42:49 -0800 Received: by nf-out-0910.google.com with SMTP id 30so148451nfu.31 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 06:42:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=u28GsXfSrZJaHkxqvZsvtla8l6PdZZo31FZrcHIx0Oo=; b=nOo3I5mhBHWNoEb1bh1E0pn6y1kbdi9E7HN0cZG+dFn/gTLuTTZl0+r51dT+Vw9uEH Qzgr4hmaMYMehL+nlp3rNA6nxHlB98+FrwD1F0frvQBHn+9In/hulLu41jCHc9CBHucg WRam1l9P9wi1kHCF43T4POCLN25CqE8gWuxas= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=XHtIWUuuwGYCmZmj9u9wQ/TM/aBHdY5CLZ/F4gUgEPRViHGvpTGrCBduBffotE6EQF hJZi0G4OUyzdO0IsielW0OKz/8ShLiiuEGxd8wdf/xYgQT3/aEaWidFu2WlCdp6B6wle cVcdlDnmgkZQpK1d0A7YJpUG6BJkJIFJjFbvE= Received: by 10.210.129.19 with SMTP id b19mr1739224ebd.86.1232030566829; Thu, 15 Jan 2009 06:42:46 -0800 (PST) Received: by 10.210.141.18 with HTTP; Thu, 15 Jan 2009 06:42:46 -0800 (PST) Message-ID: Date: Thu, 15 Jan 2009 15:42:46 +0100 From: "Juanma Barranquero" To: Erik Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode Cc: 1913@debbugs.gnu.org In-Reply-To: <496F3CE6.3080600@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <496EECEB.1020209@gmail.com> <496F3CE6.3080600@gmail.com> On Thu, Jan 15, 2009 at 14:40, Erik wrote: > The patch is an improvement, but it highlights some illegal identifiers. That shouldn't be a problem. You don't use font-locking to determine whether the identifier follows Ada rules, do you? :-) > (no leading, consecutive or trailing '_') Yes, I know the spec. But I don't think the problem of false positives is worth making the regexp slower. > There seems to be a lot of places with a-z in ada-mode.el. Yes. I suppose Stephen will welcome patches, assuming they are correct. Are you aware of the Emacs ada-mode hompage http://www.stephe-leake.org/emacs/ada-mode/emacs-ada-mode.html and list http://stephe-leake.org/mailman/listinfo/emacs-ada-mode_stephe-leake.org ? Juanma From esigra@gmail.com Thu Jan 15 15:00:02 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 15 Jan 2009 23:00:03 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-2.0 required=4.0 tests=GMAIL,HAS_BUG_NUMBER, MURPHY_DRUGS_REL8 autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from fg-out-1718.google.com (fg-out-1718.google.com [72.14.220.155]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0FMxw8A018521 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 14:59:59 -0800 Received: by fg-out-1718.google.com with SMTP id l27so633685fgb.43 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 14:59:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:cc:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=AnG/m4rVfmShXQvuHx+lqfVZgriyS/9VAvwf1qGKs6g=; b=WK+0ukMarV1fSfxHw2cHhcqIsOtXdf4mXZ6bN9s9g0VDGdH3A6f8sW1VJT0kvla5Uy BbdsK6lJm8H3gnv+t68aIF7m+SRLAZRJysINcaNsIYa0Sl56B7v08qPNUVkfySvRWaea 8nQIzy94HYs7ZSy6bliBzEA/41HtsLQSRCx8M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; b=S+3em3fBHmXfrelpEefs30jhQDaWnGMcRdttwDBVF8Aa188TjmYDnAo5lV25CMWrat JKSR5T6rA8WMXf9fuyvKeWZ9X4GnSMecCniyk14Pd3irIxg/+dIkYyGaQdX3cthoS45I wOriCwYoeXxCneyjVfo9EApHCk0v1XfbiSy3k= Received: by 10.86.80.17 with SMTP id d17mr1620234fgb.55.1232060396553; Thu, 15 Jan 2009 14:59:56 -0800 (PST) Received: from ?192.168.0.46? (92.44.227.87.static.f.siw.siwnet.net [87.227.44.92]) by mx.google.com with ESMTPS id d6sm1164430fga.50.2009.01.15.14.59.54 (version=SSLv3 cipher=RC4-MD5); Thu, 15 Jan 2009 14:59:55 -0800 (PST) Message-ID: <496FC0B1.3020207@gmail.com> Date: Fri, 16 Jan 2009 00:03:13 +0100 From: Erik User-Agent: Thunderbird 2.0.0.19 (X11/20090102) MIME-Version: 1.0 To: Juanma Barranquero CC: 1913@debbugs.gnu.org Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode References: <496EECEB.1020209@gmail.com> <496F3CE6.3080600@gmail.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Juanma Barranquero skrev: > On Thu, Jan 15, 2009 at 14:40, Erik wrote: > > >> The patch is an improvement, but it highlights some illegal identifiers. >> > > That shouldn't be a problem. You don't use font-locking to determine > whether the identifier follows Ada rules, do you? :-) > Actually I do notice the highlighting and take advantage of it as an early error detector. If it makes me notice an error immediately, before I move on to another part of the code or try to compile things, it is useful. If a word is not highlighted as expected when I have typed it, I automatically stop to see what I did wrong. >> (no leading, consecutive or trailing '_') >> > > Yes, I know the spec. But I don't think the problem of false positives > is worth making the regexp slower. > Did you have a performance problem with that regexp? I do not really believe that there is a reason to worry about it without some measurements. I have a 1.6 GHz CPU and want to take advantage of it. I think it should be able to recognize Ada identifiers as a type them. The regexp guru that I once talked with suggested this: [[:alpha:]](?:_?[^\W_])* The (?:) is equivalent to () but faster since it is a so-called non-capturing group, which should always be used when capturing is not needed. Maybe that helps? >> There seems to be a lot of places with a-z in ada-mode.el. >> > > Yes. I suppose Stephen will welcome patches, assuming they are correct. > > Are you aware of the Emacs ada-mode hompage > > http://www.stephe-leake.org/emacs/ada-mode/emacs-ada-mode.html > > and list > > http://stephe-leake.org/mailman/listinfo/emacs-ada-mode_stephe-leake.org > > ? > No, I just subscribed now, thanks. If I make any changes I will send it there. From lekktu@gmail.com Thu Jan 15 15:10:48 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 15 Jan 2009 23:10:48 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-2.0 required=4.0 tests=GMAIL,HAS_BUG_NUMBER, MURPHY_DRUGS_REL8 autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from ey-out-2122.google.com (ey-out-2122.google.com [74.125.78.27]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0FNAiFH023444 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 15:10:46 -0800 Received: by ey-out-2122.google.com with SMTP id 4so161310eyf.13 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 15:10:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=X6jidzMFs7RZbbpN7mfC2GfFvVNAFEr3jGgGKGjTAI4=; b=ZiQ1yHoTARR5DaVK+n/Q6QGYjdWSVMjQsEkmfguMeMeHvMG+wPEc4pKki8+h791KUH 6JDvBkuVWF2CZgjEBKNWRCZUlnwOnPgcmwTpxemXVv1IDU8L5L3X1im6f3qxn4Tk9UVU yNcgVb5RSpDH2Gri0THVyr20CGY2kH7b2onGY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=XTz1zKE1PU21Xvl6jz2mNEjyo5wr/6IUSjwX1dLEjM8FR508J7QqbfD7NtFHlDDHGa qfXdqi6IKUSbxuecGPy7SiBSwE1FxkEoCsCoGzE1nwCno+j5EYRd9s6i3Wd0zKMvzIn2 ZJ7biPP5Y/Vz8keWbmarZdMpa4LBO6b4i4h7c= MIME-Version: 1.0 Received: by 10.210.131.6 with SMTP id e6mr293578ebd.77.1232061044058; Thu, 15 Jan 2009 15:10:44 -0800 (PST) In-Reply-To: <496FC0B1.3020207@gmail.com> References: <496EECEB.1020209@gmail.com> <496F3CE6.3080600@gmail.com> <496FC0B1.3020207@gmail.com> Date: Fri, 16 Jan 2009 00:10:44 +0100 Message-ID: Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode From: Juanma Barranquero To: Erik Cc: 1913@debbugs.gnu.org Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On Fri, Jan 16, 2009 at 00:03, Erik wrote: > Actually I do notice the highlighting and take advantage of it as an > early error detector. If it makes me notice an error immediately, before > I move on to another part of the code or try to compile things, it is > useful. If a word is not highlighted as expected when I have typed it, I > automatically stop to see what I did wrong. But we're not talking of something that is highlighted "when you move to another part of the code"; more like "when you finish the next token in the line". > Did you have a performance problem with that regexp? I do not really > believe that there is a reason to worry about it without some > measurements. I have a 1.6 GHz CPU and want to take advantage of it. I > think it should be able to recognize Ada identifiers as a type them. I don't have a performance problem, but font-locking isn't the fastest of Emacs features. You have a 1,6 GHz CPU; mine is fast, too. But Emacs is used in all kinds of computers. That said, if you write a patch to make the font-locking more correct without sacrificing performance, I'm sure it'll be very welcome. > The (?:) is equivalent to () but faster since it is a so-called > non-capturing group, which should always be used when capturing is not > needed. Maybe that helps? Not really. Font-lock patterns have capturing groups for a reason (that's what the 1, 2 in the next line refer to). Juanma From monnier@iro.umontreal.ca Thu Jan 15 18:17:12 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 16 Jan 2009 02:17:12 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-0.5 required=4.0 tests=HAS_BUG_NUMBER,XIRONPORT autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from ironport2-out.teksavvy.com (ironport2-out.pppoe.ca [206.248.154.182]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0G2H861013396 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 18:17:10 -0800 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwEAMB8b0lMCpxj/2dsb2JhbACBbMt7hXGBdQ X-IronPort-AV: E=Sophos;i="4.37,274,1231131600"; d="scan'208";a="32382989" Received: from 76-10-156-99.dsl.teksavvy.com (HELO pastel.home) ([76.10.156.99]) by ironport2-out.teksavvy.com with ESMTP; 15 Jan 2009 21:16:58 -0500 Received: by pastel.home (Postfix, from userid 20848) id 0EC0D7F41; Thu, 15 Jan 2009 21:16:58 -0500 (EST) From: Stefan Monnier To: Erik Cc: 1913@debbugs.gnu.org, Juanma Barranquero Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode Message-ID: References: <496EECEB.1020209@gmail.com> <496F3CE6.3080600@gmail.com> <496FC0B1.3020207@gmail.com> Date: Thu, 15 Jan 2009 21:16:58 -0500 In-Reply-To: <496FC0B1.3020207@gmail.com> (Erik's message of "Fri, 16 Jan 2009 00:03:13 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii > Did you have a performance problem with that regexp? I do not really > believe that there is a reason to worry about it without some > measurements. I have a 1.6 GHz CPU and want to take advantage of it. I > think it should be able to recognize Ada identifiers as a type them. Agreed: the right regexp doesn't seem to be significantly more complex. Stefan From lekktu@gmail.com Thu Jan 15 18:22:27 2009 Received: (at 1913) by emacsbugs.donarmstrong.com; 16 Jan 2009 02:22:27 +0000 X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02 (2008-06-10) on rzlab.ucr.edu X-Spam-Level: X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. X-Spam-Status: No, score=-2.9 required=4.0 tests=HAS_BUG_NUMBER,MURPHY_SEX_L2 autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02 Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.188]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n0G2MOoa014808 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 18:22:25 -0800 Received: by nf-out-0910.google.com with SMTP id 30so193560nfu.31 for <1913@emacsbugs.donarmstrong.com>; Thu, 15 Jan 2009 18:22:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=iXGcLlwsaz05bSUSXdGN1wtn3ekLgh8CVLFtZnzVJAE=; b=vTWplsYzPQpNrqiolRmspGPfWzoDPqkTJT/gIXqS9snHnuHgQ8UYiuf6T9LrNodSdH jdR9x51zwxhL+Hru1WsRgGF8BpqaTTyo2BCxROBq7OzE/J18NQdjw0+lpHSest00qeBW eLcmTNctsKhwtqhQNCZvKh6Oo00vAA342iZVs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=tEdTawbzFTdSLS8G9EV2HDaLWDnmQZCP06Oa7N4J2tQLBGSe8pUd9qK138sOKaaxF+ eDSxXIUKN1wCAHTgfc6QmnnlLNlwsMoTkmduDrTKe8ss9e1yV9ggWuq4PjyobPDE4YI0 VqrUYzFRjUz/nu6tcQHS+zzM3wN7WudAj0LS0= MIME-Version: 1.0 Received: by 10.210.19.7 with SMTP id 7mr1205598ebs.18.1232072543628; Thu, 15 Jan 2009 18:22:23 -0800 (PST) In-Reply-To: References: <496EECEB.1020209@gmail.com> <496F3CE6.3080600@gmail.com> <496FC0B1.3020207@gmail.com> Date: Fri, 16 Jan 2009 03:22:23 +0100 Message-ID: Subject: Re: bug#1913: Identifier after reserved word "raise" is not always highlighted in Ada-mode From: Juanma Barranquero To: Stefan Monnier Cc: Erik , 1913@debbugs.gnu.org Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On Fri, Jan 16, 2009 at 03:16, Stefan Monnier wrote: > Agreed: the right regexp doesn't seem to be significantly more complex. Oh, I'm not opposing to it, just leaving the issue in the hands of the Emacs ada-mode maintainer, Stephen Leake. Juanma From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 13 03:03:17 2010 Received: (at 1913) by debbugs.gnu.org; 13 Jan 2010 08:03:17 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NUyCD-0004I6-Mi for submit@debbugs.gnu.org; Wed, 13 Jan 2010 03:03:17 -0500 Received: from qmta05.westchester.pa.mail.comcast.net ([76.96.62.48]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NUyCC-0004Hv-IR for 1913@debbugs.gnu.org; Wed, 13 Jan 2010 03:03:16 -0500 Received: from omta18.westchester.pa.mail.comcast.net ([76.96.62.90]) by qmta05.westchester.pa.mail.comcast.net with comcast id Uw351d0011wpRvQ55w35SM; Wed, 13 Jan 2010 08:03:05 +0000 Received: from SABUL ([68.50.111.2]) by omta18.westchester.pa.mail.comcast.net with comcast id Uw3R1d0020394wc3ew3Rlr; Wed, 13 Jan 2010 08:03:26 +0000 To: 1913@debbugs.gnu.org Subject: Re: bug#1913: Identifier after reserved word "raise" is not always From: Stephen Leake User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (windows-nt) Date: Wed, 13 Jan 2010 03:03:24 -0500 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 1913 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -0.2 (/) It is clear that [a-zA-Z] does not match the characters permitted by the Ada standard. However, neither does [[:alpha:]] - consider this fragment: procedure do=C2=B5=20 the '=C2=B5' (entered by C-x 8 u) is not matched by [[:alpha:]]* (Emacs 23.1, Windows XP, LANG=3DC.UTF-8). This could be fixed by the user; they can define =C2=B5 to have word syntax. Ideally, we would have regular expression character ranges that match those defined by ISO/IEC 10646:2003 (see LRM 2.1);=20 Letter, Uppercase Letter, Lowercase Letter, Titlecase Letter, Modifier Letter, Other Mark, Non-Spacing Mark, Spacing Combining Number, Decimal Number, Letter Punctuation, Connector Other, Format Separator, Space Separator, Line Separator, Paragraph These categories are used to define Ada lexical elements (LRM 2.2). But I don't think that's going to happen. It seems the best compromise is to replace a-z etc with [:alpha:] or [:alnum:] as appropriate, and hope the user knows how to define characters to have word syntax. That's a lot of work, since each modified regexp needs to be tested. As for matching leading underscores, I agree it would be nice to get it right. Using shy groups (the elisp name for non-capturing groups) would help, since it won't disturb the group numbering, as well as being faster. If it doesn't complicate the testing, I'll try to do that. Do you have suggestions about which regular expressions are more important to be fixed? If you can provide typical code, and point out the most annoying font-lock failures, that would be a good start. --=20 -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 09 19:25:21 2011 Received: (at 1913) by debbugs.gnu.org; 9 Jul 2011 23:25:22 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qfgtl-00042L-5A for submit@debbugs.gnu.org; Sat, 09 Jul 2011 19:25:21 -0400 Received: from mail-pz0-f44.google.com ([209.85.210.44]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qfgtj-000428-68 for 1913@debbugs.gnu.org; Sat, 09 Jul 2011 19:25:19 -0400 Received: by pzk5 with SMTP id 5so2336784pzk.3 for <1913@debbugs.gnu.org>; Sat, 09 Jul 2011 16:25:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=TCFa9Vd0oxE+eG+O+TZuyJA5/gQ3R/+o/gDigBE5Q+4=; b=Fw7vGiYphWf/9V2v06OUBAhkfcroBxpf97Mq9NJPDxe+uHGvaIgRnshe2Q4FzS7M2k f4o+kGF1mrJhS1gwrXpjcZiCZB8gkWYcSby68xYNL1RyJwFq1R1kaM7XrsaESnwotITY GsHoe+4LU+0vyjj7u3FBvgeI3AVkOb7u8Rc1Y= Received: by 10.143.91.16 with SMTP id t16mr1097303wfl.366.1310253913078; Sat, 09 Jul 2011 16:25:13 -0700 (PDT) MIME-Version: 1.0 Received: by 10.142.144.4 with HTTP; Sat, 9 Jul 2011 16:24:33 -0700 (PDT) In-Reply-To: References: From: Juanma Barranquero Date: Sun, 10 Jul 2011 01:24:33 +0200 Message-ID: Subject: Re: bug#1913: Identifier after reserved word "raise" is not always To: Stephen Leake Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -3.3 (---) X-Debbugs-Envelope-To: 1913 Cc: 1913@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.3 (---) Stephen, are you planning to fix this problem? > It is clear that [a-zA-Z] does not match the characters permitted by > the Ada standard. > > However, neither does [[:alpha:]] - consider this fragment: > > procedure do=C2=B5 > > the '=C2=B5' (entered by C-x 8 u) is not matched by [[:alpha:]]* > (Emacs 23.1, Windows XP, LANG=3DC.UTF-8). That's because C-x 8 u inserts U+00B5 MICRO SIGN. Try C-x 8 3BC , which inserts U+03BC GREEK SMALL LETTER MU. =C2=A0 =C2=A0 Juanma From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 10 13:29:08 2011 Received: (at 1913) by debbugs.gnu.org; 10 Jul 2011 17:29:08 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qfxoa-00087K-JI for submit@debbugs.gnu.org; Sun, 10 Jul 2011 13:29:08 -0400 Received: from qmta11.westchester.pa.mail.comcast.net ([76.96.59.211]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QfxoY-00086r-Tl for 1913@debbugs.gnu.org; Sun, 10 Jul 2011 13:29:07 -0400 Received: from omta19.westchester.pa.mail.comcast.net ([76.96.62.98]) by QMTA11.westchester.pa.mail.comcast.net with comcast id 6HTw1h00327AodY5BHV2ri; Sun, 10 Jul 2011 17:29:02 +0000 Received: from SABUL ([69.140.67.196]) by omta19.westchester.pa.mail.comcast.net with comcast id 6HV11h00U4E4Fsd3fHV1zJ; Sun, 10 Jul 2011 17:29:02 +0000 From: Stephen Leake To: Juanma Barranquero Subject: Re: bug#1913: Identifier after reserved word "raise" is not always References: Date: Sun, 10 Jul 2011 13:28:21 -0400 In-Reply-To: (Juanma Barranquero's message of "Sun, 10 Jul 2011 01:24:33 +0200") Message-ID: <82aacm3v0q.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 1913 Cc: 1913@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Juanma Barranquero writes: > Stephen, are you planning to fix this problem? (the general problem of updating ada-mode to use regexp that match a more correct range of characters) It's not currently on my list; I haven't gotten any more email about it, and it's a lot of tedious work. I find I have less time for ada-mode these days; I mostly work on monotone and DVC (ada-mode does what I need). -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 10 19:13:36 2011 Received: (at 1913) by debbugs.gnu.org; 10 Jul 2011 23:13:37 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qg3Bw-0001p2-OJ for submit@debbugs.gnu.org; Sun, 10 Jul 2011 19:13:36 -0400 Received: from mail-pz0-f44.google.com ([209.85.210.44]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qg3Bu-0001oq-7Q for 1913@debbugs.gnu.org; Sun, 10 Jul 2011 19:13:34 -0400 Received: by pzk5 with SMTP id 5so2834531pzk.3 for <1913@debbugs.gnu.org>; Sun, 10 Jul 2011 16:13:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=7wZwEtGqcRHQ6LtlzIUHKIvtYAAQqiiKAg0445XKZ00=; b=a8DtB/MMJxALxmVuFDL+N9j27dnNiptxeyhhIXDWbpxtqc1b3grG4NuvCkp/dbyUB8 b/mAHkPn83nRwTftEbwm8qjABCul5jSlhcAa7fRcw9mxXd7vMwoUvjZuGeg0RnSQ0kPQ 61nO2lVPisgcdOooGna7AVQGeLV5NP9WNagz8= Received: by 10.142.249.42 with SMTP id w42mr1743377wfh.195.1310339608111; Sun, 10 Jul 2011 16:13:28 -0700 (PDT) MIME-Version: 1.0 Received: by 10.142.144.4 with HTTP; Sun, 10 Jul 2011 16:12:47 -0700 (PDT) In-Reply-To: <82aacm3v0q.fsf@stephe-leake.org> References: <82aacm3v0q.fsf@stephe-leake.org> From: Juanma Barranquero Date: Mon, 11 Jul 2011 01:12:47 +0200 Message-ID: Subject: Re: bug#1913: Identifier after reserved word "raise" is not always To: Stephen Leake Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -3.3 (---) X-Debbugs-Envelope-To: 1913 Cc: 1913@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.3 (---) On Sun, Jul 10, 2011 at 19:28, Stephen Leake wrote: > It's not currently on my list; I haven't gotten any more email about it, > and it's a lot of tedious work. Well, it makes sense. > I find I have less time for ada-mode > these days; I mostly work on monotone and DVC (ada-mode does what I need)= . Do you plan to adapt it to Ada 2012? Not much new syntax, but aspect specifications and quantified expressions (with a new keyword, "some") will require some adjustment. =C2=A0 =C2=A0 Juanma From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 12 06:13:25 2011 Received: (at 1913) by debbugs.gnu.org; 12 Jul 2011 10:13:25 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QgZy0-0004a0-Dg for submit@debbugs.gnu.org; Tue, 12 Jul 2011 06:13:24 -0400 Received: from qmta02.emeryville.ca.mail.comcast.net ([76.96.30.24]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QgZxx-0004Zk-FD for 1913@debbugs.gnu.org; Tue, 12 Jul 2011 06:13:22 -0400 Received: from omta11.emeryville.ca.mail.comcast.net ([76.96.30.36]) by qmta02.emeryville.ca.mail.comcast.net with comcast id 6yBu1h0030mlR8UA2yDCn7; Tue, 12 Jul 2011 10:13:12 +0000 Received: from SABUL ([69.140.67.196]) by omta11.emeryville.ca.mail.comcast.net with comcast id 6yDD1h0024E4Fsd8XyDDkC; Tue, 12 Jul 2011 10:13:14 +0000 From: Stephen Leake To: Juanma Barranquero Subject: Re: bug#1913: Identifier after reserved word "raise" is not always In-Reply-To: (Juanma Barranquero's message of "Mon, 11 Jul 2011 01:12:47 +0200") Date: Mon, 11 Jul 2011 09:07:41 -0400 References: <82aacm3v0q.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (windows-nt) Message-ID: <82aacj3iyu.fsf@stephe-leake.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: 1913 Cc: 1913@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -1.9 (-) Juanma Barranquero writes: > On Sun, Jul 10, 2011 at 19:28, Stephen Leake > wrote: > >> It's not currently on my list; I haven't gotten any more email about it, >> and it's a lot of tedious work. > > Well, it makes sense. > >> I find I have less time for ada-mode >> these days; I mostly work on monotone and DVC (ada-mode does what I need). > > Do you plan to adapt it to Ada 2012? Not much new syntax, but aspect > specifications and quantified expressions (with a new keyword, "some") > will require some adjustment. My approach to this is to add stuff as I encounter a need in my own work, and to support others doing the same with advice. We have not yet migrated to a 2012 compiler at work, so it won't happen soon. -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 12 08:20:20 2011 Received: (at 1913) by debbugs.gnu.org; 12 Jul 2011 12:20:20 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qgbwq-0001Xv-AB for submit@debbugs.gnu.org; Tue, 12 Jul 2011 08:20:20 -0400 Received: from mail-pz0-f44.google.com ([209.85.210.44]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Qgbwo-0001Xk-6D for 1913@debbugs.gnu.org; Tue, 12 Jul 2011 08:20:18 -0400 Received: by pzk5 with SMTP id 5so4068000pzk.3 for <1913@debbugs.gnu.org>; Tue, 12 Jul 2011 05:20:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=/MUuAgrHrOoHaY5PQUmL3vYoxcqBNmR+B4QEeP5B2ls=; b=GfrmTdm1tg4azZkwgiKrdUvLfGoWoYfASz6lZsbrDwtYBJGROYDpjcxnD5s4fER68g xOW2WGuZPiJJdMoCtuZnQSKw0hPNp2oh+caauNbU4TyAJIssk/41tbbHl4LCRBjmMeuv eVcPB+TwlLnHqH9Sy0sriLgxgO+9EoNNWc9ag= Received: by 10.143.90.11 with SMTP id s11mr698247wfl.366.1310473212180; Tue, 12 Jul 2011 05:20:12 -0700 (PDT) MIME-Version: 1.0 Received: by 10.142.144.4 with HTTP; Tue, 12 Jul 2011 05:19:32 -0700 (PDT) In-Reply-To: <82aacj3iyu.fsf@stephe-leake.org> References: <82aacm3v0q.fsf@stephe-leake.org> <82aacj3iyu.fsf@stephe-leake.org> From: Juanma Barranquero Date: Tue, 12 Jul 2011 14:19:32 +0200 Message-ID: Subject: Re: bug#1913: Identifier after reserved word "raise" is not always To: Stephen Leake Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -3.3 (---) X-Debbugs-Envelope-To: 1913 Cc: 1913@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.3 (---) On Mon, Jul 11, 2011 at 15:07, Stephen Leake wrote: > My approach to this is to add stuff as I encounter a need in my own > work, and to support others doing the same with advice. > > We have not yet migrated to a 2012 compiler at work, so it won't happen > soon. OK, understood. Thanks, =C2=A0 =C2=A0 Juanma From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 16 14:42:20 2020 Received: (at 1913) by debbugs.gnu.org; 16 Apr 2020 18:42:20 +0000 Received: from localhost ([127.0.0.1]:39400 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jP9Su-0001Wj-FP for submit@debbugs.gnu.org; Thu, 16 Apr 2020 14:42:20 -0400 Received: from gateway33.websitewelcome.com ([192.185.146.82]:18323) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jP9Ss-0001Wb-Iw for 1913@debbugs.gnu.org; Thu, 16 Apr 2020 14:42:19 -0400 Received: from cm13.websitewelcome.com (cm13.websitewelcome.com [100.42.49.6]) by gateway33.websitewelcome.com (Postfix) with ESMTP id 93FE08F10 for <1913@debbugs.gnu.org>; Thu, 16 Apr 2020 13:42:17 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id P9Srj3XTqVQh0P9SrjDNEN; Thu, 16 Apr 2020 13:42:17 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Ma2Ad0ITZcPp3h0R9wnDrlthZIXMpnYgL6S069LeySE=; b=YhtdhG1rbqhRXeW1TCZZ584M79 J6dLM2F3OSKgLVDQp5oDy6PvdRoi8u8QzVsYqJBQL0UAKuDn6kLt/Yc8kjDDaGdg2gRUabHg6jwG5 6JEnFzmROOxLTrVPqCgy0j46o2DRYFgTmov6Fw+EEChSDckDrhRKcX/TR9ziLgQpTYkk0FXcfgwrg iJxedjuC2cP9SAAYkAA9fgvYnwOcdtAvfP4xG+hmGbI8tdZ4+XPr/W3qJhGVzv93C/tD421exjKRL 2LIECX7CJjllt7nlYns7ZvfSSOK/6dDCmmVusS1YkYGccU2yFD/bK1k0590edF+AuB9a9bGzSrGft Ni/mwNfQ==; Received: from [76.77.182.20] (port=60025 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1jP9Sq-000e6D-Sl for 1913@debbugs.gnu.org; Thu, 16 Apr 2020 12:42:16 -0600 From: Stephen Leake To: 1913@debbugs.gnu.org Subject: Identifier after reserved word "raise" is not always highlighted in Ada-mode Date: Thu, 16 Apr 2020 10:42:12 -0800 Message-ID: <86v9lzgtmj.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1jP9Sq-000e6D-Sl X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:60025 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 1913 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Will be fixed in next ada-mode release; non-ASCII regular expressions have been fixed. -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 16 14:42:47 2020 Received: (at control) by debbugs.gnu.org; 16 Apr 2020 18:42:47 +0000 Received: from localhost ([127.0.0.1]:39403 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jP9TK-0001XQ-NL for submit@debbugs.gnu.org; Thu, 16 Apr 2020 14:42:46 -0400 Received: from gateway30.websitewelcome.com ([192.185.180.41]:34718) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jP9TJ-0001XJ-DP for control@debbugs.gnu.org; Thu, 16 Apr 2020 14:42:45 -0400 Received: from cm10.websitewelcome.com (cm10.websitewelcome.com [100.42.49.4]) by gateway30.websitewelcome.com (Postfix) with ESMTP id DB6504AC36 for ; Thu, 16 Apr 2020 13:42:44 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id P9TIjqLMbEfyqP9TIjj7MJ; Thu, 16 Apr 2020 13:42:44 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=x8WgaNGen36W93qNcRxglIG3j6wuozekqyfd2rdQXtg=; b=F9FbKV6VUrb1SmmvkmihKbakot mPv6dUEji/GFUoL5/XBaIKgoX5chXSmKXN3D+Uj9ak26PDnTMOpGj80P5xTB7rnmozXiUfAZVUkKY omeku4sbWn7wkpnNB9TwxQNmYU9rc8PLPUbrvwJKbTrQxYly+DbVRHzxovP93LUR65+xDhhVoYKbJ vGV1sfMFZZVnOAPnip23c481M9tJZLZ+VM/b/Ac6pazITgAYjTfGMXIwZj2vgLyA5gNiXFeFk3fFq jtsAF2bSuYUkdP+OoPdF+5aeZaWteA8L0uk70rmcinvjapktpcWsUtcdkhsMjqTmSM6/VDPx5tTqg c/9EBujg==; Received: from [76.77.182.20] (port=60026 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1jP9TI-000eOw-AB for control@debbugs.gnu.org; Thu, 16 Apr 2020 12:42:44 -0600 From: Stephen Leake To: control@debbugs.gnu.org Subject: pending Date: Thu, 16 Apr 2020 10:42:40 -0800 Message-ID: <86r1wngtlr.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1jP9TI-000eOw-AB X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:60026 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 2 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) tags 1913 + pending -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 02 14:12:24 2020 Received: (at 1913-close) by debbugs.gnu.org; 2 Jul 2020 18:12:24 +0000 Received: from localhost ([127.0.0.1]:55615 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jr3hA-0005ri-D6 for submit@debbugs.gnu.org; Thu, 02 Jul 2020 14:12:24 -0400 Received: from gateway32.websitewelcome.com ([192.185.145.119]:47113) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jr3h6-0005rT-9D for 1913-close@debbugs.gnu.org; Thu, 02 Jul 2020 14:12:23 -0400 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway32.websitewelcome.com (Postfix) with ESMTP id 944D840FFE27 for <1913-close@debbugs.gnu.org>; Thu, 2 Jul 2020 13:12:03 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id r3gmjMknvzOaur3gnjWCZB; Thu, 02 Jul 2020 13:12:03 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=1w1c+9lpuRS0Kru1xoTVptnXWmC8kbQt+for7R8V1oo=; b=UWxGABKu1tFLNYQI/MrP5QrLB8 hDFkdk05MGQWjCyjF80vBDlF01s5PjRhtsMYk6AHJW0dlQgRnMryCgahOAl5VbkPOimTgQqAVK8N0 F69LO/DV7EuScjqn3UqNQkaauL0Z5rFddfds1kymYhvnDSqlHlkPBn5gpmcakyBun42g4hHcLi94X YH+mUgZzK/CU/xbL+dUpl/4+s+skTpH2h7V+7NjMshJRpfRLGFL7Cw5+eirLQQL6joklksVq2l11i FlV+3zjZ2INPIJpIY8GCmvl6YqiuH0hnJeyumxd1Mp0FdGq0v0p+FP02AaaU5HTWhDBnkznbK63kJ A9KQTWOg==; Received: from [76.77.182.20] (port=58762 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1jr3gm-001ysQ-LL for 1913-close@debbugs.gnu.org; Thu, 02 Jul 2020 12:12:00 -0600 From: Stephen Leake To: 1913-close@debbugs.gnu.org Subject: closed by ada-mode version 7.1 Date: Thu, 02 Jul 2020 11:11:56 -0700 Message-ID: <86lfk1okgj.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1jr3gm-001ysQ-LL X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:58762 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 1913-close X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) -- -- Stephe From unknown Wed Jun 25 05:41:03 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 31 Jul 2020 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator