unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

regenerate serial-test-00 output

Browse Source
This commit is contained in:
Mitchell Rosen 2024-02-22 14:52:09 -05:00
parent 19070ce126
commit 5330261d0c
1 changed files with 10 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
unison-src/transcripts-using-base/serial-test-00.output.md
View File

@ -82,12 +82,11 @@ mkTestCase = do
-> (Tree Text -> Text)
-> (Tree Nat, Tree Nat, Tree Nat, Tree Text)
-> Text
foldMap : ∀ r g2 g1 a g.
r
-> (r ->{g2} r ->{g1} r)
-> (a ->{g} r)
-> Tree a
->{g2, g1, g} r
foldMap : r
-> (r ->{g2} r ->{g1} r)
-> (a ->{g} r)
-> Tree a
->{g2, g1, g} r
mkTestCase : '{IO, Exception} ()
tree0 : Tree Nat
tree1 : Tree Nat
@ -105,12 +104,11 @@ mkTestCase = do
-> (Tree Text -> Text)
-> (Tree Nat, Tree Nat, Tree Nat, Tree Text)
-> Text
foldMap : ∀ r g2 g1 a g.
r
-> (r ->{g2} r ->{g1} r)
-> (a ->{g} r)
-> Tree a
->{g2, g1, g} r
foldMap : r
-> (r ->{g2} r ->{g1} r)
-> (a ->{g} r)
-> Tree a
->{g2, g1, g} r
mkTestCase : '{IO, Exception} ()
tree0 : Tree Nat
tree1 : Tree Nat