> 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