From c843cec096cb89872a5476aea625682f21df147f Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 23 Sep 2021 15:28:49 +0200 Subject: [PATCH] Update transactions.md --- src/runtime/c/doc/transactions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/c/doc/transactions.md b/src/runtime/c/doc/transactions.md index 09080f699..219181521 100644 --- a/src/runtime/c/doc/transactions.md +++ b/src/runtime/c/doc/transactions.md @@ -9,7 +9,7 @@ The database model of the runtime is specifically designed to be friendly toward main = do gr <- readNGF "Example.ngf" functionType gr "f" >>= print - <... modify the grammar gr ...> + -- modify the grammar gr functionType gr "f" >>= print ``` Here we ask for the type of a function before and after an arbitrary update in the grammar `gr`. Obviously if we allow that then `functionType` would have to be in the IO monad, e.g.: