This code is (based on) PhD work of Keith Wansbrough <kw217@cl.cam.ac.uk>,
September 1998 .. May 1999.
-Keith Wansbrough 1998-09-04..1999-05-03
+Keith Wansbrough 1998-09-04..1999-06-25
\begin{code}
module UsageSPLint ( doLintUSPAnnotsBinds,
checkCE (Note InlineCall e) (Note InlineCall e') = checkCE e e'
+checkCE (Note InlineMe e) (Note InlineMe e') = checkCE e e'
+
checkCE t@(Note (TermUsg u) e) t'@(Note (TermUsg u') e')
= checkCE e e'
`unionBags` (checkUsg u u' (WorseTerm t t'))