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
In other words, when using the call syntax with either parametric types or a return type, the docstring gets attached to a "binding" named after the arbitrary variable name in the call syntax. You can actually pull up the docstring via Docerr.foo in the REPL help, even though that makes no sense.
The text was updated successfully, but these errors were encountered:
mortenpi
changed the title
Invalid docstring metadata with call syntax + where / type annotation
Invalid docstring metadata with call syntax + where or return type annotation
May 4, 2022
The following module
leads to the following docstring metadata:
In other words, when using the call syntax with either parametric types or a return type, the docstring gets attached to a "binding" named after the arbitrary variable name in the call syntax. You can actually pull up the docstring via
Docerr.foo
in the REPL help, even though that makes no sense.The text was updated successfully, but these errors were encountered: