Open
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