From dfa53a265fa86dc285b43d1a15ab09daca2118eb Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 24 Oct 2019 20:54:23 +0300 Subject: [PATCH] Add static field access to Sample typechecking test in BL --- ...pechecking.samples.baseLanguage.bounds.mps | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps index b4731c54..44f4c177 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps @@ -37,8 +37,12 @@ + + + + @@ -166,6 +170,14 @@ + + + + + + + + @@ -408,6 +420,28 @@ + + + + + + + + + + + + + + + + + + + + + +