ConceptProd/ConceptCore
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptCore.git synced 2025-06-26 09:10:37 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

B: Allow decartian emptyset

Browse Source
This commit is contained in:
Ivan 2024-09-25 22:54:12 +03:00
parent daff622090
commit 894c04de27
4 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ccl/rslang/src/TypeAuditor.cpp
View File

@ -477,7 +477,6 @@ bool TypeAuditor::ViEmptySet(Cursor iter) {
TokenID::INTERSECTION, TokenID::INTERSECTION,
TokenID::SET_MINUS, TokenID::SET_MINUS,
TokenID::SYMMINUS, TokenID::SYMMINUS,
TokenID::DECART,
TokenID::REDUCE, TokenID::REDUCE,
TokenID::BIGPR, TokenID::BIGPR,
TokenID::SMALLPR TokenID::SMALLPR

1
ccl/rslang/test/src/testTypeAuditor.cpp
View File

@ -341,6 +341,7 @@ TEST_F(UTTypeAuditor, TypedOperationsCorrect) {
ExpectTypification(R"(X1)", "B(X1)"_t); ExpectTypification(R"(X1)", "B(X1)"_t);
ExpectTypification(R"(B(X1))", "BB(X1)"_t); ExpectTypification(R"(B(X1))", "BB(X1)"_t);
ExpectTypification(R"(X1*X1)", "B(X1*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"(Pr1(S1))", "B(X1)"_t);
ExpectTypification(R"(Fi1[X1](S1))", "B(X1*X1)"_t); ExpectTypification(R"(Fi1[X1](S1))", "B(X1*X1)"_t);
ExpectTypification(R"(Fi1,2[X1, X1](S1))", "B(X1*X1)"_t); ExpectTypification(R"(Fi1,2[X1, X1](S1))", "B(X1*X1)"_t);

6
pyconcept/CHANGELOG.md
View File

@ -19,6 +19,12 @@ Here we write upgrading notes. Make them as straightforward as possible.
### Fixed ### Fixed
## [0.1.10] - 2024-09-25
### Fixed
- Allow emptyset in cartesian product
## [0.1.9] - 2024-09-25 ## [0.1.9] - 2024-09-25
### Added ### Added

2
pyconcept/VERSION
View File

@ -1 +1 @@
0.1.9 0.1.10