diff --git a/build.xml b/build.xml index f07b0a1b..a54b85b4 100644 --- a/build.xml +++ b/build.xml @@ -825,8 +825,10 @@ jetbrains.mps.typechecking - Typechecking with Constraints + Typechecking with Constraint Rules + Experimental support for type checking with constraint rules 0.1 + JetBrains s.r.o. diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index a933a55d..4a3f8cbe 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -80,11 +80,17 @@ + + + + + + @@ -155,7 +161,7 @@ - + @@ -168,6 +174,15 @@ + + + + + + + + +