‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Thursday, August 22, 2019 3:10 PM, Eric Bavier <[email protected]> wrote: > Could you detail a simple reproducer? E.g. attach the idris code, detail your > environment, and a simple walkthrough of the commands to reach the linker > error you're seeing? That would help others help track down the issue.
Not the simplest, but this is what I'm trying to get working: channel with Idris 2: https://gitlab.com/raingloom/guix-packages Guix with Idris 1.3.2: https://gitlab.com/raingloom/guix-source/commits/raingloom/idris-1.3.2 I'll look for a more minimal example as well.
