Development <dev@justus.science> writes:

> Hey guys I have a (hopefully quick) question.
>
> With the new `Data.Typeable` and `Data.Reflection` in base 4.10 have we 
> really lost the ability for users to compose `TypeRep`’s?
>
> I was using `Data.Typeable` before (mainly `mkTyConApp`). But in the
> new base 4.10 I cannot find any way to achieve the same goal.
>
> I have read the wiki page Typeable and Typeable/BenGamari and neither
> explicitly mentions the removal of `mkTyConApp` and similar
> facilities. In fact the latter mentions potential implementations for
> user constructed type applications twice with `mkTrApp` at the
> beginning of the page and `mkApp` at the end.
> Furthermore the documentation for `Typeable` (and `Reflection`) also
> never mentions the fact that this functionality was removed.
>

Indeed, as is noted in the changelog for base [1], mkTyConApp and
friends were removed. mkTyConApp in particular allowed the construction
of ill-kinded type representations so instead of emulating the previous
behavior we rather opted to remove it.

If you were previously using these interfaces you almost certainly want
to instead use the new type-indexed interface provided by
Type.Reflection. In particular, you can use the App constructor in
place of mkTyConApp.

Cheers,

- Ben


[1] https://hackage.haskell.org/package/base-4.10.1.0/changelog

Attachment: signature.asc
Description: PGP signature

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to