From d4f0c9741f023c81f8b5d8d926c93fef8126ce7d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 10 Dec 2020 12:43:45 +0100 Subject: [PATCH] Enable reuse of locally calculated types. Typechecking results cache is consulted on a request to locally calculate the type. --- ...ins.mps.coderules.typechecking.service.mps | 241 +++++++++++++++++- 1 file changed, 233 insertions(+), 8 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 7afb7a09..1483db1e 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -8166,7 +8166,37 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8175,22 +8205,22 @@ - - + + - + - + - - + + - + @@ -10444,6 +10474,201 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +