mps-coderules/samples/mpscore/languages
Fedor Isakov 0a77dcb33b Coderules types: fix unifiable relation, add missing typing rules 2021-01-06 12:43:55 +01:00
..
jetbrains.mps.baseLanguage.blTypesExt Keep "types" model from deletion with a placeholder. 2020-08-20 15:02:54 +02:00
jetbrains.mps.baseLanguage.closuresExt Closure types: use lub to compute the type of closure literal 2020-12-27 16:04:06 +01:00
jetbrains.mps.baseLanguage.collectionsExt Collections types: support coercion to sequence type, fix multi foreach. 2020-11-24 13:41:24 +01:00
jetbrains.mps.baseLanguage.function Re-saved models -- update resolve info. 2020-09-10 09:59:42 +02:00
jetbrains.mps.baseLanguage.javadocExt Apply migrations. 2020-07-11 15:13:08 +02:00
jetbrains.mps.baseLanguage.sequence Implement lub for sequence type 2020-12-27 16:04:06 +01:00
jetbrains.mps.baseLanguage.tuplesExt Tuples types: conversions to unknown tuple and to classifier. 2020-11-24 13:41:24 +01:00
jetbrains.mps.baseLanguageExt BL types: a few fixes, stabilize typechecking 2020-12-30 18:28:46 +01:00
jetbrains.mps.baseLanguageInternalExt BL internal types: support internal class 2020-12-27 16:04:06 +01:00
jetbrains.mps.lang.coderulesExt Coderules types: fix unifiable relation, add missing typing rules 2021-01-06 12:43:55 +01:00
jetbrains.mps.lang.constraintsExt Types for constraints lang 2020-12-27 10:36:00 +01:00
jetbrains.mps.lang.generator.generationContextExt Drop support for a few concepts that have been dropped 2020-12-27 21:04:51 +01:00
jetbrains.mps.lang.generatorExt Generator lang types: fix a typo 2020-12-30 18:28:46 +01:00
jetbrains.mps.lang.quotationExt Types for quotation lang 2020-12-27 10:36:00 +01:00
jetbrains.mps.lang.smodelExt SModel types: type for concept method call 2021-01-06 12:43:55 +01:00
jetbrains.mps.lang.typesystemExt Types for typesystem lang 2020-12-27 10:35:59 +01:00
jetbrains.mps.logicExt Logic types: fix indexed variable, make logical a supertype of its parameter 2021-01-06 12:43:55 +01:00