[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