From ff9d109ea63cd1e4c9a7230768a3b168e1003c84 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 22 Aug 2019 14:14:53 +0300 Subject: [PATCH] Add BL typechecking of arrays and boolean consts. Fails now due to rule tag collisions --- .../jetbrains.mps.baseLanguageExt.types.mps | 1577 ++++++++++++++++- .../models/features.mps | 736 +++++++- .../models/features@tests.mps | 29 + 3 files changed, 2314 insertions(+), 28 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 4f349f66..7d792102 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -2,18 +2,18 @@ - - + + - + - + - - + + @@ -212,6 +212,7 @@ + @@ -469,6 +470,7 @@ + @@ -588,11 +590,13 @@ + + @@ -636,6 +640,10 @@ + + + + @@ -994,6 +1002,76 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6865,8 +6943,8 @@ - + @@ -13096,9 +13174,6 @@ - - - @@ -13110,6 +13185,9 @@ + + + @@ -13119,8 +13197,8 @@ - + @@ -14483,9 +14561,6 @@ - - - @@ -14506,6 +14581,9 @@ + + + @@ -22464,11 +22542,11 @@ - + @@ -22899,12 +22977,6 @@ - - - - - - @@ -22921,6 +22993,12 @@ + + + + + + @@ -23998,6 +24076,9 @@ + + + @@ -24036,9 +24117,6 @@ - - - @@ -30043,8 +30121,8 @@ - - + + @@ -30058,6 +30136,19 @@ + + + + + + + + + + + + + @@ -31116,5 +31207,1439 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps index b769dec5..59596242 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps @@ -27,6 +27,13 @@ + + + + + + + @@ -38,6 +45,7 @@ + @@ -59,6 +67,10 @@ + + + + @@ -108,6 +120,9 @@ + + + @@ -154,9 +169,17 @@ + + + + + + + + @@ -5405,6 +5428,16 @@ + + + + + + + + + + @@ -5476,7 +5509,19 @@ - + + + + + + + + + + + + + @@ -5567,6 +5612,10 @@ + + + + @@ -5598,6 +5647,21 @@ + + + + + + + + + + + + + + + @@ -5942,6 +6006,10 @@ + + + + @@ -5973,6 +6041,21 @@ + + + + + + + + + + + + + + + @@ -6338,6 +6421,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6709,6 +6820,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7089,6 +7228,22 @@ + + + + + + + + + + + + + + + + @@ -7472,10 +7627,30 @@ - + + + + + + + + + + + + + + + + + + + + + @@ -8348,5 +8523,562 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps index 6c59ed97..2ede53ef 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -443,6 +443,35 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +