diff options
Diffstat (limited to 'ghc/compiler/usageSP/UsageSPUtils.lhs')
| -rw-r--r-- | ghc/compiler/usageSP/UsageSPUtils.lhs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ghc/compiler/usageSP/UsageSPUtils.lhs b/ghc/compiler/usageSP/UsageSPUtils.lhs index d421d1be3e..fd91ec217e 100644 --- a/ghc/compiler/usageSP/UsageSPUtils.lhs +++ b/ghc/compiler/usageSP/UsageSPUtils.lhs @@ -464,6 +464,8 @@ unannotTy (NoteTy (UsgForAll uv) ty) = unannotTy ty unannotTy (NoteTy (UsgNote _ ) ty) = unannotTy ty unannotTy (NoteTy (SynNote sty) ty) = NoteTy (SynNote (unannotTy sty)) (unannotTy ty) unannotTy (NoteTy note@(FTVNote _ ) ty) = NoteTy note (unannotTy ty) +-- IP notes need to be preserved +unannotTy ty@(NoteTy (IPNote _) _) = ty unannotTy ty@(TyVarTy _) = ty unannotTy (AppTy ty1 ty2) = AppTy (unannotTy ty1) (unannotTy ty2) unannotTy (TyConApp tc tys) = TyConApp tc (map unannotTy tys) |