Skip to content
GitLab

Safe functions Calls · History

Page version Author Changes Last updated
91559596 Quinten Cabo
Add reference to Stephen Dolan subtyping phd for infering pragma safe. It seems relevant but I have not read it fully yet.
7dc43f11 Quinten Cabo
Updated safe function calls proposal. Add section about annotating entire files as safe. Expanded and improved section about infering #pragma safe by the compiler, and clean up alternatvie syntax suggestion section