Details
-
Type:
Improvement
-
Status:
Closed
-
Priority:
Major
-
Resolution: By Design
-
Affects Version/s: None
-
Fix Version/s: 1.7.1
-
Component/s: t2 maelstrom
This is intentional - the type checker needs to have a definite base type for its inputs to be effective. It would be possible to create a UI over this that detected the type the user had specified and modified the input types, ran the checker etc. but the basic functionality is correct this way.