RE: https://mastodon.social/@mcc/117436268385215562
This tale - it's long, read it! - reminds me why I try to minimize my time programming. I'm not sure why math seems so much easier to me, but one reason is that I don't like to remember precise syntax: I don't like it when the world blows up if I forget a comma or something.
Inconveniently the Haskell package manager doesn't fricking work.
What… I don't understand what this very long error message is telling me. Do I need to upgrade Cabal? Do I need to downgrade Cabal? Is some existing package I have selected in a version incompatible with Idris? I can literally blow away my entire set of installed Haskell packages, I don't mind. Would that help? :(
EDIT: A six year old Google Groups comment reveals the secret is to pass cabal the flag "--allow-newer". Terrifying
