[Agda] arch inux packaging error?

Nils Anders Danielsson nad at cse.gu.se
Wed Mar 6 22:29:32 CET 2019


On 05/03/2019 17.31, Marko Schuetz-Schmuck wrote:
> System/FilePath/GlobPattern.hs:8:8: error:
>      Could not find module ‘Prelude’
>      There are files missing in the ‘base-4.12.0.0’ package,
>      try running 'ghc-pkg check'.

> Any hints on addressing these?

It sounds to me as if your installation of GHC/the Haskell
Platform/whatever it was that you installed is rather broken. You could
try running "ghc-pkg check" to get more information.

-- 
/NAD


More information about the Agda mailing list