From 0fcb804c42dcf34ba37103f0c4cde8a9cd9a65a3 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 3 May 2023 10:30:51 +0200 Subject: [PATCH] Avoid boxing prim types when converting --- .../jetbrains.mps.baseLanguageExt.types.mps | 87 +++++++++++++++++++ 1 file changed, 87 insertions(+) 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 6dbeead5..071c1da4 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 @@ -13234,6 +13234,93 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +