cb872e43b7
Fix method references types
2023-11-08 16:46:16 +01:00
9dc18462e4
Mysteriously disappeared module: methodReferencesExt
2023-11-08 16:46:16 +01:00
d63228678c
Fix types of call macro constraint
2023-10-13 18:13:09 +02:00
fc8451e63d
Run migration
2023-10-13 18:13:09 +02:00
f407133f11
Fix typechecking of call macro constraint
2023-10-13 18:13:09 +02:00
65dac57c7f
Fix typechecking rules not migrated by some reason
2023-10-13 18:13:09 +02:00
051ec5c9d4
Fix types of macro declarations/usages
2023-10-13 18:13:09 +02:00
4e77530d20
Drop usages of deprecated feature: ApplicableConcept
2023-10-13 18:13:08 +02:00
f3010743c1
Migration: FixExpandMacroTemplate
2023-10-13 18:13:08 +02:00
0186ffda01
Update and rebuild build scripts
2023-10-04 12:52:09 +02:00
07f342ef0f
Tests to ensure stable fixes
2023-09-28 12:10:39 +02:00
6a6c0164ee
Fix type calc for IfInstanceOfStatement and related stuff
2023-09-28 12:10:39 +02:00
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
6f8fb317e5
Fix lub calculation (construct & type of concept interfaces)
2023-09-28 12:10:39 +02:00
4f66cdd645
Cleanup gradle build and avoid resetting build version
2023-09-28 12:10:39 +02:00
d773a7d28d
Rebuild build scripts
2023-09-22 11:44:45 +02:00
bce734761c
Add dependency on j.m.kotlin plugin
2023-09-21 14:27:53 +02:00
19eca73737
Bump up version and compatibility with MPS 232
2023-09-21 14:27:53 +02:00
b49df432a9
Regenerate build scripts
2023-08-02 13:51:34 +02:00
7a83a1d436
Manually fix generated build script (see MPS-35771)
2023-07-31 15:51:07 +02:00
3cf666e633
Apply migrations and make project
2023-07-31 12:57:24 +02:00
6a9713ab3c
Rebuild project with latest MPS 2023.2 EAP
2023-07-28 15:30:04 +02:00
215a37221f
Manually fix generated build script (see MPS-35771)
2023-06-22 11:03:43 +02:00
ec83615a5c
Rebuild build scripts
2023-06-21 15:21:04 +02:00
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
9e29f86b83
Provisional fix of mspcore build script (manually fixed path)
2023-06-13 14:43:26 +02:00
6a849f82f2
Apply migrations and rebuild project
2023-06-12 12:01:02 +02:00
a16fd43d74
Rebuild project
2023-06-12 12:01:02 +02:00
ba142094b7
Drop rules acting on removed obsolete concepts
2023-06-12 12:01:02 +02:00
2cf2718484
Make rules auxiliary to reduce rules application scope
2023-06-12 12:01:02 +02:00
0fcb804c42
Avoid boxing prim types when converting
2023-05-03 10:31:55 +02:00
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
8401363109
Fix recovery of raw types: clear parameter list
2023-05-03 10:31:55 +02:00
6ea8c0e69d
Fix smodel types
2023-04-14 15:12:06 +02:00
39dedccd02
KotlinRefs types: fix kt constructor type
2023-04-10 17:51:34 +02:00
2d9027d431
Rebuild project
2023-03-27 17:22:51 +02:00
75287824ec
BL Types: construct raw type for erasedType's bound; avoid recursion. MPSCR-129
2023-03-03 17:08:59 +01:00
7daccbe1ad
Fix dangling reference
2023-03-03 17:07:24 +01:00
40f8d69896
Rebuild project with latest MPS 2023.1 EAP
2023-03-02 17:03:01 +01:00
03161ea3eb
Fix recursive call when gathering classifiers hierrarchy
2023-02-23 16:32:23 +01:00
d531c6a5ad
Run Migration Assistant
2023-02-22 13:52:02 +01:00
4db818637f
Rebuild project
2023-02-22 13:51:02 +01:00
4c847f4d3b
Temporarily disable a test that produces too much noise
2022-11-23 14:03:19 +01:00
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
34452407f4
Ignore runtime error type in a test
2022-11-23 14:03:19 +01:00
5d5cea10e6
Update error in test data model to reflect actually reported error
2022-11-23 14:03:19 +01:00
25b82ebfb1
Redo fix of closure param type inference, drop typeScheme/2
...
The solution for inferring the type of a closure parameter using
auxiliary typeScheme/2 constraint and processing all "inference sites"
doesn't work for some situations, such as closure returning a closure with
untyped (var) parameter.
The new solution uses regular typeOf/2 constraint and calculates the
closure type assuming a variable as the return type. This must not be inferred from the context.
Avoid assigning a type to the closure the 2nd time, which
causes a cascade of typeOf/2 activations.
2022-11-23 14:03:19 +01:00
e5c56fbb40
Ensure nothing() is contained in any type
2022-11-23 14:03:18 +01:00
d2a68e8fc7
Apply migrations to mpscore sub-project
2022-11-23 14:03:18 +01:00
ad3ea9d63d
Apply all migrations from 2022.2
2022-11-21 11:25:13 +01:00
Fedor Isakov