Andreas Abel

Tested here: https://github.com/andreasabel/miniagda/actions/runs/3513071912/jobs/5885471883#step:4:3260 Fixed the backslash problem for the files in subdirectories (here `adm/adm1.ma`): ``` ok test\fail.goldplate (adm/adm1.ma): stdout ``` (The `stdout`, which you cannot see here, contains something like...

Ping @jaspervdj-luminal.

@jaspervdj-luminal : What do you think about this change?

Since I am not getting a reaction, I assume you do not mind this change, and will go ahead. I hope this is fine.

Ah, good to hear back from you! I have been stalled on this PR a bit since I got weird WSL errors on the GHA Windows runner. Locally, on my...

It could be that the call to [normalise](https://hackage.haskell.org/package/filepath-1.4.100.0/docs/System-FilePath.html#v:normalise) here is to blame: https://github.com/fugue/goldplate/blob/5ca490ca7845417f7f67da5fb682001468e2862f/src/Main.hs#L222 According to the [docs](https://hackage.haskell.org/package/filepath-1.4.100.0/docs/System-FilePath.html#v:normalise), it includes the following replacement: > / -> [pathSeparator](https://hackage.haskell.org/package/filepath-1.4.100.0/docs/System-FilePath.html#v:pathSeparator) This means that under...

What's up with your CI?

Thanks for the heads up, @gromakovsky ! I leave further handling of this PR to you, please use/modify it in any way you want.

> After making it build (mentioned in other comment), tests are passing, but part of the CLI help message has to be fixed: I can reproduce it with the stack...

> Relevant: [haskell-actions/setup#83](https://github.com/haskell-actions/setup/pull/83) Now released as 2.7.2