Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Extract type name hierarchy from declared CTO #330

Closed
jeromesimeon opened this issue Jul 23, 2018 · 3 comments
Closed

Extract type name hierarchy from declared CTO #330

jeromesimeon opened this issue Jul 23, 2018 · 3 comments
Assignees
@jeromesimeon
Projects
Type Checking

Comments

@jeromesimeon
Copy link
Member

Type declarations in CTO files and ergo type definitions include an extends relation which gives us the type hierarchy.

We need to extract the transitive closure of those extends declarations, and check that those are well-formed (i.e., pre-order). This last step can be done by creating a brand_model in Qcert.
@jeromesimeon jeromesimeon created this issue from a note in Type Checking (To do) Jul 23, 2018
@jeromesimeon jeromesimeon mentioned this issue Jul 23, 2018
Closed
6 tasks
@jeromesimeon
Copy link
Member Author

See also #58

@jeromesimeon jeromesimeon moved this from To do to In progress in Type Checking Jul 25, 2018
@jeromesimeon
Copy link
Member Author

Initial code to extract the type name hierarchy in PR #346

@jeromesimeon jeromesimeon moved this from In progress to Done in Type Checking Aug 4, 2018
@jeromesimeon
Copy link
Member Author

In PR #367

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

@jeromesimeon jeromesimeon

Labels
None yet
Projects
No open projects
Type Checking
  
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jeromesimeon @kach