Evite resaltar palabras clave después de ciertas palabras en los listados.

Question

instancey ofson palabras clave en Haskell. Pero también aparecen en mensajes de error como No instance for... arising from the use of.... Me gustaría decir listingsque instancedespués Nono debe considerarse una palabra clave (sin eliminar el resaltado por completo). ¿Es posible?

Residencia enProhibir palabras clave en listados, Esperaba

literate={use of}{use of}6

funcionaría, pero no es así (curiosamente, dar 11 como longitud No instanceproduce una "constante alfabética incorrecta" y un "número faltante, tratado como cero").

Documento de ejemplo:

\documentclass[12pt]{beamer}
\usepackage[utf8]{inputenc}
\usepackage[T1,T2A]{fontenc}
\usepackage{color}
\usepackage{listings}
\lstset{
    language=Haskell,
    basicstyle=\ttfamily\footnotesize,
    keywordstyle=\color{blue},
    literate={use of}{use of}6
}
\begin{document}
\begin{lstlisting}
<interactive>:11:1: error:
No instance for (Num Bool) arising from a use of '+'
In the expression: True + False
In an equation for 'it': it = True + False
\end{lstlisting}
\end{document}

El resultado deseado es que , Numy todavía estén resaltados, pero no deberían estarlo (preferiblemente sin cambiar el contenido del entorno).BoolTrueFalseinstanceoflstlisting