natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3,060 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

640 Commits

Author SHA1 Message Date
Fedor Isakov c4db4fcafe Set generator options: strict=false in build scripts 2021-07-29 14:18:29 +02:00
Fedor Isakov 78c9b16f13 Auto-fix: change reference to default constructor 2021-07-22 15:46:21 +02:00
Fedor Isakov 73d50ef39c Add typing rules for string operations in BL 2021-07-22 13:59:19 +02:00
Fedor Isakov 7e132a8604 Drop creating blockmap file 2021-07-22 13:59:19 +02:00
Fedor Isakov d1f7932aae Generate blockmap and hash for plugin update site 2021-06-29 18:10:21 +02:00
Fedor Isakov bad065229f Rebuild project 2021-06-29 18:10:21 +02:00
Fedor Isakov 17e1bc4589 Applied migration 2021-06-29 14:51:10 +02:00
Fedor Isakov 9ea7ae2067 Better naming scheme for downloadable artefacts 2021-06-21 18:35:48 +02:00
Fedor Isakov 9826290f78 Fix building and packaging the plugins 2021-06-21 17:50:00 +02:00
Fedor Isakov 0b26d6cf7c Package mpscore languages into a separate plugin 2021-06-18 18:41:01 +02:00
Fedor Isakov 9527a097b8 Migrate to the latest MPS release, apply migrations 2021-06-18 18:41:01 +02:00
Fedor Isakov bcb4ea2499 Temporarily disable tricky to solve test case (nested generics) 2021-05-18 13:07:14 +02:00
Fedor Isakov 054ecf5c25 Adjust error annotations to reflect proper typechecking errors 2021-05-18 13:07:03 +02:00
Fedor Isakov 1e3c67949d Fix BL types: conditional op, raw types, capture conversion 2021-05-18 13:07:03 +02:00
Fedor Isakov 632d33ed0f Ensure the sample project is open with coderules plugin 2021-05-18 12:32:03 +02:00
Fedor Isakov 0cea4073cc Fix BL types: ensure proper type inference and incremental typechecking 2021-05-18 12:32:03 +02:00
Fedor Isakov f434d34d95 Test integrating stream API and smodel 2021-05-18 12:32:03 +02:00
Fedor Isakov 0691ca6a1b Drop last usage of "kind" feature 2021-05-13 15:54:44 +02:00
Fedor Isakov f623846f6c Fix function types: observe function type variance, drop wildcards 2021-05-13 15:54:44 +02:00
Fedor Isakov 6d655c4707 Update resolve info in models after renaming 2021-05-13 15:54:44 +02:00
Fedor Isakov d9225a4516 Test code for smodel/stream sample 2021-05-13 15:54:44 +02:00
Fedor Isakov bb4aa7e6e1 Fix sequence types: correctly process raw types 2021-05-13 15:54:44 +02:00
Fedor Isakov 65ec6d9d35 Fix BL types: reimplement raw type, many small fixes 
Fix type inference from containment, change priority for var-ground containment.
Fix variable reference type, property, plus operation, binary ops.
Fix type variables and bounds.
Fix checking overridden methods.
Introduce stripBounds for cleaning up wildcards.
Introduce containment string ≤ String.
 2021-05-13 15:54:44 +02:00
Fedor Isakov d5a91b91e5 Fix closures types: convertsTo of function type 
Instead of solving convertsTo for function type in functional domain,
try to find the expected classifier type and solve for it instead.
 2021-05-13 15:54:43 +02:00
Fedor Isakov 33476c837c Minor fix coderules types: ensure correct incremental processing 2021-05-13 15:54:43 +02:00
Fedor Isakov 582d62749e Minor fix generatorContext types: avoid exception on rule application 2021-05-13 15:54:43 +02:00
Fedor Isakov fc7d97f015 Fix closures types: observe function type's inherent variance 2021-05-13 15:54:43 +02:00
Fedor Isakov 7e4eff91de Fix smodel types: more precise conversion to/from classifier 2021-05-13 15:54:43 +02:00
Fedor Isakov cba508dc01 Fix collections types: indexOf accepts Object 2021-05-13 15:54:43 +02:00
Fedor Isakov 2ae85d4dae Types for j.m.lang.pattern language 2021-05-13 15:54:43 +02:00
Fedor Isakov 5a6db97aed Types for j.m.lang.scopes language 2021-05-13 15:54:43 +02:00
Fedor Isakov 827089d8ae Fix smodel types: ofconcept, attribute access, children 2021-05-13 15:54:43 +02:00
Fedor Isakov abbbfe5141 Fix behaviour types: fix wrong term 2021-05-13 15:54:43 +02:00
Fedor Isakov ab28b66981 Fix coderules types: avoid exception 2021-05-13 15:54:43 +02:00
Fedor Isakov 71cb954cba Temporary stub for NamedTuple type, to be completed later 2021-05-13 15:54:43 +02:00
Fedor Isakov a08c730ece Migrate to NodeRefItem 2021-05-13 15:54:43 +02:00
Fedor Isakov 637da7d966 Apply migration and rebuild project 2021-05-04 18:24:30 +02:00
Fedor Isakov ea6e930954 Apply migration and rebuild project 2021-05-04 18:24:29 +02:00
Fedor Isakov 81d025298c Update build script and rebuild 2021-05-04 11:07:14 +02:00
Fedor Isakov 5e4dfb249e Add tests for type variables inference 2021-05-03 13:29:13 +02:00
Fedor Isakov 0194dcdfcc Fix closure test failing after recent changes 2021-05-03 13:14:11 +02:00
Fedor Isakov 47e6e07039 Refactor processing of inference variables 
Introduce hasTarget and resolveVar constraints for delayed resolving
of inference variables. In invocation context variables are not
inferred eagerly, but wait for the end of all conversions, and then
resolved via resolveVar.
 2021-05-03 13:14:11 +02:00
Fedor Isakov e488399229 Minor refactoring in collections types 2021-05-03 13:14:11 +02:00
Fedor Isakov 998fa3b925 Fix BL types: make capture processing generic, couple of minor fixes 2021-05-03 13:14:11 +02:00
Fedor Isakov ae63863299 Minor code fix to ensure typechecking 2021-04-29 14:53:19 +02:00
Fedor Isakov 6a3834d91d Drop instances of a deprecated concept 2021-04-29 14:53:19 +02:00
Fedor Isakov 7cef550a08 Fix logic and coderules types: logical and termlist conversions to classfier 2021-04-29 14:53:19 +02:00
Fedor Isakov d407eb2676 Fix sequence types: support covariance with upper bound type 2021-04-29 14:53:19 +02:00
Fedor Isakov 8df5c22c8b Fix pattern terms used in typeOf: always specify concept 
For SModel types that reference AbstractConceptDeclaration
a type term created without specifying the reference
automatically becomes a pattern.
A pattern can't be used in typeOf, so the default
concept (BaseConcept) is provided explicitly.
This may be later refactored into a default value in the term
table.
 2021-04-29 14:53:19 +02:00
Fedor Isakov d45ef7815a Fix BL types: avoid failing on incomplete source data 2021-04-29 14:53:19 +02:00