Skip to content

[ fix ] issue 3697 - #3699

Open
stefan-hoeck wants to merge 4 commits into
idris-lang:mainfrom
stefan-hoeck:fix3697
Open

stefan-hoeck wants to merge 4 commits into
idris-lang:mainfrom
stefan-hoeck:fix3697

Conversation

@stefan-hoeck

@stefan-hoeck stefan-hoeck commented Dec 9, 2025 •

Copy link
Copy Markdown
Contributor

Description

This fixes #3697 by not using show on a string during code generation.

Self-check

  • This is my first time contributing, I've carefully read CONTRIBUTING.md
    and I've updated CONTRIBUTORS.md with my name.
  • If this is a fix, user-facing change, a compiler change, or a new paper
    implementation, I have updated CHANGELOG_NEXT.md

@tzemanovic tzemanovic mentioned this pull request Mar 9, 2026
3 tasks done
@gallais
gallais marked this pull request as draft July 28, 2026 10:37
@gallais
gallais marked this pull request as ready for review July 28, 2026 10:37
@gallais gallais closed this Jul 28, 2026
@gallais gallais reopened this Jul 28, 2026
@gallais

gallais commented Jul 28, 2026

Copy link
Copy Markdown
Member

windows-bootstrap-chez fails with

Exception in read: invalid string character \I at line 1, char 84 of build\exec\runtests_app\compileChez

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Chez backend: Invalid UTF-8 encoding for paths with non-ASCII characters

3 participants