search

byteverse / primitive-addr

Addresses to unmanaged memory
Other
0 stars 1 forks source link

Missing instance Addr Prim #1

Open rightfold opened 4 years ago

rightfold commented 4 years ago

In primitive before version 0.7.0.0 there was an instance for Prim Addr, but this instance has been removed when this package was split off.

Is there a reason it better be missing (e.g. unsafe)? If not I can send a patch to restore it.

OTOH, seems like Ptr () is a fine substitute for Addr.

andrewthad commented 4 years ago

I would accept a PR adding this instance. Using Ptr instead works, although I prefer Ptr Void to Ptr ().