Skip to content

Ambiguity in interactive compiler when loading module that imports a core module #582

@chtenb

Description

@chtenb

repro.kk:

import std/core/vector

In the terminal, enter the lines

koka
:l repro.kk
[1].vector

Error:

> [1].vector
      ^
/@virtual/repro/@main.kk(1, 7): type error: identifier vector cannot be resolved
  context      :   [1].vector
  inferred type: (list<int>) -> _
  candidates   : vector/list/vector
                 vector/list/vector
  hint         : qualify the name?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions