diff options
Diffstat (limited to 'compiler/typecheck/TcType.lhs')
-rw-r--r-- | compiler/typecheck/TcType.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 0864e5de33..18f2dfa6a2 100644 --- a/compiler/typecheck/TcType.lhs +++ b/compiler/typecheck/TcType.lhs @@ -609,8 +609,8 @@ tidyCos env = map (tidyCo env) %************************************************************************ \begin{code} - --- | Finds type family instances occuring in a type after expanding synonyms. +-- | Finds outermost type-family applications occuring in a type, +-- after expanding synonyms. tcTyFamInsts :: Type -> [(TyCon, [Type])] tcTyFamInsts ty | Just exp_ty <- tcView ty = tcTyFamInsts exp_ty |