Re: Words than are not this word

On Thu, Sep 08, 2022 at 08:31:10AM +0100, Norm Tovey-Walsh scripsit:
[snip]
> > Is there a way to disambiguate this and guarantee that each delete or
> > insert will start a block?
[snip]
> Another way is to preprocess the input so that the keywords (“delete”
> and “insert”) can be made unambiguously different from ordinary words.
> 
> I picked the Line Separator character (U+2028) which is neither a space
> nor part of a word in your grammar and changed the rules (in what
> follows, I’ve used “?” instead of the actual line separator because the
> actual line separator is probably going to get mangled by email
> transmission):

Wise!

[snip]
> Hope that helps.

It does; thank you!

I can run that locally and get the clean division at "delete" or
"insert". So there's a technique.

I'm already using ☃ -- U+2603 -- as an end-of-record marker in the real
stuff, adding another pin-character shouldn't present significant
challenges.

My appreciated!

-- 
Graydon Saunders  | graydonish@gmail.com
Þæs oferéode, ðisses swá mæg.
-- Deor  ("That passed, so may this.")

Received on Thursday, 8 September 2022 11:55:02 UTC