print "local open Const in\n";print "val predef_variables = [\n"; open(VARS, $ARGV[0]) || die("cannot open $ARGV[0]");$first = 1;while(<VARS>) { if (m|/\* (".*"),(".*") \*/|) { print ",\n" unless $first; print " {qual=\"General\", id=$2}"; $first = 0; }}close(VAR); print "\n];\nend;\n";
print "local open Const in\n";
print "val predef_variables = [\n";
open(VARS, $ARGV[0]) || die("cannot open $ARGV[0]");
$first = 1;
while(<VARS>) {
if (m|/\* (".*"),(".*") \*/|) {
print ",\n" unless $first;
print " {qual=\"General\", id=$2}";
$first = 0;
}
}
close(VAR);
print "\n];\nend;\n";