[add] execution result in the Provider example.

This commit is contained in:
Yamada Ryo 2024-10-31 11:19:49 +09:00
parent 758d5912c9
commit 8004fd3cc3
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF

View File

@ -67,3 +67,19 @@ main =
transactFS' @"fs2" do
inBase $ transactFS' @"fs1" do
liftIO $ print "hello"
{-
[DUMMY FS /fs1] readFS "/a/b/c"
content: "DUMMY CONTENT on /fs1/a/b/c"
[DUMMY FS /fs1] writeFS "/d/e/f" "foobar"
-----
[DUMMY FS /fs2] readFS "/a/b/c"
content: "DUMMY CONTENT on /fs2/a/b/c"
[DUMMY FS /fs2] writeFS "/d/e/f" "foobar"
-----
[DUMMY FS /fs2] START TRANSACTION
[DUMMY FS /fs1] START TRANSACTION
"hello"
[DUMMY FS /fs1] END TRANSACTION
[DUMMY FS /fs2] END TRANSACTION
-}