git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] userdiff: update Ada patterns

From
Jeff King <peff@peff.net>
Date
Feb 2, 2014, 23:35 UTC
Message-ID
<20140202233531.GE16196@sigill.intra.peff.net>
In-Reply-To
<52EE234C.1060002@redneon.com>
On Sun, Feb 02, 2014 at 09:21:56PM +1030, Adrian Johnson wrote:
> - Allow extra space in "is new" and "is separate"
> [...]
> -	 "!^(.*[ \t])?(is new|renames|is separate)([ \t].*)?$\n"
> +	 "!^(.*[ \t])?(is[ \t]+new|renames|is[ \t]+separate)([ \t].*)?$\n"

I do not know anything about Ada syntax, but this change looks obviously sensible.

> - Fix bug in word regex for numbers
> -	 "|[0-9][-+0-9#_.eE]"
> +	 "|[-+0-9#_.eE]+"
This makes "E" or "_" a number. Is that right?

I think the intent of the original was "starts with a digit, and then has one or more of these other things after it". You do not describe the bug, but I guess it would be that it does not match obvious things like "5". Should it be "zero or more" instead, like:

  [0-9][-+0-9#_.eE]*
? Also, should -/+ be hoisted to the front?
  [-+]?[0-9][0-9#_.eE]*
Again, I am just guessing, as I am not familiar enough with Ada.
-Peff
Previous: Adrian JohnsonNext: Adrian Johnson
Message 2 of 8 in “userdiff: update Ada patterns”
  1. userdiff: update Ada patternsAdrian Johnson, Feb 2, 2014
  2. Jeff KingFeb 2, 2014
  3. Adrian JohnsonFeb 3, 2014
  4. userdiff: update Ada patternsAdrian Johnson, Feb 3, 2014
  5. Junio C HamanoFeb 3, 2014
  6. Adrian JohnsonFeb 5, 2014
  7. Junio C HamanoFeb 5, 2014
  8. Jeff KingFeb 5, 2014

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.