/0/0 in gawk

[Dan Jacobson]

OK, I forgot to quote "/dev/stdout" [GNU Awk 3.1.0]:

$ awk 'BEGIN{print "b" /dev/stdout}'
awk: cmd. line:1: fatal: division by zero attempted
$ awk 'BEGIN{print "b"> /dev/stdout}'
$ ls -l 0
-rw-r--r--    1 jidanni  jidanni         2 01  8 19:55 0

OK, my question is why can it make a 0 out of /../.. when making a
filename, but not otherwise?  Shame, shame.  /../.. must be "new
math".

ok, I get it. the first one is "b"/0/0, ["b"==0], and the second one
is 0/0/, but what is /0/0?
At least the second one is a bug?
-- 
http://www.geocities.com/jidanni/ Tel+886-4-25854780