Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

The namespace blah.test doesn't exist. #5540

Open
aryairani opened this issue Jan 14, 2025 · 1 comment
Open

The namespace blah.test doesn't exist. #5540

aryairani opened this issue Jan 14, 2025 · 1 comment
Labels

Comments

@aryairani
Copy link
Contributor

Describe and demonstrate the bug

@unison/cloud/main> view Storage.doc.example.test
 
  Storage.doc.example.test : [Result]
  Storage.doc.example.test = test.verify do
    use OrderedTable.write tx
    rs =
      Either.toException <| (Storage.doc.example do
        tbl : OrderedTable Text Text
        tbl = OrderedTable.named exampleDb "favorite-foods" Universal.ordering
        populateTable = transact exampleDb do
          tx tbl "Alice" "🍦"
          tx tbl "Bob" "🍍"
        Remote.parMap (OrderedTable.read tbl) ["Alice", "Bob"])
    test.ensureEqual rs ["🍦", "🍍"]

@unison/cloud/main> test Storage.doc.example.test
 
  ⚠️
  
  The namespace Storage.doc.example.test doesn't exist.

This fails because test <path> takes a namespace, and runs everything within it. Storage.doc.example.test isn't within the Storage.doc.example.test namespace, it's a term in the Storage.doc.example namespace.

Related to #5539

@aryairani aryairani added the bug label Jan 14, 2025
@mitchellwrosen
Copy link
Member

I think test <path> should run both the term at <path> and all terms within <path>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants