diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-07-15 14:17:24 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-07-15 14:17:26 -0400 |
| commit | b35e01c6c39d9f2d58009722e24d89049aa94287 (patch) | |
| tree | 08108ba75336be4f228e6e52b5da95d3e4905223 | |
| parent | 37aeff631766eebf5820b980d614bef78960291a (diff) | |
| download | haskell-b35e01c6c39d9f2d58009722e24d89049aa94287.tar.gz | |
Bring comments in TcGenGenerics up to date
[ci skip]
| -rw-r--r-- | compiler/typecheck/TcGenGenerics.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/typecheck/TcGenGenerics.hs b/compiler/typecheck/TcGenGenerics.hs index a734ae873e..5757e98592 100644 --- a/compiler/typecheck/TcGenGenerics.hs +++ b/compiler/typecheck/TcGenGenerics.hs @@ -135,7 +135,8 @@ canDoGenerics :: TyCon -> Validity -- Check (a) from Note [Requirements for deriving Generic and Rep] is taken -- care of because canDoGenerics is applied to rep tycons. -- --- It returns Nothing if deriving is possible. It returns (Just reason) if not. +-- It returns IsValid if deriving is possible. It returns (NotValid reason) +-- if not. canDoGenerics tc = mergeErrors ( -- Check (b) from Note [Requirements for deriving Generic and Rep]. @@ -221,7 +222,8 @@ explicitly, even though foldDataConArgs is also doing this internally. -- Checks (a) through (c) from Note [Requirements for deriving Generic and Rep] -- are taken care of by the call to canDoGenerics. -- --- It returns Nothing if deriving is possible. It returns (Just reason) if not. +-- It returns IsValid if deriving is possible. It returns (NotValid reason) +-- if not. canDoGenerics1 :: TyCon -> Validity canDoGenerics1 rep_tc = canDoGenerics rep_tc `andValid` additionalChecks |