Open theodore-norvell opened 6 years ago
During execution we should build typescript objects to represent types. On assignment, variable initialization, and parameter passing, we should check that the value assigned to a field is compatible with that members type of that field.
During execution we should build typescript objects to represent types. On assignment, variable initialization, and parameter passing, we should check that the value assigned to a field is compatible with that members type of that field.