ca7f630235
Rebuild build solution
2021-04-08 09:08:24 +02:00
3793b78efb
Types for j.m.baseLanguage.classifiers
2021-04-08 08:55:33 +02:00
27420433dc
Types for j.m.lang.behavior
2021-04-08 08:55:33 +02:00
5c13129daa
Fix type of logical variables in coderules types
2021-04-08 08:55:32 +02:00
65b32a4f48
Fix lub processing in BL types
2021-04-08 08:54:46 +02:00
1eadb46611
Fix smodel types: assign void type to operations w/o returned value
2021-04-08 08:54:22 +02:00
d527d5a114
Suppress errors in test code
2021-04-08 08:53:30 +02:00
d7ff661670
Types for j.m.l.test lang
2021-04-08 08:53:29 +02:00
105fe1dd7e
Fix dataform type conversion to term/termlist
2021-04-08 08:51:39 +02:00
6b3e74dda2
Fix conversions in tuple types
2021-04-08 08:50:50 +02:00
f5b4b0edb0
Fix binary op in collections lang
2021-04-08 08:50:28 +02:00
693c760618
Add types for j.m.l.test language.
2021-03-23 12:48:07 +01:00
99e248c5b3
Fix incremental update of reported feedback
...
Correctly detect cache up-to-date.
Refactor feedback reporting, provide origin node as the key.
Drop invalidated feedback correctly.
Code cleanup.
2021-03-23 12:48:06 +01:00
258a190fde
Rebuild project.
2021-03-23 12:48:06 +01:00
5fc019caca
Mark an exhastive check rule as "auxiliary" to avoid including it as dependency.
2021-03-08 12:34:40 +01:00
a9ff6730ca
Fix concept type conversion to classifier with undefined concept.
2021-03-08 12:34:40 +01:00
c36679bcc6
Fix logic inconsistent type error
...
Naive check won't suffice to ensure multilogical are used properly.
Need more sophisticated type check.
2021-03-08 12:34:39 +01:00
b70d2cc87b
Drop unused dependencies
2021-02-14 15:48:08 +01:00
4755c0dfa0
Extract test helper classes into separate redistributable module
2021-02-14 15:12:58 +01:00
8a529758ea
Remove build solution from mpscore project
2021-02-14 15:04:29 +01:00
fc1c5b8021
Drop project libraries, switch to using the plugin for loading CR modules.
2021-02-13 10:25:24 +01:00
81831db86a
Move experimental controlflow aspect to a separate language
2021-02-06 15:28:03 +01:00
caca5e606f
Fix failing CI build because of empty test case
2021-02-05 12:12:48 +01:00
dee5db0e96
Drop instances of TermFeature.final property
2021-02-04 18:01:10 +01:00
d362da6a60
Rebuild project
2021-02-04 18:01:10 +01:00
ed55370a01
Fix model imports (hamcrest lib has been moved to another solution)
2021-02-04 12:27:55 +01:00
7fe5a5ad7a
Auto-updated files after migrating to MPS 2021.1 EAP
2021-02-04 12:26:59 +01:00
b7f4d227a4
Rebuild project
2021-02-04 09:16:10 +01:00
ecf7eec55a
SModel types: fix type of isSubtypeExpression
2021-02-04 08:51:00 +01:00
2f0f2e5b13
BL types: support coerce to target type query kind
2021-02-04 08:51:00 +01:00
4d1cdacfe2
BL types: avoid failure on typechecking BaseMethodCall
...
BaseMethodCall doesn't always have an enclosing classifier.
2021-02-04 08:51:00 +01:00
ad269bb6b5
Ensure typechecking state is properly disposed of on reload
2021-02-04 08:51:00 +01:00
40a93d5ba9
Temporarily disable one failing test in IncrClassHierarchy; Preamble tests
...
Preamble tests should be reviewed. It's also unclear
whether preamble feature is effective and needed at all.
2021-01-29 16:21:57 +03:00
64762bf100
Fix bl tests (several test were failing after some of changes)
2021-01-29 13:39:35 +03:00
4dac9e794a
Fix assignment of 'null' ret type in closures with insufficient infer info. Add require.
2021-01-29 13:39:35 +03:00
148223a842
Add incremental tests for lambda calc. Enable ignored tests for closures.
2021-01-29 13:39:35 +03:00
2b46ab0413
BL types: ensure any type converts to Type
2021-01-23 16:59:46 +01:00
2b6de60ebc
BL types: Drop runtimeType term and its usages
2021-01-23 16:59:42 +01:00
1389f9429f
Rebuild project
2021-01-08 11:00:02 +01:00
62e8e7d013
Switch to MPS 2020.3 release.
2021-01-08 11:00:02 +01:00
0a77dcb33b
Coderules types: fix unifiable relation, add missing typing rules
2021-01-06 12:43:55 +01:00
a9643c03b8
Logic types: fix indexed variable, make logical a supertype of its parameter
2021-01-06 12:43:55 +01:00
aec8c3f9d9
SModel types: type for concept method call
2021-01-06 12:43:55 +01:00
143fb9cf57
Generator lang types: fix a typo
2020-12-30 18:28:46 +01:00
6f92d666f7
BL types: a few fixes, stabilize typechecking
...
Support Type type.
Simplify depdendency of var decl to its type.
Covariant subtyping for UpperBoundType.
Straightforward dependencies on type's parameters.
Specify BaseConcept as general type's concept.
Fix method reference.
2020-12-30 18:28:46 +01:00
4acae7a1b7
SModel types: minor fixes
...
Support SConceptLiteralType.
Drop rogue .pointer operation.
Build proper term for enumMember type.
2020-12-30 18:28:46 +01:00
51d5687e1a
Add missing language modules to mpscore project
2020-12-30 18:28:45 +01:00
862d7f62c2
Replace direct usages of test data with proper references, fix generation
2020-12-27 21:04:51 +01:00
67c208a360
Drop support for a few concepts that have been dropped
2020-12-27 21:04:51 +01:00
0584d05c4f
Drop support for a concept that has been apparently dropped upstream
2020-12-27 20:42:07 +01:00
Fedor Isakov