Move to gawk-3.1.0.

1 files changed, 7 insertions, 0 deletions

diff --git a/test/leaddig.awk b/test/leaddig.awk
new file mode 100644
index 00000000..6c001ba6
--- /dev/null
+++ b/test/leaddig.awk
@@ -0,0 +1,7 @@
+# check that values with leading digits get converted the
+# right way, based on a note in comp.lang.awk.
+#
+# run with gawk -v x=2E -f leaddig.awk
+BEGIN {
+	print "x =", x, (x == 2), (x == 2E0), (x == 2E), (x == 2D)
+}