> 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