2b146e886b
Migrate to latest MPS 2026.1 EAP
2026-04-24 11:22:20 +02:00
1a1cb13621
Apply migrations from 251
2025-04-09 11:34:06 +02:00
fc8451e63d
Run migration
2023-10-13 18:13:09 +02:00
f3010743c1
Migration: FixExpandMacroTemplate
2023-10-13 18:13:08 +02:00
ad3ea9d63d
Apply all migrations from 2022.2
2022-11-21 11:25:13 +01:00
7fe773dcc2
Switch all type aspects in mpscore sample to typechecking terms
...
This includes dropping of Recover rule table and relying on
the automatic types recovery.
2022-07-28 10:30:38 +02:00
ed58f59794
Ensure all memo usages have unique keys
2022-05-26 09:55:21 +02:00
17e1bc4589
Applied migration
2021-06-29 14:51:10 +02:00
71cb954cba
Temporary stub for NamedTuple type, to be completed later
2021-05-13 15:54:43 +02:00
637da7d966
Apply migration and rebuild project
2021-05-04 18:24:30 +02:00
ea6e930954
Apply migration and rebuild project
2021-05-04 18:24:29 +02:00
1c82991112
Ensure classifier type is created as pattern where applicable
...
List features in a term are by defualt created as empty list.
When a pattern is required, one must provide explicitly a
wildcard variable to capture either NIL or CONS list term.
2021-04-28 08:55:00 +02:00
fceef17a64
Fix typechecking errors
2021-04-28 08:54:25 +02:00
ff6b5ec6ae
Apply migrations and rebuild project
2021-04-14 13:19:50 +02:00
6b3e74dda2
Fix conversions in tuple types
2021-04-08 08:50:50 +02:00
17ad3b0ff7
Tuples types: conversions to unknown tuple and to classifier.
2020-11-24 13:41:24 +01:00
fe16b80132
Refactor types in all mps foundation langs. Drop node-ptr usage as anchor in terms.
...
Drop node-ptr in node features, macro calls.
Drop node-ptr types in rule templates and recover closures,
fix BiConsumer params
Drop node-ptr// refs where appropriate.
Drop pointer operations from macro calls and term ctor's; add resolve to FunctionTypeLookup static table.
Drop node pointer operations from constraints, add require statements in SModel types macro table.
2020-11-24 13:41:24 +01:00
f138e725f2
minor: provide ConvertsContexts constructors for common scenarios (eg assignment, invocation contexts) (MPSCR-63)
2020-08-04 12:38:24 +03:00
e94ea9955c
Refactor primitive conversion with narrowing option and fix var decl checking (MPSCR-63)
...
According to JLS, narrowing is allowed in assignment context,
but forbidden e.g. in invocation context.
2020-07-31 11:36:02 +03:00
936190bca9
Apply migrations.
2020-07-11 15:13:08 +02:00
14780b5561
Apply automatic migrations.
2020-05-09 15:04:25 +02:00
76991aabe7
Fix dependencies among rule tables.
...
Observing the invariant: whenever a constraint is used in
rule's head, the rule table containing it must extend the
one that constraint.
Also drop unused constraint from the head in ConversionFunctionIFace.
2020-05-05 16:23:13 +02:00
69457dc747
minor fix: extend term tabl from blExt in tuplesExt
2020-05-02 13:43:03 +03:00
22921b9b17
Clean unneded require statements
...
Relies on facts that children of origin are always processed and
that all nodes mentioned in rule bodies are required implicitly.
2020-04-19 13:43:05 +03:00
4bb1b9d3d8
Apply some migrations after rebase on master
2020-04-19 13:42:53 +03:00
eb4862eb48
Force save all models -- update resolve info.
2020-04-14 16:20:05 +02:00
5b1449fa82
Update all usages of moved concepts.
2020-04-13 17:58:34 +02:00
a1c98b5bf0
Apply all outstanding migrations.
2020-04-13 17:58:33 +02:00
bd87873160
Move baseLanguage.tuplesExt lang to 'samples' and upd build script
2020-04-13 14:36:37 +03:00
Fedor Isakov