Skip to content

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

Open
@aryairani

Description

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

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions