c230bfa6e4
Drop "ideaplugin" module from module dependencies
2024-07-01 15:41:37 +02:00
8554843e6a
Apply automatic migrations
2024-07-01 15:31:42 +02:00
f0a9ac3bab
Drop abandoned functionality: controlflow
2024-06-24 10:56:00 +02:00
71f0d56aa7
Support for HexLongLiteral type
2024-06-21 19:57:33 +02:00
1301b4c226
Workaround for coerce with node<#> extracting reference
2024-06-21 19:57:33 +02:00
bf6ce46a26
Fix types of method reference expressions
2024-06-21 15:00:32 +02:00
bcf638af3a
Add methodReferences language and tests to the build script
2024-06-21 14:58:48 +02:00
d6783eb081
Run migrations in mpscore project
2024-06-20 12:16:29 +02:00
a86a8f9b12
Run migrations in samples/mpscore
2024-06-16 21:50:28 +02:00
1707b1ab85
Bump up the plugin version(s)
2024-06-16 16:25:18 +02:00
e1816d4f8a
Fix typechecking of enumerator type
2024-06-16 16:11:38 +02:00
a19d02b8ae
Switch initialization to use ModuleActivator; drop unused imports
2024-06-16 16:11:38 +02:00
9e37cd236b
Fix code with scope issues
2024-06-13 21:53:44 +02:00
9aa9680ba1
Refactor DataForm.Visitor to use default methods; drop Stub
2024-06-13 17:40:23 +02:00
3a2c088e82
Fix invalid logical data type declaration
2024-06-13 15:46:48 +02:00
64ec688fd2
Rebuild project
2024-06-07 10:32:44 +02:00
0d192feaae
Drop all TestInfo instances from the project
2024-06-07 10:32:44 +02:00
e37dffd4a1
Rebuild project
2024-04-29 17:59:41 +02:00
fd9e2d2678
MPS-36807: new icons instead of DynamicIcon for widget
2024-01-24 10:08:14 +01:00
0776351977
Ran CleanStubForeignMethodIds migration
2024-01-23 16:33:23 +01:00
c96f65ec64
NewUI - restore old ui icons for usage when new UI disabled
2024-01-11 14:38:03 +01:00
1fc4a3c6e2
Rebuild project with MPS 2023.3 EAP
2023-12-01 17:17:41 +01:00
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
d9cda646de
Bump up plugin versions
2022-11-21 11:25:03 +01:00
071efca420
Update build script
2022-11-21 10:50:00 +01:00
847aa0d925
Update tests to ignore certain errors, avoid failure on correct code
2022-11-21 10:50:00 +01:00
fecabe840d
Fix closure's parameter type inference, drop hacks
...
Replace the ad-hoc solution with typeScheme/2 cint to be used
on par with type/2. Type inference sites to be extended
with rules to process typeScheme.
2022-11-21 10:50:00 +01:00
b5de53e27f
Fix type inference for untyped parameters; minor refactorings
...
Ensure nothing() type can be converted to any type.
Use the value "site" in capture() term to ensure capture types
don't get matched with `==`.
Also, avoid eagerly dropping resolveVar cint.
2022-11-21 10:50:00 +01:00
876cf75302
Types for j.m.l.kotlinRefs languange
2022-11-21 10:50:00 +01:00
83976afa9d
Update and generate build script
2022-11-21 10:50:00 +01:00
d33e3148d9
Update virtual folders
2022-11-21 10:50:00 +01:00
2a6d60133b
Fix closure's parameter type inference; properly lift function type
2022-11-21 10:50:00 +01:00
497691e9af
Fix type inference of expressions in BL, plus few minor issues
2022-11-21 10:50:00 +01:00
f1efac2c11
Fix typechecking of function type: varargs and type inference
2022-11-21 10:50:00 +01:00
22fb818142
Simplify typechecking of SNodeTypeCastExpression, drop deprecated stuff
2022-11-21 10:50:00 +01:00
5abf1dbce7
Ensure types extend BL's Type term
2022-11-21 10:50:00 +01:00
9b341c2e2d
Ensure types extend BL's Type term
2022-11-21 10:50:00 +01:00
3f722f6fbd
Drop creating abstract concept for open type
2022-11-21 10:50:00 +01:00
8c0771769a
Update modules.xml for all recently added modules
2022-11-21 10:49:59 +01:00
816dcc5f00
Types for j.m.l.methodReferences languange
2022-11-21 10:49:59 +01:00
0e6a1103c7
Types for j.m.l.extension languange
2022-11-21 10:49:59 +01:00
ec0167feba
Types for j.m.l.sharedConcepts languange
2022-11-21 10:49:59 +01:00
ff1d53a7ab
Fix sequence type construction (passing correct unifier)
2022-11-21 10:49:59 +01:00
0cdad6687c
Introduce nothing() term, ensure it is assigned by default instead of type()
2022-09-08 14:07:06 +02:00
8c9f3c8afa
Fix closure type inference
2022-09-08 14:07:06 +02:00
4aaf66d4cb
Support for LocalPropertyReference
2022-09-08 14:07:06 +02:00
35288dc3e5
Fix conversion in smodel lang
2022-09-08 14:07:06 +02:00
7c3c6968b0
Fix type recovery in logic lang
2022-09-08 14:07:06 +02:00
ce71b0f987
Rebuild build scripts
2022-09-02 16:42:08 +02:00
4070194d01
Bump up plugin versions
2022-09-02 16:11:00 +02:00
83e273da73
Fix tests by caching Config instance
...
Tests are launched within a context that is unable
to perform normal MPS classloading, so we resort to
caching the (singleton) instance of Config coming from
an (IDEA) plugin to use it later.
2022-08-27 19:39:14 +02:00
Fedor Isakov