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

We shouldn't really need to move anything into base except Addr and its base instances. On Oct 25, 2018 5:59 PM, "Carter Schonwald" wrote: Indeed. The monad transformer instances for primmonad need to live in primmonad OR transformers to avoid orphans. Either way, unless transformers moves into base (unlikely), no way anything using prim monad will. On Thu, Oct 25, 2018 at 3:34 PM Andrew Martin wrote:

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 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-- -Andrew Thaddeus Martin _______________________________________________ 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