From 56d47ad5619f7d49a5a5f6a0aeac409e4129d907 Mon Sep 17 00:00:00 2001 From: krangelov Date: Thu, 16 Sep 2021 11:31:09 +0200 Subject: [PATCH] forgot to update the testsuite --- src/runtime/haskell/tests/transactions.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/runtime/haskell/tests/transactions.hs b/src/runtime/haskell/tests/transactions.hs index fbd62f0d1..e9582f544 100644 --- a/src/runtime/haskell/tests/transactions.hs +++ b/src/runtime/haskell/tests/transactions.hs @@ -8,9 +8,9 @@ main = do gr1 <- readPGF "tests/basic.pgf" let Just ty = readType "(N -> N) -> P (s z)" - gr2 <- modifyPGF gr1 (createFunction "foo" ty pi >> + gr2 <- modifyPGF gr1 (createFunction "foo" ty 0 pi >> createCategory "Q" [(Explicit,"x",ty)] pi) - gr3 <- branchPGF gr1 "bar_branch" (createFunction "bar" ty pi >> + gr3 <- branchPGF gr1 "bar_branch" (createFunction "bar" ty 0 pi >> createCategory "R" [(Explicit,"x",ty)] pi) Just gr4 <- checkoutPGF gr1 "master"