This repository was archived by the owner on Jan 5, 2024. It is now read-only.
This repository was archived by the owner on Jan 5, 2024. It is now read-only.
error: one or more packages couldn't be built #70Closed
Description
building my library I often get an error like
[error] Couldn't build library target for statebox/idris-ct 0.1.0 (dir+/home/marcosh/projects/statebox/idris-ct)
> "idris" "--check" "-p" "contrib" "Monad/VerifiedMonadAsMonad.lidr"
error: one or more packages couldn't be built
not necessarily on the same file every time.
Compiling directly with idris works fine.
Would it be possible to have a more verbose output explaining what the issue is?
Metadata
Metadata
Assignees
Labels
No labels