From mboxrd@z Thu Jan  1 00:00:00 1970
From: Aharon Robbins <arnold@skeeve.com>
Message-Id: <200311171216.hAHCGrov030115@skeeve.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Re: configure misery
In-Reply-To: <20031117002402.GA1301@ratsnest.hole>
References: <Pine.LNX.4.44.0311161231100.6550-100000@fbsd.cpsc.ucalgary.ca>
Cc:
Date: Mon, 17 Nov 2003 14:16:53 +0200
Topicbox-Message-UUID: 8d47c360-eacc-11e9-9e20-41e7f4b1d025

In article <20031117002402.GA1301@ratsnest.hole> you write:
>There's another GPL'ed awk there, called mawk.

Yes, mawk is faster, it uses a different internal algorithm (byte codes
vs. recursive tree evaluation).  It is also, sadly, unmaintained; there
hasn't been a new release since 1996, and it does have a few bugs.

>And it seems not to have some of gawk's bugs:
>
>|| $ echo | gawk 'function p() { print "hi" } BEGIN { gsub(/a/, p()) }'
>|| $ echo | nawk 'function p() { print "hi" } BEGIN { gsub(/a/, p()) }'
>|| hi
>|| $ echo | mawk 'function p() { print "hi" } BEGIN { gsub(/a/, p()) }'
>|| hi

What version of gawk are you using?  I get the expected output on my
system with 3.1.3 (the current version).  (Let's take the rest of the
discussion off line.)

Arnold