Name
Name
Hello. Just for the record, this duplicates some parts of #588
Hello @Pancakem and @c0deaddict. I am sorry but I have duplicated your efforts in #608. Because of the variable renamings, there is a lot of noise in the diff, and...
The tests were passing on my machine, so they will probably also pass in an updated Docker image.
Not exactly. This work is based on #592, but only needs the Make parts. I have cherry-picked the interesting commits. Thanks.
The only remaining failure is `elm`, which is completely unrelated (#608 ).
elm fails because the Docker image needs to be updated (#608), but Types.elm suggests that Core.elm/apply accepts macros. Implementations for which core/apply refuses macro arguments: erlang fsharp haskell nasm prolog...
I have rebased on #592 because rebasing was a nightmare. Apparently, all failures related to *this* merge request are fixed.
The xslt failures illustrate such differences. I have hopefully solved the first issue (python3 may not be in PATH), but now runtest.py fails to find impl/xslt/run on actual docker images....
Hello. While working on #592, I have modified the logo implementation. It now passes tests for step5 with the default garbage collection settings, at least on my machine. The choice...
Please also comment on the changes in `process/step*.txt`. They are quite intrusive so I do not want them to implicitly pass under your radar. The macro changes affect steps 8-A,...