Marcial Gaißert

Results 47 comments of Marcial Gaißert

Re-running usually fixed it for me, but this is quite often 🤔 Was there a change on our side that might have made this more probable to occur for a...

IMHO outputting to a file might be better. 🤔 Then, we could also support outputting multiple IRs in a more useful way (which can be helpful since, e.g., IIRC some...

https://github.com/effekt-lang/effekt/blob/2e865ae84a2eaba2ac82fd7c78d52c8e95a4c614/libraries/js/io/args.effekt#L7 This should be a 1 probably?

The other part of the problem seems to be #319.

Note to self: Potentially, factor out common `createScript` / `createScriptOrShebang` functions.

Apparently (https://github.com/effekt-lang/effekt/actions/runs/8722693317/job/23929134561?pr=442#step:5:297) bat prints what it does. Have to fix that.

And of course paths are a problem: https://github.com/effekt-lang/effekt/actions/runs/8722798996/job/23929494648?pr=442#step:5:512 Any ideas on how to handle this nicely?

I actually like the solution in #158 more (if it works) - there, we do not normalize the test outputs, but instead always print Unix-Style paths in error messages IIUC....

This now uses the solution from #158, which I like better and also seems to work. The CI seems to run, still has to be tested on an actual Windows...

@jiribenes I think I'd delay the fix of escaped newlines to another issue/PR (out of scope for this). So: Merging :tada: