diff options
Diffstat (limited to 'compiler/hsSyn/HsBinds.hs')
-rw-r--r-- | compiler/hsSyn/HsBinds.hs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/compiler/hsSyn/HsBinds.hs b/compiler/hsSyn/HsBinds.hs index ef14fab248..82d014b642 100644 --- a/compiler/hsSyn/HsBinds.hs +++ b/compiler/hsSyn/HsBinds.hs @@ -191,8 +191,13 @@ data HsBindLR idL idR -- to have the right type abs_exports :: [ABExport idL], - abs_ev_binds :: TcEvBinds, -- ^ Evidence bindings - abs_binds :: LHsBinds idL -- ^ Typechecked user bindings + -- | Evidence bindings + -- Why a list? See TcInstDcls + -- Note [Typechecking plan for instance declarations] + abs_ev_binds :: [TcEvBinds], + + -- | Typechecked user bindings + abs_binds :: LHsBinds idL } | PatSynBind (PatSynBind idL idR) |