From 894c04de273c94b0313e89ba1dbefa39dad40290 Mon Sep 17 00:00:00 2001
From: Ivan <8611739+IRBorisov@users.noreply.github.com>
Date: Wed, 25 Sep 2024 22:54:12 +0300
Subject: [PATCH] B: Allow decartian emptyset

---
 ccl/rslang/src/TypeAuditor.cpp          | 1 -
 ccl/rslang/test/src/testTypeAuditor.cpp | 1 +
 pyconcept/CHANGELOG.md                  | 6 ++++++
 pyconcept/VERSION                       | 2 +-
 4 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ccl/rslang/src/TypeAuditor.cpp b/ccl/rslang/src/TypeAuditor.cpp
index ff44ed4..e5e6b73 100644
--- a/ccl/rslang/src/TypeAuditor.cpp
+++ b/ccl/rslang/src/TypeAuditor.cpp
@@ -477,7 +477,6 @@ bool TypeAuditor::ViEmptySet(Cursor iter) {
     TokenID::INTERSECTION,
     TokenID::SET_MINUS,
     TokenID::SYMMINUS,
-    TokenID::DECART,
     TokenID::REDUCE,
     TokenID::BIGPR,
     TokenID::SMALLPR
diff --git a/ccl/rslang/test/src/testTypeAuditor.cpp b/ccl/rslang/test/src/testTypeAuditor.cpp
index 36bb93a..8eb26fa 100644
--- a/ccl/rslang/test/src/testTypeAuditor.cpp
+++ b/ccl/rslang/test/src/testTypeAuditor.cpp
@@ -341,6 +341,7 @@ TEST_F(UTTypeAuditor, TypedOperationsCorrect) {
   ExpectTypification(R"(X1)", "B(X1)"_t);
   ExpectTypification(R"(B(X1))", "BB(X1)"_t);
   ExpectTypification(R"(X1*X1)", "B(X1*X1)"_t);
+  ExpectTypification(R"(X1*{})", "B(X1*R0)"_t);
   ExpectTypification(R"(Pr1(S1))", "B(X1)"_t);
   ExpectTypification(R"(Fi1[X1](S1))", "B(X1*X1)"_t);
   ExpectTypification(R"(Fi1,2[X1, X1](S1))", "B(X1*X1)"_t);
diff --git a/pyconcept/CHANGELOG.md b/pyconcept/CHANGELOG.md
index 7311279..cb59c82 100644
--- a/pyconcept/CHANGELOG.md
+++ b/pyconcept/CHANGELOG.md
@@ -19,6 +19,12 @@ Here we write upgrading notes. Make them as straightforward as possible.
 
 ### Fixed
 
+## [0.1.10] - 2024-09-25
+
+### Fixed
+
+- Allow emptyset in cartesian product
+
 ## [0.1.9] - 2024-09-25
 
 ### Added
diff --git a/pyconcept/VERSION b/pyconcept/VERSION
index 82551ad..345f8cc 100644
--- a/pyconcept/VERSION
+++ b/pyconcept/VERSION
@@ -1 +1 @@
-0.1.9
\ No newline at end of file
+0.1.10
\ No newline at end of file