Transcript updates

Modify watch-expressions transcript to use new array predefs
This commit is contained in:
Dan Doel 2024-04-19 10:32:30 -04:00
parent b2a2107675
commit 5564317903
5 changed files with 590 additions and 590 deletions

File diff suppressed because it is too large Load Diff

View File

@ -35,7 +35,7 @@ And for a limited time, you can get even more builtin goodies:
.foo> ls
1. builtin/ (628 terms, 89 types)
1. builtin/ (630 terms, 89 types)
```
More typically, you'd start out by pulling `base.

View File

@ -80,7 +80,7 @@ Should be able to move the term, type, and namespace, including its types, terms
1. Bar (Nat)
2. Bar (type)
3. Bar/ (4 terms, 1 type)
4. builtin/ (628 terms, 89 types)
4. builtin/ (630 terms, 89 types)
.> ls Bar

View File

@ -1,5 +1,5 @@
```ucm
.> builtins.merge
.> builtins.mergeio
```
```unison
@ -20,7 +20,6 @@ test> pass = [Ok "Passed"]
```
```unison
> Scope.run do
freeze! (Scope.arrayOf 0 0)
> ImmutableArray.fromList [?a, ?b, ?c]
> ImmutableByteArray.fromBytes 0xs123456
```

View File

@ -1,5 +1,5 @@
```ucm
.> builtins.merge
.> builtins.mergeio
Done.
@ -72,9 +72,8 @@ test> pass = [Ok "Passed"]
```
```unison
> Scope.run do
freeze! (Scope.arrayOf 0 0)
> ImmutableArray.fromList [?a, ?b, ?c]
> ImmutableByteArray.fromBytes 0xs123456
```
```ucm
@ -88,17 +87,12 @@ test> pass = [Ok "Passed"]
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
⚠️
I had trouble decompiling some results.
The following errors were encountered:
A foreign value with no decompiled representation was
encountered:
##ImmutableArray
1 | > Scope.run do
1 | > ImmutableArray.fromList [?a, ?b, ?c]
bug "<Foreign>"
ImmutableArray.fromList [?a, ?b, ?c]
2 | > ImmutableByteArray.fromBytes 0xs123456
fromBytes 0xs123456
```