Has anyone sucussefully compiled code with Idris on NixOS?


I’d like to know if anyone else here is using Idris on NixOS. I’ve been using it with mixed results. Specifically, my generated binaries do not work:

$ idris 2_goodies.idr -o out && ./out
./out: relocation error: /nix/store/27x7pinqdsl9f3rpbm8bsszd9fhwq266-glibc-2.27/lib/libc.so.6: symbol _dl_exception_create, version GLIBC_PRIVATE not defined in file ld-linux-x86-64.so.2 with link time reference

Works here, will follow-up on your issue!