GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-12 14:29:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix handlers for 'with' syntax in Transaction object

Browse Source
This commit is contained in:
John J. Camilleri
2021-09-21 23:54:55 +02:00
parent 4af807c982
commit 60c9ab4c53
3 changed files with 13 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/runtime/python/tests/test_transactions.py
View File

@@ -18,7 +18,9 @@ def gr2(gr1):
return gr1
@pytest.fixture(scope="module")
def gr3(gr1):
def gr3():
# TODO how to avoid reloading from file?
gr1 = readPGF("../haskell/tests/basic.pgf")
with gr1.newTransaction("bar_branch") as t:
t.createFunction("bar", ty, 0, prob),
t.createCategory("R", [(BIND_TYPE_EXPLICIT, "x", ty)], prob)
@@ -62,8 +64,8 @@ def test_extended_function_prob(gr2):
# gr3
# def test_branched_functions(gr3):
# assert gr3.functions == ["bar", "c", "ind", "s", "z"]
#
# def test_branched_function_type(gr3):
# assert gr3.functionType("bar") == ty
def test_branched_functions(gr3):
assert gr3.functions == ["bar", "c", "ind", "s", "z"]
def test_branched_function_type(gr3):
assert gr3.functionType("bar") == ty