-
sven.panne@aedion.de authored
First steps toward a better typing of f.e.d. and friends: Make FunPtr a fully-fledged data type, not a renaming for Ptr. This is necessary, because the FFI "looks through" newtypes, which we don't want in this case.
21c60059