Regexp Errors

[Benjamin Bradshaw]

Hello,

I'm running into some errors with the proof command and regexp escape sequences. Here are some samples:

awk: /pathto/proof3.awk:213: warning: regexp escape sequence `\=' is not a known regexp operator
awk: /pathto/proof3.awk:657: warning: regexp escape sequence `\_' is not a known regexp operator
awk: /pathto/proof3.awk:831: warning: regexp escape sequence `\&' is not a known regexp operator

I'm using Arch linux which has gawk 5.2.2-1 installed, I know just enough about awk to know there are lots of different version and flavors of it. Is this an instance where I'd need a different one?

[Bryan Jacob Bell]

Hello, 

I would assume that awk is throwing that error because those characters should not need to be escaped; they are not regex operators or metacharacters. Perhaps the problem is that the proof command was originally programmed when those characters were treated differently than they are now. Or, your machine is running a version of awk that treats them differently. Unless "gawk -f" is specified in a shebang or on the command line, then the proof tool probably ran "awk -f proof input" and not "gawk -f proof input." The copy of the proof command that I have on my machine says that it is from the '90s. You could try using the humdrum command instead: https://www.humdrum.org/Humdrum/commands/humdrum.html.

-Bryan Bell

--
--
This is a message is from the **HUG newgroup.
To post to this group, send email to stars...@googlegroups.com
To unsubscribe from this group, send email to
starstarhug...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/starstarhug?hl=en
---
You received this message because you are subscribed to the Google Groups "starstarhug" group.
To unsubscribe from this group and stop receiving emails from it, send an email to starstarhug...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/starstarhug/ba1a0525-6c09-42fb-b748-84c461496fe2n%40googlegroups.com.

--

Thanks,

Bryan J. Bell