X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FusageSP%2FUsageSPLint.lhs;h=5e74b74c6ba205a07a57c6f010177529135ee480;hb=10b66230065ac2426509b60eb2da0a314b34d0e3;hp=41d71c5dedfe3033234a01e98e3020cb16dc97ae;hpb=3c0c2b28456ba4076e3ceb942825a79c329d62af;p=ghc-hetmet.git diff --git a/ghc/compiler/usageSP/UsageSPLint.lhs b/ghc/compiler/usageSP/UsageSPLint.lhs index 41d71c5..5e74b74 100644 --- a/ghc/compiler/usageSP/UsageSPLint.lhs +++ b/ghc/compiler/usageSP/UsageSPLint.lhs @@ -6,7 +6,7 @@ This code is (based on) PhD work of Keith Wansbrough , 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, @@ -343,6 +343,8 @@ checkCE (Note (Coerce _ _) e) (Note (Coerce _ _) e') = checkCE e e' 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'))