unison icon indicating copy to clipboard operation
unison copied to clipboard

`add.run` command adds code but `ls` can't view it

Open rlmark opened this issue 3 years ago • 1 comments

Earlier today, we used the add.run command to add a term to the codebase. The UCM confirmed it was successfully added as a term. However, the term did not show up when running ls shortly thereafter. We were able to display the term, and the term was successfully pushed (and rendered) to a remote namespace, so it is definitely present in the codebase, but ls won't reveal its location.

The version of the UCM which surfaced this is a very recent build, trunk was pulled Wed Sept 14, around 10 AM Pacific time, merged into the current LSP branch. (Git versioning was in a weird state)

A transcript is attached to replicate this: addRun.md

rlmark avatar Sep 14 '22 21:09 rlmark

@tstat Could you take a look at this?

aryairani avatar Sep 17 '22 00:09 aryairani

This seems to be fixed today:

```unison
main : '{IO,Exception} Text
main = do
  "hi"
```

```ucm

  Loading changes detected in scratch.u.

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      main : '{IO, Exception} Text

```
```ucm
.> run main

  "hi"

.> add.run myFunction

  ⍟ I've added these definitions:
  
    myFunction : Text

.> ls

  1. builtin/   (643 terms, 92 types)
  2. myFunction (Text)

```

aryairani avatar Jun 15 '24 12:06 aryairani