Fedor Isakov a9643c03b8 Logic types: fix indexed variable, make logical a supertype of its parameter		2021-01-06 12:43:55 +01:00
..
jetbrains.mps.baseLanguage.closuresExt.test	Closure types: use lub to compute the type of closure literal	2020-12-27 16:04:06 +01:00
jetbrains.mps.baseLanguage.collectionsExt.test	Replace direct usages of test data with proper references, fix generation	2020-12-27 20:20:21 +01:00
jetbrains.mps.baseLanguage.tuplesExt.test	Tuples types: conversions to unknown tuple and to classifier.	2020-11-24 13:41:24 +01:00
jetbrains.mps.baseLanguageExt.test	Replace direct usages of test data with proper references, fix generation	2020-12-27 21:04:51 +01:00
jetbrains.mps.lang.smodelExt	SModel types: support conversion of SConcept to concept<> type	2020-12-15 13:30:13 +01:00
samples.mpscore.build	Logic types: fix indexed variable, make logical a supertype of its parameter	2021-01-06 12:43:55 +01:00
typechecking.samples.baseLanguage	Relax another test in bl typechecking (Ignore error types)	2020-07-31 11:36:02 +03:00