mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 02:55:19 +03:00
Fix 2628.md for projects
This commit is contained in:
parent
f3503cca97
commit
bcb3e46218
@ -1,5 +1,5 @@
|
||||
```ucm:hide
|
||||
scratch/main> alias.type ##Nat .base.Nat
|
||||
scratch/main> alias.type ##Nat lib.base.Nat
|
||||
```
|
||||
|
||||
```unison:hide
|
||||
|
@ -4,23 +4,23 @@ unique type foo.bar.baz.MyRecord = {
|
||||
}
|
||||
```
|
||||
|
||||
```ucm
|
||||
scratch/main> add
|
||||
|
||||
⍟ I've added these definitions:
|
||||
|
||||
type foo.bar.baz.MyRecord
|
||||
foo.bar.baz.MyRecord.value : MyRecord -> Nat
|
||||
foo.bar.baz.MyRecord.value.modify : (Nat ->{g} Nat)
|
||||
-> MyRecord
|
||||
->{g} MyRecord
|
||||
foo.bar.baz.MyRecord.value.set : Nat
|
||||
-> MyRecord
|
||||
-> MyRecord
|
||||
|
||||
scratch/main> find : Nat -> MyRecord
|
||||
|
||||
1. foo.bar.baz.MyRecord.MyRecord : Nat -> MyRecord
|
||||
|
||||
|
||||
🛑
|
||||
|
||||
The transcript failed due to an error in the stanza above. The error is:
|
||||
|
||||
|
||||
|
||||
❓
|
||||
|
||||
I couldn't resolve any of these symbols:
|
||||
|
||||
2 | value : Nat
|
||||
|
||||
|
||||
Symbol Suggestions
|
||||
|
||||
Nat No matches
|
||||
|
||||
|
||||
```
|
||||
|
Loading…
Reference in New Issue
Block a user