Hi Alex, > On guix-devel¹, I had given an incomplete patch to update idris to > 1.2.0. After further investigation, I concluded this was the wrong > approach because our current version of GHC is 8.0.2, so the right > version of LTS Haskell to follow is https://www.stackage.org/lts-9.4, > which includes Idris 1.0, not 1.2.
Thank you! Could you please send a patch per modified package instead of a copy of the module? -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net
