185 enable tests on windows and macOS runners - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

185 enable tests on windows and macOS runners #337

Closed deemp closed 3 months ago

deemp commented 3 months ago

closes #185
closes #249
closes #250

PR-Codex overview

This PR updates the project to use with-utf8 dependency, adds Main.hs for tests, and includes improvements in test scripts and Setup.hs.

Detailed summary

Added with-utf8 dependency
Updated test scripts to improve test execution
Renamed Spec.hs to Main.hs for tests
Added Main.Utf8 import in Main.hs
Modified Setup.hs for better build process

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}