Open apnadkarni opened 3 years ago
Also consider caching the usability of that type for each context (param, field, return) within the type structure so it is not recomputed unless other annotations are added.
Perhaps define a Tcl_Obj type that holds a type definition.
Several implementation possibilities:
The type information blocks should be shared among declarations. For example, every "int" need not get its own block unless attributes are different. Ditto for type aliases - reuse unless modified.