diff options
Diffstat (limited to 'compiler/iface/IfaceType.hs')
-rw-r--r-- | compiler/iface/IfaceType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/IfaceType.hs b/compiler/iface/IfaceType.hs index 121f64533d..3353ddd7e4 100644 --- a/compiler/iface/IfaceType.hs +++ b/compiler/iface/IfaceType.hs @@ -492,7 +492,7 @@ inDomIfaceTySubst :: IfaceTySubst -> IfaceTvBndr -> Bool -- See Note [Substitution on IfaceType] inDomIfaceTySubst subst (fs, _) = isJust (lookupFsEnv subst fs) -substIfaceType :: IfaceTySubst -> IfaceType -> IfaceType +substIfaceType :: HasCallStack => IfaceTySubst -> IfaceType -> IfaceType -- See Note [Substitution on IfaceType] substIfaceType env ty = go ty |