This repository has been archived by the owner on Sep 30, 2024. It is now read-only.

Update description of generic types in the specification #497

Open

dtarditi opened this issue Jul 11, 2023 · 0 comments

Assignees

Milestone

Checked C v1.0 re...

Member

dtarditi commented Jul 11, 2023

The chapter on generic types does not describe existential types.
The introduction to the specification does not mention generic types.

dtarditi added this to the Checked C v1.0 release milestone

dtarditi self-assigned this

dtarditi added this to Checked C Board

dtarditi moved this to Todo in Checked C Board

dtarditi mentioned this issue

Epic: bring Checked C specification into agreement with the compiler implementation #490

Open

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.