Commit: 79bcc8c6426202dc1ff1cf4b7537394100fba579 - CCastle2 (hg)

Castle: The best Real-Time/Embedded/HighTech language EVER. Attempt 2

Commit MetaInfo

• Revision: 79bcc8c6426202dc1ff1cf4b7537394100fba579 (tree)
• Zeit: 2024-03-11 06:47:11
• Autor: Albert Mietus < albert AT mietus DOT nl >
• Commiter: Albert Mietus < albert AT mietus DOT nl >

Log Message

Add type:'Specialise' to Protocol.based_on, for mypy

Ändern Zusammenfassung

• modified: Mk/settings.mk
• modified: base_packages/castle-aigr/castle/aigr/protocols.py

Diff

diff -r b42ec59e47bf -r 79bcc8c64262 Mk/settings.mk
--- a/Mk/settings.mk	Sun Mar 10 22:41:02 2024 +0100
+++ b/Mk/settings.mk	Sun Mar 10 22:47:11 2024 +0100
@@ -8,7 +8,7 @@
 SETS	= last current current-ds current-info recheck
 TYPICAL = all clean cleaner cleanest veryclean doc test pytest pytest-only
 ALL	= current last todo pyanalyse todo mypy
-BUILD	= ${ALL} build install-e
+BUILD	= ${ALL} build install-e install-fast
 TEST 	= test pytest coverage mutmut
 OPENit	= coverage-open mutmut-open pyanalyse-open
 FULL	= ${SETS} ${TYPICAL} ${ALL} ${TEST} ${BUILD} ${OPENit}

diff -r b42ec59e47bf -r 79bcc8c64262 base_packages/castle-aigr/castle/aigr/protocols.py
--- a/base_packages/castle-aigr/castle/aigr/protocols.py	Sun Mar 10 22:41:02 2024 +0100
+++ b/base_packages/castle-aigr/castle/aigr/protocols.py	Sun Mar 10 22:47:11 2024 +0100
@@ -14,7 +14,7 @@
 from . import AIGR
 from .events import Event
 from .aid import ID, TypedParameter, Argument                                                            # Castle/AIGR types
-from .nodes import NamedNode
+from .nodes import NamedNode, Specialise