[This is the commit message that should have gone with the
typechecker commit a few minutes ago, whose message said
~/tmp/msg1
]
Improve location and context information on Insts (notably Dicts),
and thereby improve error messages that relate to dictionaries.
This arose from Marc van Doguen's suggestion.
\section[Inst]{The @Inst@ type: dictionaries or method instances}
\begin{code}
-module Inst (
+module Inst (
LIE, emptyLIE, unitLIE, plusLIE, consLIE, zonkLIE,
plusLIEs, mkLIE, isEmptyLIE,