-
Notifications
You must be signed in to change notification settings - Fork 16
Split ptr_uint64 in two #587
Copy link
Copy link
Open
Labels
good first issueGood for newcomersGood for newcomers✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...📁 internalThis is where the ✨magic✨happensThis is where the ✨magic✨happens
Milestone
Description
Metadata
Metadata
Assignees
Labels
good first issueGood for newcomersGood for newcomers✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...📁 internalThis is where the ✨magic✨happensThis is where the ✨magic✨happens
There are some spicy invariants when using the
ptr_uint64class; namely the out_idx, flag, and the need to use essential(...). If we somehow can make asource<...>type andtarget<...>type in arc (similar to uid) that enforces this, then the type checker would be much better at helping the programmer.arc::source_typewhich takes auidand an out_idx (none of which is defaulted).arc::target_typewhich takes auidand a flag (flag defaulted to false).Additional Context
Requested by Erik Funder Carstensen