- changed status to resolved
Autocompletion not recrusive enough with constructed type
Issue #733
resolved
File test.idp shows that both autocompletion and checking correctness of the structure fail when constructed types are involved
Comments (1)
-
- Log in to comment
Resolved by autocompleteConstructed (pull request #264)