[allow names without modules such as RawType. allow numbers in names
John Meacham <john@repetae.net>**20070530223049] hunk ./utils/op_names.prl 66
-    /^([_A-Za-z]+)\s+([_A-Za-z.@]+)\.([)(#A-Za-z%:_\[\]]+)\s*$/ or die "unrecognized line $_";
-    my ($name,$mod,$var) = ($1,$2,$3);
+    /^([_A-Za-z0-9]+)\s+(([0-9_A-Za-z.@]+)\.)?([0-9)(#A-Za-z%:_\[\]]+)\s*$/ or die "unrecognized line $_";
+    my ($name,$mod,$var) = ($1,$3,$4);
hunk ./utils/op_names.prl 71
-    print "$name = toName $nametype (\"$mod\",\"$var\")\n";
+    if (defined $mod) {
+        print "$name = toName $nametype (\"$mod\",\"$var\")\n";
+    } else {
+        print "$name = toName $nametype \"$var\"\n";
+    }