Commit Graph

963 Commits

Author SHA1 Message Date
Clement de La Bourdonnaye fd9e2d2678 MPS-36807: new icons instead of DynamicIcon for widget 2024-01-24 10:08:14 +01:00
Clement de La Bourdonnaye 0776351977 Ran CleanStubForeignMethodIds migration 2024-01-23 16:33:23 +01:00
Clement de La Bourdonnaye c96f65ec64 NewUI - restore old ui icons for usage when new UI disabled 2024-01-11 14:38:03 +01:00
Fedor Isakov 1fc4a3c6e2 Rebuild project with MPS 2023.3 EAP 2023-12-01 17:17:41 +01:00
Fedor Isakov cb872e43b7 Fix method references types 2023-11-08 16:46:16 +01:00
Fedor Isakov 9dc18462e4 Mysteriously disappeared module: methodReferencesExt 2023-11-08 16:46:16 +01:00
Fedor Isakov d63228678c Fix types of call macro constraint 2023-10-13 18:13:09 +02:00
Fedor Isakov fc8451e63d Run migration 2023-10-13 18:13:09 +02:00
Fedor Isakov f407133f11 Fix typechecking of call macro constraint 2023-10-13 18:13:09 +02:00
Fedor Isakov 65dac57c7f Fix typechecking rules not migrated by some reason 2023-10-13 18:13:09 +02:00
Fedor Isakov 051ec5c9d4 Fix types of macro declarations/usages 2023-10-13 18:13:09 +02:00
Fedor Isakov 4e77530d20 Drop usages of deprecated feature: ApplicableConcept 2023-10-13 18:13:08 +02:00
Fedor Isakov f3010743c1 Migration: FixExpandMacroTemplate 2023-10-13 18:13:08 +02:00
Fedor Isakov 0186ffda01 Update and rebuild build scripts 2023-10-04 12:52:09 +02:00
Fedor Isakov 07f342ef0f Tests to ensure stable fixes 2023-09-28 12:10:39 +02:00
Fedor Isakov 6a6c0164ee Fix type calc for IfInstanceOfStatement and related stuff 2023-09-28 12:10:39 +02:00
Fedor Isakov 5b23aff901 Drop glb from calculating type for ofConcept op
Can't remember why it was added in the first place.
2023-09-28 12:10:39 +02:00
Fedor Isakov 6f8fb317e5 Fix lub calculation (construct & type of concept interfaces) 2023-09-28 12:10:39 +02:00
Fedor Isakov 4f66cdd645 Cleanup gradle build and avoid resetting build version 2023-09-28 12:10:39 +02:00
Fedor Isakov d773a7d28d Rebuild build scripts 2023-09-22 11:44:45 +02:00
Fedor Isakov bce734761c Add dependency on j.m.kotlin plugin 2023-09-21 14:27:53 +02:00
Fedor Isakov 19eca73737 Bump up version and compatibility with MPS 232 2023-09-21 14:27:53 +02:00
Fedor Isakov b49df432a9 Regenerate build scripts 2023-08-02 13:51:34 +02:00
Fedor Isakov 7a83a1d436 Manually fix generated build script (see MPS-35771) 2023-07-31 15:51:07 +02:00
Fedor Isakov 3cf666e633 Apply migrations and make project 2023-07-31 12:57:24 +02:00
Fedor Isakov 6a9713ab3c Rebuild project with latest MPS 2023.2 EAP 2023-07-28 15:30:04 +02:00
Fedor Isakov 215a37221f Manually fix generated build script (see MPS-35771) 2023-06-22 11:03:43 +02:00
Fedor Isakov ec83615a5c Rebuild build scripts 2023-06-21 15:21:04 +02:00
Fedor Isakov a3b7b3e5f4 Ensure test classes are packaged in test solutions
Surprisingly, jars created for test solutions are now coming out
empty, so this change ensures the option "with tests and sources"
is selected for all test modules.
2023-06-14 13:34:53 +02:00
Fedor Isakov 9e29f86b83 Provisional fix of mspcore build script (manually fixed path) 2023-06-13 14:43:26 +02:00
Fedor Isakov 6a849f82f2 Apply migrations and rebuild project 2023-06-12 12:01:02 +02:00
Fedor Isakov a16fd43d74 Rebuild project 2023-06-12 12:01:02 +02:00
Fedor Isakov ba142094b7 Drop rules acting on removed obsolete concepts 2023-06-12 12:01:02 +02:00
Fedor Isakov 2cf2718484 Make rules auxiliary to reduce rules application scope 2023-06-12 12:01:02 +02:00
Fedor Isakov 0fcb804c42 Avoid boxing prim types when converting 2023-05-03 10:31:55 +02:00
Fedor Isakov 4fd280f06e Fix closure type inference: infer result type
Proceed with the closure result type as with other inferrable types:
declare as inference var and resolve at the end of processing.
2023-05-03 10:31:55 +02:00
Fedor Isakov 8401363109 Fix recovery of raw types: clear parameter list 2023-05-03 10:31:55 +02:00
Fedor Isakov 6ea8c0e69d Fix smodel types 2023-04-14 15:12:06 +02:00
Fedor Isakov 39dedccd02 KotlinRefs types: fix kt constructor type 2023-04-10 17:51:34 +02:00
Fedor Isakov 2d9027d431 Rebuild project 2023-03-27 17:22:51 +02:00
Fedor Isakov 75287824ec BL Types: construct raw type for erasedType's bound; avoid recursion. MPSCR-129 2023-03-03 17:08:59 +01:00
Fedor Isakov 7daccbe1ad Fix dangling reference 2023-03-03 17:07:24 +01:00
Fedor Isakov 40f8d69896 Rebuild project with latest MPS 2023.1 EAP 2023-03-02 17:03:01 +01:00
Fedor Isakov 03161ea3eb Fix recursive call when gathering classifiers hierrarchy 2023-02-23 16:32:23 +01:00
Fedor Isakov d531c6a5ad Run Migration Assistant 2023-02-22 13:52:02 +01:00
Fedor Isakov 4db818637f Rebuild project 2023-02-22 13:51:02 +01:00
Fedor Isakov 4c847f4d3b Temporarily disable a test that produces too much noise 2022-11-23 14:03:19 +01:00
Fedor Isakov 13da45a973 Fix subtle issues with type inference, introduce more
As type variables are made to be resolved later, some errors may "escape"
their respective scope, such as classifier type definition. This needs to be
addressed separately.
2022-11-23 14:03:19 +01:00
Fedor Isakov 34452407f4 Ignore runtime error type in a test 2022-11-23 14:03:19 +01:00
Fedor Isakov 5d5cea10e6 Update error in test data model to reflect actually reported error 2022-11-23 14:03:19 +01:00