unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-14 07:51:12 +03:00
Code Issues Projects Releases Wiki Activity

Attempt to remove platform-specific information from transcript

Browse Source
This commit is contained in:
Dan Doel 2021-05-27 18:37:55 -04:00
parent 57ecb81d27
commit 44b74f7d56
2 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
unison-src/transcripts-using-base/fix2027.md
View File

@ -15,12 +15,15 @@ toException = cases
putText : Handle -> Text ->{IO, Exception} ()
putText h t = putBytes h (toUtf8 t)
bugFail = cases
Failure typ _ _ -> bug (Failure typ "problem" (Any ()))
Exception.unsafeRun! : '{Exception, g} a -> '{g} a
Exception.unsafeRun! e _ =
h : Request {Exception} a -> a
h = cases
{Exception.raise fail -> _ } ->
bug fail
bugFail fail
{a} -> a
handle !e with h

9
unison-src/transcripts-using-base/fix2027.output.md
View File

@ -9,12 +9,15 @@ toException = cases
putText : Handle -> Text ->{IO, Exception} ()
putText h t = putBytes h (toUtf8 t)
bugFail = cases
Failure typ _ _ -> bug (Failure typ "problem" (Any ()))
Exception.unsafeRun! : '{Exception, g} a -> '{g} a
Exception.unsafeRun! e _ =
h : Request {Exception} a -> a
h = cases
{Exception.raise fail -> _ } ->
bug fail
bugFail fail
{a} -> a
handle !e with h
@ -38,6 +41,7 @@ myServer = unsafeRun! '(hello "127.0.0.1" "0")
⍟ These new definitions are ok to `add`:
Exception.unsafeRun! : '{g, Exception} a -> '{g} a
bugFail : Failure -> r
hello : Text -> Text ->{IO, Exception} ()
myServer : '{IO} ()
putText : Handle -> Text ->{IO, Exception} ()
@ -55,8 +59,7 @@ myServer = unsafeRun! '(hello "127.0.0.1" "0")
value:
base.io.Failure.Failure
typeLink base.io.IOFailure
"Network.Socket.sendBuf: resource vanished (Broken pipe)"
typeLink base.io.IOFailure "problem" !base.Any.Any
I'm sorry this message doesn't have more detail about the
location of the failure. My makers plan to fix this in a