text
text copied to clipboard
Mark Data.Text.Internal as Safe Haskell
I think you might have a different interpretation of "Module encapsulation" than the intended one. Safe Haskell only promises that the semantics of abstraction are respected, it doesn't promise that you can't see the representation of a datatype by importing it from some other module.
So I don't see a reason for Data.Text.Internal
to not be marked as Trustworthy module. E.g. containers
Data.Set.Internal
is trustworthy. And I'd expect that libraries bundles with GHC do the Safe Haskell stuff the same (and right) way if they have any Safe Haskell annotations at all.