From 3ee298eb41b33044e63d78df17c054090dcca10c Mon Sep 17 00:00:00 2001 From: Daniel Cumming Date: Mon, 11 Dec 2023 16:09:41 +1000 Subject: [PATCH 1/4] Kompile uses new type inference algorithm --- kmir/kbuild.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kmir/kbuild.toml b/kmir/kbuild.toml index bb375bfc1..5c3dae601 100644 --- a/kmir/kbuild.toml +++ b/kmir/kbuild.toml @@ -9,6 +9,7 @@ main-file = "mir.md" main-module = "MIR" syntax-module = "MIR-SYNTAX" gen-glr-bison-parser = "true" +type-inference-mode = "simplesub" [targets.llvmc] backend = "llvm" @@ -16,9 +17,11 @@ main-file = "mir.md" main-module = "MIR" syntax-module = "MIR-SYNTAX" llvm-kompile-type = "c" +type-inference-mode = "simplesub" [targets.haskell] backend = "haskell" main-file = "mir.md" main-module = "MIR-SYMBOLIC" syntax-module = "MIR-SYNTAX" +type-inference-mode = "simplesub" From e6da7f5519e02a72721c4181ecc7200be1e5f4c6 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jan 2024 23:26:57 +0000 Subject: [PATCH 2/4] Set Version: 0.2.19 --- kmir/pyproject.toml | 2 +- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 7078c4f8a..17c07e2b0 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmir" -version = "0.2.18" +version = "0.2.19" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 0bc65587a..772a293ce 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from .kmir import KMIR -VERSION: Final = '0.2.18' +VERSION: Final = '0.2.19' diff --git a/package/version b/package/version index 51e8fdc95..6bf5ecb60 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.18 +0.2.19 From 48b1fec1086bc7e757d4502d542b5745d5978123 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jan 2024 23:46:12 +0000 Subject: [PATCH 3/4] Set Version: 0.2.20 --- kmir/pyproject.toml | 2 +- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 50876245c..3713b6f54 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmir" -version = "0.2.19" +version = "0.2.20" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 772a293ce..354068a08 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from .kmir import KMIR -VERSION: Final = '0.2.19' +VERSION: Final = '0.2.20' diff --git a/package/version b/package/version index 6bf5ecb60..3bfb9a48b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.19 +0.2.20 From a424b54fd99e95cfe1cbd9b88467640889b77637 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 12 Jan 2024 09:42:56 +0000 Subject: [PATCH 4/4] Set Version: 0.2.21 --- kmir/pyproject.toml | 2 +- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 3713b6f54..f57fb9f49 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmir" -version = "0.2.20" +version = "0.2.21" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 354068a08..acc6b9060 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -2,4 +2,4 @@ from .kmir import KMIR -VERSION: Final = '0.2.20' +VERSION: Final = '0.2.21' diff --git a/package/version b/package/version index 3bfb9a48b..599028f5f 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.20 +0.2.21