From 22c09152d5738706e995cf82a683bbb3de0c391b Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 23 Jan 2020 12:50:19 +0100 Subject: [PATCH] Ensure TypesIndex keeps unique node report items. --- ...ins.mps.coderules.typechecking.service.mps | 448 +++++++++++++----- 1 file changed, 338 insertions(+), 110 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 6ca1c88e..d9803dc7 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 @@ -442,6 +442,9 @@ + + + @@ -489,6 +492,7 @@ + @@ -517,6 +521,7 @@ + @@ -2779,73 +2784,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2870,6 +2808,92 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2964,17 +2988,26 @@ - - - - - - - - + + + + + + + + + + + + + + + + + @@ -2992,14 +3025,170 @@ - - - - + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3018,12 +3207,42 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -3165,6 +3384,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -7557,7 +7798,7 @@ - + @@ -7806,7 +8047,7 @@ - + @@ -7999,7 +8240,7 @@ - + @@ -8021,29 +8262,16 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + +