Pragmas in Lexer

[Ian Lynagh]

On Sat, Dec 29, 2012 at 11:24:23AM +0100, JP Moresmau wrote:
>
>                 let prTS = lexTokenStream sb lexLoc flg
> 
> This prints:
> ["ITblockComment \" CPP #\"","ITmodule","ITconid
> \"Main\"","ITwhere","ITvocurly","ITvarid \"main\"","ITequal","ITvarid
> \"undefined\""]
> 
> Why is the first token ITblockComment and not ITlanguage_prag? Do I need to
> enable something special to get pragma tokens?

lexTokenStream uses mkPState, but I think you need to use pragState to
get the language pragmas. (see Lexer.x).


Thanks
Ian