2022-05-07 00:10:23 +03:00
|
|
|
# Namespace Details Test
|
2022-05-02 18:55:15 +03:00
|
|
|
|
|
|
|
```unison
|
|
|
|
{{ Documentation }}
|
|
|
|
nested.names.x = 42
|
|
|
|
|
2022-05-07 00:10:23 +03:00
|
|
|
nested.names.readme = {{
|
|
|
|
Here's a *README*!
|
|
|
|
}}
|
2022-05-02 18:55:15 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
```ucm
|
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2022-05-02 18:55:15 +03:00
|
|
|
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`:
|
|
|
|
|
|
|
|
nested.names.readme : Doc2
|
|
|
|
nested.names.x : Nat
|
|
|
|
nested.names.x.doc : Doc2
|
|
|
|
|
|
|
|
```
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> add
|
2022-05-02 18:55:15 +03:00
|
|
|
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
|
|
|
|
nested.names.readme : Doc2
|
|
|
|
nested.names.x : Nat
|
|
|
|
nested.names.x.doc : Doc2
|
|
|
|
|
|
|
|
```
|
|
|
|
```api
|
2022-05-07 00:10:23 +03:00
|
|
|
-- Should find names by suffix
|
2024-06-27 20:17:27 +03:00
|
|
|
GET /api/projects/scratch/branches/main/namespaces/nested.names
|
2022-05-02 18:55:15 +03:00
|
|
|
{
|
|
|
|
"fqn": "nested.names",
|
2024-06-27 20:17:27 +03:00
|
|
|
"hash": "#6tnmlu9knsce0u2991u6fvcmf4v44fdf0aiqtmnq7mjj0gi5sephg3lf12iv3odr5rc7vlgq75ciborrd3625c701bdmdomia2gcm3o",
|
|
|
|
"readme": {
|
|
|
|
"contents": [
|
|
|
|
{
|
|
|
|
"contents": "Here's",
|
|
|
|
"tag": "Word"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": "a",
|
|
|
|
"tag": "Word"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"contents": [
|
|
|
|
{
|
|
|
|
"contents": {
|
|
|
|
"contents": [
|
|
|
|
{
|
|
|
|
"contents": "README",
|
|
|
|
"tag": "Word"
|
|
|
|
}
|
|
|
|
],
|
|
|
|
"tag": "Paragraph"
|
|
|
|
},
|
|
|
|
"tag": "Bold"
|
|
|
|
},
|
|
|
|
{
|
|
|
|
"contents": "!",
|
|
|
|
"tag": "Word"
|
|
|
|
}
|
|
|
|
],
|
|
|
|
"tag": "Join"
|
|
|
|
},
|
|
|
|
"tag": "Group"
|
|
|
|
}
|
|
|
|
],
|
|
|
|
"tag": "Paragraph"
|
|
|
|
}
|
2022-05-02 18:55:15 +03:00
|
|
|
}
|
|
|
|
```
|