mps-coderules/samples/mpscore/languages/jetbrains.mps.baseLanguageExt
Fedor Isakov 6f92d666f7 BL types: a few fixes, stabilize typechecking
Support Type type.
Simplify depdendency of var decl to its type.
Covariant subtyping for UpperBoundType.
Straightforward dependencies on type's parameters.
Specify BaseConcept as general type's concept.
Fix method reference.
2020-12-30 18:28:46 +01:00
..
models BL types: a few fixes, stabilize typechecking 2020-12-30 18:28:46 +01:00
jetbrains.mps.baseLanguageExt.mpl Add script for migraiting convertsTo relation to use ConvertsContext (MPSCR-63) 2020-07-31 11:36:02 +03:00