...
 
Commits (3)

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.
......@@ -23,3 +23,23 @@ cabal.project.local~
out/
bicheck.cabal
stack.yaml
xtend-gen
src-gen
classes_gen
source_gen
jimple_gen
source_gen.caches
test_gen.caches
workspace.xml
artifacts
tmp
libraries.overrides.properties
.gradle/
build/generated/
build/mps/
build/code/
build/test/
test_gen/
.DS_Store
......@@ -8,11 +8,13 @@
<modulePath path="$PROJECT_DIR$/languages/RecordTypes/RecordTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/SLTCN/SLTCN.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/STLCN/STLCN.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/TypeLang/TypeLang.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/VariantTypes/VariantTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/RecordTypes_Checker/RecordTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/STLCN_Checker/STLCN_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="." />
<modulePath path="$PROJECT_DIR$/solutions/TypeLangTest/TypeLangTest.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/VariantTypes_Checker/VariantTypes_Checker.msd" folder="" />
</projectModules>
</component>
......
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="BehaviorAspectDescriptor.java">
<unit at="11,0,22,0" name="FORecursiveTypes.behavior.BehaviorAspectDescriptor" />
</file>
</root>
</debug-info>
<?xml version="1.0" encoding="UTF-8"?>
<checkpoints>
<plan id="AspectCPS">
<checkpoint id="DescriptorClasses" file="aspectcps-descriptorclasses.mps" />
</plan>
</checkpoints>
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123140:jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123155:jetbrains.mps.baseLanguage.structure.ExpressionStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123165:jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242864:jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242878:jetbrains.mps.baseLanguage.structure.ReturnStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070475587102:jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" />
<root>
<file name="ConstraintsAspectDescriptor.java">
<unit at="13,0,37,0" name="FORecursiveTypes.constraints.ConstraintsAspectDescriptor" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/2012336639220441492">
<file name="TypeVar_Constraints.java">
<node id="2012336639220441492" at="17,32,18,142" concept="5" />
<node id="2012336639220441492" at="22,84,23,119" concept="3" />
<node id="2012336639220442156" at="26,40,27,20" concept="4" />
<node id="2012336639220442156" at="30,70,31,37" concept="3" />
<node id="2012336639220442159" at="31,37,32,233" concept="4" />
<node id="2012336639220441492" at="34,7,35,22" concept="4" />
<node id="2012336639220441492" at="17,0,20,0" concept="0" trace="TypeVar_Constraints#()V" />
<node id="2012336639220442156" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="2012336639220442156" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="2012336639220442156" at="23,119,34,7" concept="1" />
<node id="2012336639220441492" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="2012336639220441492" at="17,32,18,142" />
<scope id="2012336639220442156" at="26,40,27,20" />
<scope id="2012336639220442156" at="30,70,32,233">
<var name="propertyName" id="2012336639220442156" />
</scope>
<scope id="2012336639220441492" at="17,0,20,0" />
<scope id="2012336639220442156" at="25,0,29,0" />
<scope id="2012336639220442156" at="29,0,34,0">
<var name="node" id="2012336639220442156" />
<var name="propertyValue" id="2012336639220442156" />
</scope>
<scope id="2012336639220441492" at="22,84,35,22">
<var name="properties" id="2012336639220441492" />
</scope>
<scope id="2012336639220441492" at="21,0,37,0" />
<unit id="2012336639220442156" at="24,137,34,5" name="FORecursiveTypes.constraints.TypeVar_Constraints$1" />
<unit id="2012336639220441492" at="16,0,38,0" name="FORecursiveTypes.constraints.TypeVar_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/2951477311799558508">
<file name="Var_Constraints.java">
<node id="2951477311799558508" at="17,28,18,138" concept="5" />
<node id="2951477311799558508" at="22,84,23,119" concept="3" />
<node id="2951477311799558586" at="26,40,27,20" concept="4" />
<node id="2951477311799558586" at="30,70,31,37" concept="3" />
<node id="2951477311799559064" at="31,37,32,233" concept="4" />
<node id="2951477311799558508" at="34,7,35,22" concept="4" />
<node id="2951477311799558508" at="17,0,20,0" concept="0" trace="Var_Constraints#()V" />
<node id="2951477311799558586" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="2951477311799558586" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="2951477311799558586" at="23,119,34,7" concept="1" />
<node id="2951477311799558508" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="2951477311799558508" at="17,28,18,138" />
<scope id="2951477311799558586" at="26,40,27,20" />
<scope id="2951477311799558586" at="30,70,32,233">
<var name="propertyName" id="2951477311799558586" />
</scope>
<scope id="2951477311799558508" at="17,0,20,0" />
<scope id="2951477311799558586" at="25,0,29,0" />
<scope id="2951477311799558586" at="29,0,34,0">
<var name="node" id="2951477311799558586" />
<var name="propertyValue" id="2951477311799558586" />
</scope>
<scope id="2951477311799558508" at="22,84,35,22">
<var name="properties" id="2951477311799558508" />
</scope>
<scope id="2951477311799558508" at="21,0,37,0" />
<unit id="2951477311799558586" at="24,137,34,5" name="FORecursiveTypes.constraints.Var_Constraints$1" />
<unit id="2951477311799558508" at="16,0,38,0" name="FORecursiveTypes.constraints.Var_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/2951477311799627903">
<file name="Let_Constraints.java">
<node id="2951477311799627903" at="17,28,18,138" concept="5" />
<node id="2951477311799627903" at="22,84,23,119" concept="3" />
<node id="2951477311799628656" at="26,40,27,20" concept="4" />
<node id="2951477311799628656" at="30,70,31,37" concept="3" />
<node id="5790571747118569642" at="31,37,32,149" concept="4" />
<node id="2951477311799627903" at="34,7,35,22" concept="4" />
<node id="2951477311799627903" at="17,0,20,0" concept="0" trace="Let_Constraints#()V" />
<node id="2951477311799628656" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="2951477311799628656" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="2951477311799628656" at="23,119,34,7" concept="1" />
<node id="2951477311799627903" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="2951477311799627903" at="17,28,18,138" />
<scope id="2951477311799628656" at="26,40,27,20" />
<scope id="2951477311799628656" at="30,70,32,149">
<var name="propertyName" id="2951477311799628656" />
</scope>
<scope id="2951477311799627903" at="17,0,20,0" />
<scope id="2951477311799628656" at="25,0,29,0" />
<scope id="2951477311799628656" at="29,0,34,0">
<var name="node" id="2951477311799628656" />
<var name="propertyValue" id="2951477311799628656" />
</scope>
<scope id="2951477311799627903" at="22,84,35,22">
<var name="properties" id="2951477311799627903" />
</scope>
<scope id="2951477311799627903" at="21,0,37,0" />
<unit id="2951477311799628656" at="24,137,34,5" name="FORecursiveTypes.constraints.Let_Constraints$1" />
<unit id="2951477311799627903" at="16,0,38,0" name="FORecursiveTypes.constraints.Let_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/7618853173233427716">
<file name="Lam_Constraints.java">
<node id="7618853173233427716" at="17,28,18,138" concept="5" />
<node id="7618853173233427716" at="22,84,23,119" concept="3" />
<node id="7618853173233427717" at="26,40,27,20" concept="4" />
<node id="7618853173233427717" at="30,70,31,37" concept="3" />
<node id="7618853173233428196" at="31,37,32,149" concept="4" />
<node id="7618853173233427716" at="34,7,35,22" concept="4" />
<node id="7618853173233427716" at="17,0,20,0" concept="0" trace="Lam_Constraints#()V" />
<node id="7618853173233427717" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="7618853173233427717" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="7618853173233427717" at="23,119,34,7" concept="1" />
<node id="7618853173233427716" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="7618853173233427716" at="17,28,18,138" />
<scope id="7618853173233427717" at="26,40,27,20" />
<scope id="7618853173233427717" at="30,70,32,149">
<var name="propertyName" id="7618853173233427717" />
</scope>
<scope id="7618853173233427716" at="17,0,20,0" />
<scope id="7618853173233427717" at="25,0,29,0" />
<scope id="7618853173233427717" at="29,0,34,0">
<var name="node" id="7618853173233427717" />
<var name="propertyValue" id="7618853173233427717" />
</scope>
<scope id="7618853173233427716" at="22,84,35,22">
<var name="properties" id="7618853173233427716" />
</scope>
<scope id="7618853173233427716" at="21,0,37,0" />
<unit id="7618853173233427717" at="24,137,34,5" name="FORecursiveTypes.constraints.Lam_Constraints$1" />
<unit id="7618853173233427716" at="16,0,38,0" name="FORecursiveTypes.constraints.Lam_Constraints" />
</file>
</root>
<root nodeRef="r:ebb64f75-0737-4104-8fe6-01adac9c79d2(FORecursiveTypes.constraints)/8032141838602455688">
<file name="LetType_Constraints.java">
<node id="8032141838602455688" at="17,32,18,142" concept="5" />
<node id="8032141838602455688" at="22,84,23,119" concept="3" />
<node id="8032141838602455689" at="26,40,27,20" concept="4" />
<node id="8032141838602455689" at="30,70,31,37" concept="3" />
<node id="8032141838602455692" at="31,37,32,149" concept="4" />
<node id="8032141838602455688" at="34,7,35,22" concept="4" />
<node id="8032141838602455688" at="17,0,20,0" concept="0" trace="LetType_Constraints#()V" />
<node id="8032141838602455689" at="25,0,29,0" concept="2" trace="hasOwnValidator#()Z" />
<node id="8032141838602455689" at="29,0,34,0" concept="2" trace="validateValue#(Lorg/jetbrains/mps/openapi/model/SNode;Ljava/lang/String;)Z" />
<node id="8032141838602455689" at="23,119,34,7" concept="1" />
<node id="8032141838602455688" at="21,0,37,0" concept="2" trace="getSpecifiedProperties#()Ljava/util/Map;" />
<scope id="8032141838602455688" at="17,32,18,142" />
<scope id="8032141838602455689" at="26,40,27,20" />
<scope id="8032141838602455689" at="30,70,32,149">