GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-27 11:48:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

forgot to update the testsuite

Browse Source
This commit is contained in:
krangelov
2021-09-16 11:31:09 +02:00
parent c4fee30baf
commit 56d47ad561
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/runtime/haskell/tests/transactions.hs
View File

@@ -8,9 +8,9 @@ main = do
gr1 <- readPGF "tests/basic.pgf" gr1 <- readPGF "tests/basic.pgf"
let Just ty = readType "(N -> N) -> P (s z)" 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) 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) createCategory "R" [(Explicit,"x",ty)] pi)
Just gr4 <- checkoutPGF gr1 "master" Just gr4 <- checkoutPGF gr1 "master"