You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
a) it's hard to care for these nkDocComment nodes everywhere in the sematic checking.
b) conceptually it's like Python's """foo""" documentation string/comment and so is allowed to influence the type/discard checking.
krux02
changed the title
doc comment after last expression results in error
doc comment at end treats previous expression as discarded
Oct 26, 2018
not 100% sure whether this is a bug or by design but it is surprising:
this gives:
Error: expression 'fun0()' is of type 'string' and has to be discarded
changing
## foo
to# foo
removes the errorThe text was updated successfully, but these errors were encountered: