Skip to content

"definition" cannot read function defined within Jupyter notebook #51

Description

@mossr

When calling definition in a Jupyter notebook:

f(x,y) = x^2 + y^2
definition(String, @which(f(Int,Int)))

I get the following error:
SystemError: opening file "In[52]": No such file or directory

Seems to just not handled reading from the notebook's In because it works when reading from functions defined purely in the REPL.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requesthelp wantedExtra attention is needed

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions