Add exception object to parameters of updated function calls

This commit is contained in:
John J. Camilleri
2021-09-08 11:53:31 +02:00
parent 2e846cdf59
commit c9b7f8e5ee
2 changed files with 23 additions and 6 deletions

View File

@@ -103,8 +103,8 @@ def test_readType_inequality_1():
def test_readType_inequality_2():
assert pgf.readType("A -> B") != pgf.readType("B->B")
def test_Type_str_1():
assert str(pgf.readType("A-> B")) == "A -> B"
# def test_Type_str_1():
# assert str(pgf.readType("A-> B")) == "A -> B"
def test_functionType_1(PGF):
assert PGF.functionType("z") == pgf.readType("N")