aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

chore: Update to 0.2.22

This commit is contained in:
Leni Aniva 2024-12-11 01:30:52 -08:00
parent 605fbd0bd7
commit d3c14f321f
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
3 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pantograph/server.py
View File

@ -239,6 +239,7 @@ class Server:
'fileName': str(file_name), 'fileName': str(file_name),
'invocations': True, 'invocations': True,
"sorrys": False, "sorrys": False,
"newConstants": False,
}) })
if "error" in result: if "error" in result:
raise ServerError(result["desc"]) raise ServerError(result["desc"])
@ -265,6 +266,7 @@ class Server:
'file': command, 'file': command,
'invocations': False, 'invocations': False,
"sorrys": True, "sorrys": True,
"newConstants": False,
}) })
if "error" in result: if "error" in result:
raise ServerError(result["desc"]) raise ServerError(result["desc"])
@ -295,7 +297,7 @@ def get_version():
class TestServer(unittest.TestCase): class TestServer(unittest.TestCase):
def test_version(self): def test_version(self):
self.assertEqual(get_version(), "0.2.19") self.assertEqual(get_version(), "0.2.22")
def test_expr_type(self): def test_expr_type(self):
server = Server() server = Server()

2
pyproject.toml
View File

@ -1,6 +1,6 @@
[tool.poetry] [tool.poetry]
name = "pantograph" name = "pantograph"
version = "0.2.19" version = "0.2.22"
description = "A machine-to-machine interaction system for Lean" description = "A machine-to-machine interaction system for Lean"
authors = ["Leni Aniva <v@leni.sh>"] authors = ["Leni Aniva <v@leni.sh>"]
license = "GPL-3" license = "GPL-3"

2
src

@ -1 +1 @@
Subproject commit 4f6ccd3e82dd41402b7244484a1b0312d9e27018 Subproject commit 5d76626912795579832f2bb43748e137bb6d0595