[Agda] Agda and GHC 7.8

Jan Stolarek jan.stolarek at p.lodz.pl
Fri Sep 26 08:07:19 CEST 2014


> That seems to be the miracle workings of LINE pragmas in the generated
> Lexer.hs.
Yes, you're right.

> What does the position Lexer.x:0:2 mean?  Is it the line before the LINE
> 1 pragma?
I don't know but I can tell you that the beginning of Lexer.x looks perfectly fine.

Janek


More information about the Agda mailing list