[Haskell-cafe] Deprecation being transitively reported for re-exported definitions
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Sun Aug 15 07:34:07 UTC 2021
On Sat, Aug 14, 2021 at 09:53:14PM -0400, Ivan Perez wrote:
> For example, if B needs to re-export a record with fields and data
> constructors, then you can't export those with a type synonym. You can
> re-define and export the data constructor and the record fields as
> functions, but then you can't do pattern matching or use record syntax on
> them anymore.
Indeed, it doesn't work for types *in general*.
More information about the Haskell-Cafe