Proposal: Move primitive-Data.Primitive.Addr API into base

[Andrew Martin]

I like the idea of moving the type Addr into base. But we cannot move the
entire module since it has functions that talk about PrimMonad, and we
definitely don't want to move that into base.

On Thu, Oct 25, 2018 at 11:25 AM Daniel Cartwright <chessai1996 at gmail.com>
wrote:

> Motivation: There are a lot of places in base where 'Ptr a' is used in
> place of 'Addr', because in base there is no 'Addr', only 'Addr#'. The
> problem lies in the fact that many of these uses of 'Ptr a' are lying; the
> 'a' value is meaningless. Authors of functions therein have used things
> like 'Ptr ()', 'Ptr Word8', 'Ptr a', but these types do not mean what they
> say they mean - they're just Addr. There are probably other motivations for
> this that I can't think of off the top of my head right now.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>


-- 
-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20181025/acbcbfd8/attachment.html>