Skip to content

both absolute and relative name for same defn are shown in "needs alias" message #970

@aryairani

Description

@aryairani
.foo> 

  I found and typechecked these definitions in /private/tmp/foo/u.u. If you do an `add` or
  `update`, here's how your codebase would change:
  
    x These definitions would fail on `add` or `update`:
    
      Reason
      needs alias   z, .foo.x, x   : ∀ (). () ->{.base2.io.IO} ()
    
      Tip: Use `help filestatus` to learn more.
   
  Now evaluating any watch expressions (lines starting with `>`)... Ctrl+C cancels.

.foo.x and x are the same name, and shouldn't be listed twice. Only z and x should be displayed here. Maybe a "print names" vs "parse names" mixup?

Metadata

Metadata

Assignees

No one assigned

    Labels

    codebase-manager / ucmIssues related to the codebase editor CLI application (ucm)error-messageRequest for improved error message

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions