Stream: Coq users

Topic: Windows parsing change

view this post on Zulip Andres Erbsen (Sep 06 2022 at 22:02):

Any ideas for what might have changed in parsing between 8.12 and 8.15, affecting Windows only? I seem to have a file that gives a nondescript parse error on Github Windows CI with 8.15 but not with 8.12. The file contains all 256 byes as printing Notations for Byte.byte constructors. (There is a bedrock2 Github issue for this, but Github seems down rn, so no link)

Last updated: Oct 05 2023 at 02:01 UTC