text icon indicating copy to clipboard operation
text copied to clipboard

Mark Data.Text.Internal as Safe Haskell

Open phadej opened this issue 8 months ago • 3 comments

E.g. Simon Marlow said to me

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.

phadej avatar Oct 19 '23 11:10 phadej