rename global vars in tests

[marko-subotic]

Working on #769. I wrote a script to parse a file and add the $ prefix to global variables that don't have it, another to use this to format all files, and third to verify that all files don't have compiler warnings.

I left the scripts off the commit to avoid cluttering the repo with one-off scripts, but if they might be used in the future to format computer generated files, I can add them.

[codspeed-hq]

CodSpeed Performance Report

Merging this PR will not alter performance

_{Comparing marko-subotic:main (ba2caec) with main (b98b178)}

Summary

✅ 22 untouched benchmarks
⏩ 190 skipped benchmarks¹

Footnotes

1. 190 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[oflatt]

Great work! We discussed and would actually like the script you used in the PR as well (:
Now that you have fixed this, could you also enable strict mode in all egglog tests in files.rs?

[oflatt]

Probably we should also have a variant of this test where this line has (let a (Wrap 1)) which should also fail.

[oflatt]

While we are at it, if the rule comes before the global it should be allowed

[marko-subotic]

When I enable strict mode, all of the term_encoding tests fail. One way to fix this (I think) is to change the INTERNAL_PREFIX variable from @ to $@, that seems dirty because I have no idea if they're always supposed to be global.

[oflatt]

Oh I see. I'd say let's just disable strict mode for term encoding tests for now.
In the future I'll make the term encoding work by adding the global prefix when it generates names.

[oflatt]

Looks good!

[oflatt]

Maybe this folder should be in a dev_utilities folder for clarity?