From bb3f5b26b6f077c551854d2fbe84dddbfad21adb Mon Sep 17 00:00:00 2001 From: Paul Chiusano Date: Tue, 8 Jun 2021 07:44:12 -0500 Subject: [PATCH] check in refreshed transcript output --- .../transcripts-using-base/fix2027.output.md | 22 ++++++++++++------- 1 file changed, 14 insertions(+), 8 deletions(-) diff --git a/unison-src/transcripts-using-base/fix2027.output.md b/unison-src/transcripts-using-base/fix2027.output.md index be647e565..fd0350290 100644 --- a/unison-src/transcripts-using-base/fix2027.output.md +++ b/unison-src/transcripts-using-base/fix2027.output.md @@ -52,28 +52,34 @@ myServer = unsafeRun! '(hello "127.0.0.1" "0") do an `add` or `update`, here's how your codebase would change: + ⊡ Previously added definitions will be ignored: Exception + Exception.raise + ⍟ These new definitions are ok to `add`: type Either a b (also named builtin.Either) - ability Exception Exception.unsafeRun! : '{g, Exception} a -> '{g} a bugFail : Failure -> r - closeSocket : Socket ->{IO, Exception} () hello : Text -> Text ->{IO, Exception} () myServer : '{IO} () - putBytes : Handle - -> Bytes - ->{IO, Exception} () putText : Handle -> Text ->{IO, Exception} () reraise : Either Failure b ->{Exception} b - serverSocket : Optional Text - -> Text - ->{IO, Exception} Socket + (also named Exception.reraise) socketSend : Socket -> Bytes ->{IO, Exception} () 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