jwaldmann

--allow-unsolved-interaction-metas ?

2

the Agda compiler error messages (and Emacs mode) make a distinction between 1. unsolved interaction meta (green) 2. unsolved meta (yellow) that distinction is useful during development: 1 is expected...

cabal-install-3.12.1.0 works, later versions don't - for project using libncursesw

10

`cabal run` for example from hscurses: - does work when built with cabal-install-3.10.3.0 - does not work (example starts but shows funny behaviour) with later cabal-install Something changed in the...

when biulding ncurses: The symbol `can_change_color' does not fit here.

9

when building ncurses-0.2.16, I get ``` cabal install ... c2hs: C header contains errors: /usr/include/curses.h:638: (column 13) [ERROR] >>> Syntax error ! The symbol `can_change_color' does not fit here. ```...