Commit ec6e73b6 authored by André Pacak's avatar André Pacak

started creating modules for test cases

parent b8c94b58
......@@ -3,7 +3,7 @@
<component name="MPSProject">
<projectModules>
<modulePath path="$PROJECT_DIR$/languages/NewLanguage/SumTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="" />
<modulePath path="$PROJECT_DIR$/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="." />
</projectModules>
</component>
</project>
\ No newline at end of file
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -103,7 +103,7 @@
<ref role="1NtTu8" to="xkot:1Da9ityUTcn" resolve="t1" />
</node>
<node concept="3F0ifn" id="1Da9ityUVsb" role="3EZMnx">
<property role="3F0ifm" value="+" />
<property role="3F0ifm" value="*" />
</node>
<node concept="3F1sOY" id="1Da9ityUVrH" role="3EZMnx">
<ref role="1NtTu8" to="xkot:1Da9ityUTcr" resolve="t2" />
......
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="2gsex5x194ml1lk84byf4btxdvnvpdo">
<product version="3" modelHash="2sr6n86bvkedcpf2pwjxea008yp4lk3">
<files names="Add_Editor.java:Add_EditorBuilder_a.java:Anno_Editor.java:Anno_EditorBuilder_a.java:App_Editor.java:App_EditorBuilder_a.java:CaseCase_Editor.java:CaseCase_EditorBuilder_a.java:Case_Editor.java:Case_EditorBuilder_a.java:EditorAspectDescriptorImpl.java:Fun_Editor.java:Fun_EditorBuilder_a.java:GrammarActionsDescriptor.java:GrammarCellsSubstituteMenu_Add.java:GrammarCellsSubstituteMenu_Anno.java:GrammarCellsSubstituteMenu_App.java:GrammarCellsSubstituteMenu_Case.java:GrammarCellsSubstituteMenu_CaseCase.java:GrammarCellsSubstituteMenu_Fun.java:GrammarCellsSubstituteMenu_IModuleElem.java:GrammarCellsSubstituteMenu_InL.java:GrammarCellsSubstituteMenu_InR.java:GrammarCellsSubstituteMenu_Lam.java:GrammarCellsSubstituteMenu_Let.java:GrammarCellsSubstituteMenu_Module.java:GrammarCellsSubstituteMenu_ModuleElemDef.java:GrammarCellsSubstituteMenu_ModuleElemEmpty.java:GrammarCellsSubstituteMenu_ModuleImport.java:GrammarCellsSubstituteMenu_Mult.java:GrammarCellsSubstituteMenu_Nat.java:GrammarCellsSubstituteMenu_ParensTerm.java:GrammarCellsSubstituteMenu_ParensType.java:GrammarCellsSubstituteMenu_Succ.java:GrammarCellsSubstituteMenu_Sum.java:GrammarCellsSubstituteMenu_Term.java:GrammarCellsSubstituteMenu_Type.java:GrammarCellsSubstituteMenu_Var.java:GrammarCellsSubstituteMenu_Zero.java:InL_Editor.java:InL_EditorBuilder_a.java:InR_Editor.java:InR_EditorBuilder_a.java:Lam_Editor.java:Lam_EditorBuilder_a.java:Let_Editor.java:Let_EditorBuilder_a.java:ModuleElemDef_Editor.java:ModuleElemDef_EditorBuilder_a.java:ModuleElemEmpty_SubstituteMenu.java:ModuleImport_Editor.java:ModuleImport_EditorBuilder_a.java:Module_Editor.java:Module_EditorBuilder_a.java:Mult_Editor.java:Mult_EditorBuilder_a.java:Nat_Editor.java:Nat_EditorBuilder_a.java:ParensTerm_Editor.java:ParensTerm_EditorBuilder_a.java:ParensType_Editor.java:ParensType_EditorBuilder_a.java:Succ_Editor.java:Succ_EditorBuilder_a.java:Sum_Editor.java:Sum_EditorBuilder_a.java:Var_Editor.java:Var_EditorBuilder_a.java:Zero_Editor.java:Zero_EditorBuilder_a.java:template_GrammarCellsSideTransformationsMenu.java" />
</product>
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="880s55ju1gocina7eff59r6c81e6dsq">
<product version="3" modelHash="809en2vircw1c2ckuqg3ha1ytpglnph">
<files names="Language.java" />
</product>
......@@ -105,7 +105,7 @@ import jetbrains.mps.nodeEditor.cells.EditorCell_Constant;
}
}
private EditorCell createConstant_0() {
EditorCell_Constant editorCell = new EditorCell_Constant(getEditorContext(), myNode, "+");
EditorCell_Constant editorCell = new EditorCell_Constant(getEditorContext(), myNode, "*");
editorCell.setCellId("Constant_5uftm6_b0");
editorCell.setDefaultText("");
return editorCell;
......
......@@ -15,13 +15,16 @@
<languageVersions>
<language slang="l:08d23328-33fa-47ce-89df-daaa7554f251:SumTypes" version="0" />
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
<language slang="l:f61473f9-130f-42f6-b98d-6c438812c2f6:jetbrains.mps.baseLanguage.unitTest" version="1" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" version="7" />
<language slang="l:8585453e-6bfb-4d80-98de-b16074f1d86c:jetbrains.mps.lang.test" version="2" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
<language slang="l:b802a056-92a2-4fbc-902e-f8e5004c331f:org.inca.core" version="0" />
<language slang="l:e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2:org.inca.data" version="2" />
......
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2" />
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2" />
<?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/1068390468200:jetbrains.mps.baseLanguage.structure.FieldDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123165:jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070462154015:jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070475587102:jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" />
<root nodeRef="r:40275729-d292-4df4-92d1-2d1c29664fef(SumTypes_Checker.tests@tests)/7797870059170749016">
<file name="Temporary_Test.java">
<node id="7797870059170749016" at="22,27,23,25" concept="5" />
<node id="7797870059170749017" at="27,44,28,50" concept="1" />
<node id="7797870059170749016" at="33,52,34,19" concept="5" />
<node id="7797870059170749016" at="17,0,19,0" concept="4" trace="ourParamCache" />
<node id="7797870059170749016" at="19,0,21,0" concept="2" trace="myWithCommandRule" />
<node id="7797870059170749017" at="37,0,39,0" concept="3" trace="test_temp#()V" />
<node id="7797870059170749016" at="22,0,25,0" concept="0" trace="Temporary_Test#()V" />
<node id="7797870059170749016" at="33,0,36,0" concept="0" trace="TestBody#(Ljetbrains/mps/lang/test/runtime/TransformationTest;)V" />
<node id="7797870059170749017" at="26,0,30,0" concept="3" trace="test_temp#()V" />
<scope id="7797870059170749017" at="37,46,37,46" />
<scope id="7797870059170749016" at="22,27,23,25" />
<scope id="7797870059170749017" at="27,44,28,50" />
<scope id="7797870059170749016" at="33,52,34,19" />
<scope id="7797870059170749017" at="37,0,39,0" />
<scope id="7797870059170749016" at="22,0,25,0" />
<scope id="7797870059170749016" at="33,0,36,0">
<var name="owner" id="7797870059170749016" />
</scope>
<scope id="7797870059170749017" at="26,0,30,0" />
<unit id="7797870059170749016" at="31,0,42,0" name="SumTypes_Checker.tests.Temporary_Test$TestBody" />
<unit id="7797870059170749016" at="15,0,43,0" name="SumTypes_Checker.tests.Temporary_Test" />
</file>
</root>
</debug-info>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:ec651532-5c8d-4b2f-8038-8d287d9e0290(SumTypes_Checker.test.fail.arithmetic)">
<persistence version="9" />
<languages>
<use id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes" version="0" />
</languages>
<imports />
<registry>
<language id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes">
<concept id="7997266186981964043" name="SumTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="SumTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="SumTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="SumTypes.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356272914" name="SumTypes.structure.Mult" flags="ng" index="1SCroP">
<child id="1894367444356272919" name="t1" index="1SCroK" />
<child id="1894367444356272923" name="t2" index="1SCroW" />
</concept>
<concept id="1894367444356273023" name="SumTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356273040" name="SumTypes.structure.Fun" flags="ng" index="1SCrqR">
<child id="1894367444356273045" name="ty1" index="1SCrqM" />
<child id="1894367444356273049" name="ty2" index="1SCrqY" />
</concept>
<concept id="1894367444356273132" name="SumTypes.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="SumTypes.structure.Var" flags="ng" index="1SCrv7" />
<concept id="1894367444356272855" name="SumTypes.structure.Succ" flags="ng" index="1SCrvK">
<child id="1894367444356272860" name="t" index="1SCrvV" />
</concept>
<concept id="1894367444356272850" name="SumTypes.structure.Zero" flags="ng" index="1SCrvP" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="6KRAo41FxVB">
<property role="TrG5h" value="TestFailArithmetic" />
<node concept="2BHCoM" id="7Sr$8awKgR8" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCro_" id="7Sr$8awKgUe" role="2BHfFu">
<node concept="1SCrvK" id="7Sr$8awKgUI" role="1SCrow">
<node concept="1SCrvK" id="7Sr$8awKgVc" role="1SCrvV">
<node concept="1SCrvP" id="7Sr$8awKgVj" role="1SCrvV" />
</node>
</node>
<node concept="1SCroP" id="7Sr$8awKgVo" role="1SCroG">
<node concept="1SCrpo" id="7Sr$8awKgVx" role="1SCroK">
<node concept="1SCro5" id="7Sr$8awKgVV" role="1SCrqz">
<property role="TrG5h" value="f" />
<node concept="1SCrv7" id="7Sr$8awKgWh" role="1SCroh">
<property role="TrG5h" value="f" />
</node>
</node>
<node concept="1SCrqR" id="7Sr$8awKgWk" role="1SCrrM">
<node concept="1SCrrb" id="7Sr$8awKgWr" role="1SCrqM" />
<node concept="1SCrrb" id="7Sr$8awKgWu" role="1SCrqY" />
</node>
</node>
<node concept="1SCrvK" id="7Sr$8awKgWU" role="1SCroW">
<node concept="1SCrvK" id="7Sr$8awKgXo" role="1SCrvV">
<node concept="1SCrvK" id="7Sr$8awKgXQ" role="1SCrvV">
<node concept="1SCrvK" id="7Sr$8awKgYk" role="1SCrvV">
<node concept="1SCrvP" id="7Sr$8awKgYr" role="1SCrvV" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:621e245e-6257-4f76-815c-cf1196b979d2(SumTypes_Checker.test.fail.case_right_shadow)">
<persistence version="9" />
<languages>
<use id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes" version="0" />
</languages>
<imports />
<registry>
<language id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes">
<concept id="7997266186981964043" name="SumTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="SumTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356278387" name="SumTypes.structure.Case" flags="ng" index="1SCoPk">
<child id="1894367444356278392" name="matchee" index="1SCoPv" />
<child id="1894367444356278454" name="c1" index="1SCoQh" />
<child id="1894367444356278461" name="c2" index="1SCoQq" />
</concept>
<concept id="1894367444356278442" name="SumTypes.structure.CaseCase" flags="ng" index="1SCoQd">
<child id="1894367444356278447" name="t" index="1SCoQ8" />
</concept>
<concept id="1894367444356272930" name="SumTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272954" name="SumTypes.structure.Let" flags="ng" index="1SCrot">
<child id="1894367444356272974" name="bound" index="1SCrpD" />
<child id="1894367444356272978" name="body" index="1SCrpP" />
</concept>
<concept id="1894367444356272994" name="SumTypes.structure.InR" flags="ng" index="1SCrp5">
<child id="1894367444356272999" name="t" index="1SCrp0" />
</concept>
<concept id="1894367444356273023" name="SumTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356273040" name="SumTypes.structure.Fun" flags="ng" index="1SCrqR">
<child id="1894367444356273045" name="ty1" index="1SCrqM" />
<child id="1894367444356273049" name="ty2" index="1SCrqY" />
</concept>
<concept id="1894367444356273132" name="SumTypes.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356273146" name="SumTypes.structure.ParensType" flags="ng" index="1SCrrt">
<child id="1894367444356273151" name="ty" index="1SCrro" />
</concept>
<concept id="1894367444356273116" name="SumTypes.structure.Sum" flags="ng" index="1SCrrV">
<child id="1894367444356273125" name="ty2" index="1SCrr2" />
<child id="1894367444356273121" name="ty1" index="1SCrr6" />
</concept>
<concept id="1894367444356272864" name="SumTypes.structure.Var" flags="ng" index="1SCrv7" />
<concept id="1894367444356272850" name="SumTypes.structure.Zero" flags="ng" index="1SCrvP" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="6KRAo41FxYJ">
<property role="TrG5h" value="TestFailCaseRightShadow" />
<node concept="2BHCoM" id="7Sr$8awKhBQ" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCrot" id="7Sr$8awKhGe" role="2BHfFu">
<property role="TrG5h" value="a" />
<node concept="1SCrvP" id="7Sr$8awKhGn" role="1SCrpD" />
<node concept="1SCrpo" id="7Sr$8awKhGs" role="1SCrpP">
<node concept="1SCoPk" id="7Sr$8awKhGZ" role="1SCrqz">
<node concept="1SCrpo" id="7Sr$8awKhHE" role="1SCoPv">
<node concept="1SCrp5" id="7Sr$8awKhIw" role="1SCrqz">
<node concept="1SCro5" id="7Sr$8awKhIS" role="1SCrp0">
<property role="TrG5h" value="x" />
<node concept="1SCrvP" id="7Sr$8awKhIZ" role="1SCroh" />
</node>
</node>
<node concept="1SCrrV" id="7Sr$8awKhHL" role="1SCrrM">
<node concept="1SCrrb" id="7Sr$8awKhHS" role="1SCrr6" />
<node concept="1SCrrt" id="7Sr$8awKhHV" role="1SCrr2">
<node concept="1SCrqR" id="7Sr$8awKhI0" role="1SCrro">
<node concept="1SCrrb" id="7Sr$8awKhI7" role="1SCrqM" />
<node concept="1SCrrb" id="7Sr$8awKhIa" role="1SCrqY" />
</node>
</node>
</node>
</node>
<node concept="1SCoQd" id="7Sr$8awKhH2" role="1SCoQh">
<property role="TrG5h" value="a" />
<node concept="1SCrvP" id="7Sr$8awKhJ4" role="1SCoQ8" />
</node>
<node concept="1SCoQd" id="7Sr$8awKhH5" role="1SCoQq">
<property role="TrG5h" value="b" />
<node concept="1SCrv7" id="7Sr$8awKhJa" role="1SCoQ8">
<property role="TrG5h" value="b" />
</node>
</node>
</node>
<node concept="1SCrrb" id="7Sr$8awKhGz" role="1SCrrM" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:c08eeb92-770b-4871-9ce9-e89a2e0399d7(SumTypes_Checker.test.fail.case_unequal_return_types)">
<persistence version="9" />
<languages>
<use id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes" version="0" />
</languages>
<imports />
<registry>
<language id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes">
<concept id="7997266186981964043" name="SumTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="SumTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356278387" name="SumTypes.structure.Case" flags="ng" index="1SCoPk">
<child id="1894367444356278392" name="matchee" index="1SCoPv" />
<child id="1894367444356278454" name="c1" index="1SCoQh" />
<child id="1894367444356278461" name="c2" index="1SCoQq" />
</concept>
<concept id="1894367444356278442" name="SumTypes.structure.CaseCase" flags="ng" index="1SCoQd">
<child id="1894367444356278447" name="t" index="1SCoQ8" />
</concept>
<concept id="1894367444356272930" name="SumTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272898" name="SumTypes.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356273023" name="SumTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356272985" name="SumTypes.structure.InL" flags="ng" index="1SCrpY">
<child id="1894367444356272990" name="t" index="1SCrpT" />
</concept>
<concept id="1894367444356273040" name="SumTypes.structure.Fun" flags="ng" index="1SCrqR">
<child id="1894367444356273045" name="ty1" index="1SCrqM" />
<child id="1894367444356273049" name="ty2" index="1SCrqY" />
</concept>
<concept id="1894367444356273132" name="SumTypes.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="SumTypes.structure.Var" flags="ng" index="1SCrv7" />
<concept id="1894367444356272855" name="SumTypes.structure.Succ" flags="ng" index="1SCrvK">
<child id="1894367444356272860" name="t" index="1SCrvV" />
</concept>
<concept id="1894367444356272850" name="SumTypes.structure.Zero" flags="ng" index="1SCrvP" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="6KRAo41FxXP">
<property role="TrG5h" value="TestFailCaseUnequalReturnTypes" />
<node concept="2BHCoM" id="7Sr$8awKhsH" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCrpo" id="7Sr$8awKhwx" role="2BHfFu">
<node concept="1SCoPk" id="7Sr$8awKhx1" role="1SCrqz">
<node concept="1SCrpo" id="7Sr$8awKhxg" role="1SCoPv">
<node concept="1SCrpY" id="7Sr$8awKhxN" role="1SCrqz">
<node concept="1SCrvK" id="7Sr$8awKhyh" role="1SCrpT">
<node concept="1SCrvK" id="7Sr$8awKhyJ" role="1SCrvV">
<node concept="1SCrvP" id="7Sr$8awKhyQ" role="1SCrvV" />
</node>
</node>
</node>
<node concept="1SCrrb" id="7Sr$8awKhxn" role="1SCrrM" />
</node>
<node concept="1SCoQd" id="7Sr$8awKhx4" role="1SCoQh">
<property role="TrG5h" value="a" />
<node concept="1SCro5" id="7Sr$8awKhzr" role="1SCoQ8">
<property role="TrG5h" value="x" />
<node concept="1SCro_" id="7Sr$8awKhzy" role="1SCroh">
<node concept="1SCrv7" id="7Sr$8awKhzH" role="1SCrow">
<property role="TrG5h" value="a" />
</node>
<node concept="1SCrvP" id="7Sr$8awKhzL" role="1SCroG" />
</node>
</node>
</node>
<node concept="1SCoQd" id="7Sr$8awKhx7" role="1SCoQq">
<property role="TrG5h" value="b" />
<node concept="1SCrvP" id="7Sr$8awKhz2" role="1SCoQ8" />
</node>
</node>
<node concept="1SCrqR" id="7Sr$8awKhwC" role="1SCrrM">
<node concept="1SCrrb" id="7Sr$8awKhwJ" role="1SCrqM" />
<node concept="1SCrrb" id="7Sr$8awKhwM" role="1SCrqY" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:999b4f81-8f6e-460d-b975-70793e2b62e2(SumTypes_Checker.test.fail.inl)">
<persistence version="9" />
<languages>
<use id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes" version="0" />
</languages>
<imports />
<registry>
<language id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes">
<concept id="7997266186981964043" name="SumTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="SumTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="SumTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356273023" name="SumTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356272985" name="SumTypes.structure.InL" flags="ng" index="1SCrpY">
<child id="1894367444356272990" name="t" index="1SCrpT" />
</concept>
<concept id="1894367444356273132" name="SumTypes.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356273116" name="SumTypes.structure.Sum" flags="ng" index="1SCrrV">
<child id="1894367444356273125" name="ty2" index="1SCrr2" />
<child id="1894367444356273121" name="ty1" index="1SCrr6" />
</concept>
<concept id="1894367444356272850" name="SumTypes.structure.Zero" flags="ng" index="1SCrvP" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1gj3CZ" id="6KRAo41FxWX">
<property role="TrG5h" value="TestFailInL" />
<node concept="2BHCoM" id="7Sr$8awKhbB" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCrpo" id="7Sr$8awKhf8" role="2BHfFu">
<node concept="1SCrpY" id="7Sr$8awKhfJ" role="1SCrqz">
<node concept="1SCro5" id="7Sr$8awKhg7" role="1SCrpT">
<property role="TrG5h" value="b" />
<node concept="1SCrvP" id="7Sr$8awKhge" role="1SCroh" />
</node>
</node>
<node concept="1SCrrV" id="7Sr$8awKhff" role="1SCrrM">
<node concept="1SCrrb" id="7Sr$8awKhfm" role="1SCrr6" />
<node concept="1SCrrb" id="7Sr$8awKhfp" role="1SCrr2" />
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:f2e84883-9544-4c75-8019-c418d313cd46(SumTypes_Checker.test.fail.inr)">
<persistence version="9" />
<languages>
<use id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes" version="0" />
</languages>
<imports />
<registry>
<language id="08d23328-33fa-47ce-89df-daaa7554f251" name="SumTypes">
<concept id="7997266186981964043" name="SumTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="SumTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>