iets3.opensource
iets3.opensource copied to clipboard
EnumLiterals typesystem does not recalculate types
Functioncalls are used in the inferenceRule of EnumLiterals. Therefore types are not recalculated when changing the EnumType. Introducing a dependency (there is some statement in the typesystem for this) should solve this.
The functional call just asks for the parent node (EnumDeclaration). So I could add this statement to the start of the inference rule: addDependency(el.parent); Before I add such as statement, I want to see an example when the types are not recalculated.