clean-libraries merge requestshttps://gitlab.science.ru.nl/clean-and-itasks/clean-libraries/-/merge_requests2021-05-21T10:15:07+02:00https://gitlab.science.ru.nl/clean-and-itasks/clean-libraries/-/merge_requests/20GraphCopy: fix Windows export_clean_symbol for __Nil and __None (again)2021-05-21T10:15:07+02:00Camil StapsGraphCopy: fix Windows export_clean_symbol for __Nil and __None (again)In !19 I did not take the two extra `__` characters for `__Nil` and `__None` into account. The sizes of the strings should be 5 and 6, not 3 and 4.
This probably causes https://gitlab.com/clean-and-itasks/abc-interpreter/-/issues/113, b...In !19 I did not take the two extra `__` characters for `__Nil` and `__None` into account. The sizes of the strings should be 5 and 6, not 3 and 4.
This probably causes https://gitlab.com/clean-and-itasks/abc-interpreter/-/issues/113, but I have no way to test at the moment.Steffen MichelsSteffen Michelshttps://gitlab.science.ru.nl/clean-and-itasks/clean-libraries/-/merge_requests/19GraphCopy: fix copy-paste bug in Windows exported_clean_symbol2021-05-19T22:14:16+02:00Camil StapsGraphCopy: fix copy-paste bug in Windows exported_clean_symbolI incorrectly copied some code from the *nix version :flushed:I incorrectly copied some code from the *nix version :flushed:Steffen MichelsSteffen Michels