From 4ea72e6d4fefb13825d70aff38cf2bb1e15e5c41 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Wed, 21 Aug 2019 14:40:46 +0300 Subject: [PATCH] Allow checking for "no type" TypecheckingReportItems in typechecking tests --- ...ins.mps.coderules.typechecking.service.mps | 344 ++++++++++++++++++ 1 file changed, 344 insertions(+) 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 bb75875b..fcb3ce4b 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 @@ -72,6 +72,10 @@ + + + + @@ -456,6 +460,7 @@ + @@ -610,6 +615,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -958,6 +987,92 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1175,6 +1290,227 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1948,6 +2284,14 @@ + + + + + + + +