Interest in adding source location to the AST?

[VictorCMiraldo]

I came to discover HaTeX when needing a LaTeX parser in Haskell. I would need source location on the AST elements and it seems like HaTeX doesn't support this.

I'm happy to implement it myself in a fork if there is interest! I would just modify the AST with a type variable which can be used to store SrcLoc records from Parsec. How much would this break?

edit: A more interesting approach would be to have two modules: Text.HaTeX.Base.Syntax.WithParm and Text.HaTeX.Base.Syntax. The former defines types like data LaTeX a = ... whereas the later re-exports type LaTex = WithParm.LaTeX (). Someone interested in just generating LaTeX code can use the simpler variant. Let me know if that makes any sense! :)

Thanks!

[leftaroundabout]

I don't think parameterising LaTeX per se would break much, but the actual constructors are also used in a couple of places. Maybe we could introduce pattern synonyms for backwards compatibility though.

[VictorCMiraldo]

Yes, that's what I thought too.

I'll sketch something and make a PR; might be easier to discuss some actual code.