Autocompletion not recrusive enough with constructed type

Issue #733 resolved
Bart Bogaerts created an issue

File test.idp shows that both autocompletion and checking correctness of the structure fail when constructed types are involved

Comments (1)

  1. Log in to comment