idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-27 13:40:15 +03:00
Code Issues Projects Releases Wiki Activity
main
Idris2/tests/chez/chez037/expected
Steve Dunham 4d46c18b5f [ fix ] Report chez failures
2024-08-02 20:05:20 +01:00

2 lines
54 B
Plaintext
Raw Permalink Blame History

Error: INTERNAL ERROR: Chez exited with return code 1
Reference in New Issue View Git Blame Copy Permalink