mirror of
https://github.com/unisonweb/unison.git
synced 2024-11-14 07:51:12 +03:00
check in refreshed transcript output
This commit is contained in:
parent
c0424b6608
commit
bb3f5b26b6
@ -52,28 +52,34 @@ myServer = unsafeRun! '(hello "127.0.0.1" "0")
|
|||||||
do an `add` or `update`, here's how your codebase would
|
do an `add` or `update`, here's how your codebase would
|
||||||
change:
|
change:
|
||||||
|
|
||||||
|
⊡ Previously added definitions will be ignored: Exception
|
||||||
|
Exception.raise
|
||||||
|
|
||||||
⍟ These new definitions are ok to `add`:
|
⍟ These new definitions are ok to `add`:
|
||||||
|
|
||||||
type Either a b
|
type Either a b
|
||||||
(also named builtin.Either)
|
(also named builtin.Either)
|
||||||
ability Exception
|
|
||||||
Exception.unsafeRun! : '{g, Exception} a -> '{g} a
|
Exception.unsafeRun! : '{g, Exception} a -> '{g} a
|
||||||
bugFail : Failure -> r
|
bugFail : Failure -> r
|
||||||
closeSocket : Socket ->{IO, Exception} ()
|
|
||||||
hello : Text -> Text ->{IO, Exception} ()
|
hello : Text -> Text ->{IO, Exception} ()
|
||||||
myServer : '{IO} ()
|
myServer : '{IO} ()
|
||||||
putBytes : Handle
|
|
||||||
-> Bytes
|
|
||||||
->{IO, Exception} ()
|
|
||||||
putText : Handle -> Text ->{IO, Exception} ()
|
putText : Handle -> Text ->{IO, Exception} ()
|
||||||
reraise : Either Failure b ->{Exception} b
|
reraise : Either Failure b ->{Exception} b
|
||||||
serverSocket : Optional Text
|
(also named Exception.reraise)
|
||||||
-> Text
|
|
||||||
->{IO, Exception} Socket
|
|
||||||
socketSend : Socket
|
socketSend : Socket
|
||||||
-> Bytes
|
-> Bytes
|
||||||
->{IO, Exception} ()
|
->{IO, Exception} ()
|
||||||
toException : Either Failure a ->{Exception} a
|
toException : Either Failure a ->{Exception} a
|
||||||
|
(also named Exception.reraise)
|
||||||
|
|
||||||
|
⍟ These names already exist. You can `update` them to your
|
||||||
|
new definition:
|
||||||
|
|
||||||
|
closeSocket : Socket ->{IO, Exception} ()
|
||||||
|
putBytes : Handle -> Bytes ->{IO, Exception} ()
|
||||||
|
serverSocket : Optional Text
|
||||||
|
-> Text
|
||||||
|
->{IO, Exception} Socket
|
||||||
|
|
||||||
```
|
```
|
||||||
```ucm
|
```ucm
|
||||||
|
Loading…
Reference in New Issue
Block a user