checkedc / checkedc-fork

This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
Other
26 stars 3 forks source link

Move pointer conversion description out of the interoperation chapter #498

Open dtarditi opened 1 year ago

dtarditi commented 1 year ago

The conversions for the Checked C pointer types are pretty straightforward. On the other hand, the interoperation support is novel and sometimes confusing to people. They are described in one chapter. We should move the type conversions into a separate chapter.