diff --git a/unison-src/transcripts/fix2474.md b/unison-src/transcripts/fix2474.md index 3d48be95b..e84cd4a9e 100644 --- a/unison-src/transcripts/fix2474.md +++ b/unison-src/transcripts/fix2474.md @@ -1,9 +1,8 @@ - Tests an issue with a lack of generality of handlers. In general, a set of cases: - { e ... -> k } + { e ... -> k } should be typed in the following way: diff --git a/unison-src/transcripts/fix2474.output.md b/unison-src/transcripts/fix2474.output.md index 0daf2d3ba..d5863ee87 100644 --- a/unison-src/transcripts/fix2474.output.md +++ b/unison-src/transcripts/fix2474.output.md @@ -2,7 +2,7 @@ Tests an issue with a lack of generality of handlers. In general, a set of cases: -{ e ... -\> k } + { e ... -> k } should be typed in the following way: diff --git a/unison-src/transcripts/fix2663.md b/unison-src/transcripts/fix2663.md index e3b88b062..ee6a5b749 100644 --- a/unison-src/transcripts/fix2663.md +++ b/unison-src/transcripts/fix2663.md @@ -1,9 +1,8 @@ - Tests a variable capture problem. After pattern compilation, the match would end up: - T p1 p3 p3 + T p1 p3 p3 and z would end up referring to the first p3 rather than the second. diff --git a/unison-src/transcripts/fix2663.output.md b/unison-src/transcripts/fix2663.output.md index 6153dc042..d1b0575e1 100644 --- a/unison-src/transcripts/fix2663.output.md +++ b/unison-src/transcripts/fix2663.output.md @@ -2,7 +2,7 @@ Tests a variable capture problem. After pattern compilation, the match would end up: -T p1 p3 p3 + T p1 p3 p3 and z would end up referring to the first p3 rather than the second. diff --git a/unison-src/transcripts/io.md b/unison-src/transcripts/io.md index 0051c7aa6..7db903ebb 100644 --- a/unison-src/transcripts/io.md +++ b/unison-src/transcripts/io.md @@ -24,11 +24,12 @@ scratch/main> add ### Creating/Deleting/Renaming Directories -Tests: createDirectory, - isDirectory, - fileExists, - renameDirectory, - deleteDirectory +Tests: +- createDirectory, +- isDirectory, +- fileExists, +- renameDirectory, +- deleteDirectory ```unison testCreateRename : '{io2.IO} [Result] @@ -63,9 +64,10 @@ scratch/main> io.test testCreateRename ### Opening / Closing files -Tests: openFile - closeFile - isFileOpen +Tests: +- openFile +- closeFile +- isFileOpen ```unison testOpenClose : '{io2.IO} [Result] @@ -113,10 +115,11 @@ scratch/main> io.test testOpenClose ### Reading files with getSomeBytes -Tests: getSomeBytes - putBytes - isFileOpen - seekHandle +Tests: +- getSomeBytes +- putBytes +- isFileOpen +- seekHandle ```unison testGetSomeBytes : '{io2.IO} [Result] @@ -172,14 +175,15 @@ scratch/main> io.test testGetSomeBytes ### Seeking in open files -Tests: openFile - putBytes - closeFile - isSeekable - isFileEOF - seekHandle - getBytes - getLine +Tests: +- openFile +- putBytes +- closeFile +- isSeekable +- isFileEOF +- seekHandle +- getBytes +- getLine ```unison testSeek : '{io2.IO} [Result] diff --git a/unison-src/transcripts/io.output.md b/unison-src/transcripts/io.output.md index ef385d897..4ac673c76 100644 --- a/unison-src/transcripts/io.output.md +++ b/unison-src/transcripts/io.output.md @@ -13,11 +13,13 @@ create a scratch directory which will automatically get cleaned up. ### Creating/Deleting/Renaming Directories -Tests: createDirectory, -isDirectory, -fileExists, -renameDirectory, -deleteDirectory +Tests: + + - createDirectory, + - isDirectory, + - fileExists, + - renameDirectory, + - deleteDirectory ``` unison testCreateRename : '{io2.IO} [Result] @@ -84,9 +86,11 @@ scratch/main> io.test testCreateRename ``` ### Opening / Closing files -Tests: openFile -closeFile -isFileOpen +Tests: + + - openFile + - closeFile + - isFileOpen ``` unison testOpenClose : '{io2.IO} [Result] @@ -165,10 +169,12 @@ scratch/main> io.test testOpenClose ``` ### Reading files with getSomeBytes -Tests: getSomeBytes -putBytes -isFileOpen -seekHandle +Tests: + + - getSomeBytes + - putBytes + - isFileOpen + - seekHandle ``` unison testGetSomeBytes : '{io2.IO} [Result] @@ -257,14 +263,16 @@ scratch/main> io.test testGetSomeBytes ``` ### Seeking in open files -Tests: openFile -putBytes -closeFile -isSeekable -isFileEOF -seekHandle -getBytes -getLine +Tests: + + - openFile + - putBytes + - closeFile + - isSeekable + - isFileEOF + - seekHandle + - getBytes + - getLine ``` unison testSeek : '{io2.IO} [Result]