I suppose we might want RuntimeRep to stabilise before its inclusion in a
non-GHC.* namespace. Open to suggestions on whether that matters -
typically people using RuntimeRep know what they're doing, and are small in
number, so they could handle the breakage just fine.
On Sun, Aug 2, 2020, 9:12 AM David Feuer
My impression is that RuntimeRep may not have stabilized all the way yet. There are things that work for LiftedRep and UnliftedRep that want to be polymorphic that way.
On Sun, Aug 2, 2020, 12:10 PM Krzysztof Gogolewski < krz.gogolewski@gmail.com> wrote:
Hello,
I'd like to export TYPE, RuntimeRep(..), Multiplicity(..) from Data.Kind. (Multiplicity is the Linear Haskell type - One and Many.)
Currently you have to import GHC.Exts / GHC.Types which conflicts with Safe Haskell. I think both levity and linearity polymorphism should be available under Safe Haskell.
Data.Kind already contains Constraint and Type.
-Krzysztof _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries