Skip to content

:add module command at debug repl #312

@Saizan

Description

@Saizan

Once PR #306 is merged it could make sense to have a :add module command, like ghci, which imports the inner scope of module.

It's a matter of parsing the command, resolving it to a Module and import it with IIModule.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions