Actions
Feature #160
closed
Type check traits properly
Feature #160:
Type check traits properly
Status:
Closed
Priority:
Normal
Assignee:
-
Category:
Semantic
Start date:
Due date:
% Done:
0%
Estimated time:
Description
Existence of the trait should be checked in the name analysis visitor and its arguments in the type checker. The checks from GENERIC can be removed.
Updated by Eugen Wissner about 15 hours ago
- Status changed from New to Closed
Actions