Agda.Interaction.Highlighting.Emacs
clearSyntaxInfo
writeEmacsFile
appendErrorToEmacsFile
tests