[Agda] Agda and GHC 7.8

Jan Stolarek jan.stolarek at p.lodz.pl
Thu Sep 25 15:46:38 CEST 2014


> Can you manually
>
>    src/full/Agda/Syntax/Parser$ alex Lexer.x
>
> ?
I get no errors + Lexer.hs gets generated. But then trying `cabal install` or `make install-bin` 
(in hope that lexer generation will be skipped) still fails.

Janek


More information about the Agda mailing list