Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#78119 - [agda-stdlib] 1.7.2-1 warnings overload

Attached to Project: Community Packages
Opened by Thorsten Wissmann (twi) - Wednesday, 05 April 2023, 07:53 GMT
Last edited by Toolybird (Toolybird) - Wednesday, 05 April 2023, 08:20 GMT
Task Type Bug Report
Category Packages
Status Assigned
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 0%
Votes 2
Private No

Details

Description:
The PKGBUILD for agda-stdlib replaces the upstream file standard-library.agda-lib and by that removes the flag --warning=noUnsupportedIndexedMatch which suppresses certain warnings. When now compiling any agda file using the standard libray, the output is flooded with 3470 lines of warnings raised from the standard-library.


Additional info:
* Archlinux's standard-library.agda-lib: https://github.com/archlinux/svntogit-community/blob/packages/agda-stdlib/trunk/standard-library.agda-lib.in
* Upstream's standard-library.agda-lib: https://github.com/agda/agda-stdlib/blob/master/standard-library.agda-lib
* agda's console output when compiling any file is attached
* agda 2.6.3-2
* agda-stdlib 1.7.2-1

Steps to reproduce:
mkdir -p ~/.agda
echo 'standard-library' > ~/.agda/defaults
echo '/usr/share/agda/lib/standard-library.agda-lib' > ~/.agda/libraries
echo 'import Data.Vec' > hello.agda
agda hello.agda # output in attached file.
   agda-warnings.log (136.4 KiB)
This task depends upon

Loading...