7 ms·
> the user now has the choice to use a pointer or not But any benefits of the packing are gone whether I make a pointer or not. And either way, no nested poin
by morelisp 5y ago
> the user now has the choice to use a pointer or not
But any benefits of the packing are gone whether I make a pointer or not.
And either way, no nested pointers are involved. We’re not taking pointers to options in either case.