diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-12-09 22:26:43 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-12-09 22:26:43 -0500 |
| commit | 4773b4308203a7f9d50a26831ccf56d8afe3c5e5 (patch) | |
| tree | 9adb3b56ceceb2425d39109bdba3943338878e7a | |
| parent | c00d2f59df1f3707d529531fd0c6b55903516ec4 (diff) | |
| download | haskell-4773b4308203a7f9d50a26831ccf56d8afe3c5e5.tar.gz | |
Fix minor mistake in comment about data decls.
Fixes #16024. [skip ci]
| -rw-r--r-- | compiler/typecheck/TcInstDcls.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcInstDcls.hs b/compiler/typecheck/TcInstDcls.hs index e2150e7b8b..2fb9857ed3 100644 --- a/compiler/typecheck/TcInstDcls.hs +++ b/compiler/typecheck/TcInstDcls.hs @@ -784,8 +784,8 @@ tcDataFamHeader :: AssocInstInfo -> TyCon -> [Name] -> Maybe [LHsTyVarBndr GhcRn -> HsTyPats GhcRn -> Maybe (LHsKind GhcRn) -> [LConDecl GhcRn] -> TcM ([TyVar], [Type], Kind, ThetaType) -- The "header" is the part other than the data constructors themselves --- e.g. data instance D [a] :: * -> * = ... --- Here the "header" is the bit before the "=" sign +-- e.g. data instance D [a] :: * -> * where ... +-- Here the "header" is the bit before the "where" tcDataFamHeader mb_clsinfo fam_tc imp_vars mb_bndrs fixity hs_ctxt hs_pats m_ksig hs_cons = do { (imp_tvs, (exp_tvs, (stupid_theta, lhs_ty, res_kind))) <- pushTcLevelM_ $ |