Skip to content

I
iTypes
Commit b6c78e8b authored by André Pacak's avatar André Pacak
Browse files
Options

implemented tests in IncA

parent b7d03e0f
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 5549 additions and 4605 deletions
inca-translation/.mps/workspace.xml
View file @ b6c78e8b
This source diff could not be displayed because it is too large. You can view the blob instead.
inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_rec_type_not_defined.mps 0 → 100644
View file @ b6c78e8b
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:423317e6-c8ad-4d7a-86af-94349bd4e8fd(FORecursiveTypes_Checker.test.fail_rec_type_not_defined)">
<persistence version="9" />
<languages>
<use id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes" version="0" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes">
<concept id="2294833391481651919" name="FORecursiveTypes.structure.VariantTypeEntry" flags="ng" index="228e00">
<child id="2294833391481651924" name="ty" index="228e0r" />
</concept>
<concept id="2294833391481651910" name="FORecursiveTypes.structure.VariantType" flags="ng" index="228e09">
<child id="2294833391481651915" name="elems" index="228e04" />
</concept>
<concept id="7997266186981964043" name="FORecursiveTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="FORecursiveTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="8032141838602454975" name="FORecursiveTypes.structure.LetType" flags="ng" index="1s127d">
<child id="8032141838602454995" name="ty" index="1s126x" />
<child id="8032141838602454999" name="t" index="1s126_" />
</concept>
<concept id="2012336639220440734" name="FORecursiveTypes.structure.TypeVar" flags="ng" index="3IOpWs" />
<concept id="2012336639220440697" name="FORecursiveTypes.structure.UnitType" flags="ng" index="3IOpZV" />
<concept id="1894367444356273023" name="FORecursiveTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356272850" name="FORecursiveTypes.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="53cwso4789h">
<property role="TrG5h" value="FailRecTypeNotDefined" />
<node concept="2BHCoM" id="53cwso4789i" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1s127d" id="53cwso478aH" role="2BHfFu">
<property role="TrG5h" value="Bool" />
<node concept="228e09" id="53cwso478aT" role="1s126x">
<node concept="228e00" id="53cwso478aY" role="228e04">
<property role="TrG5h" value="true" />
<node concept="3IOpZV" id="53cwso478b8" role="228e0r" />
</node>
<node concept="228e00" id="53cwso478bd" role="228e04">
<property role="TrG5h" value="false" />
<node concept="3IOpZV" id="53cwso478bt" role="228e0r" />
</node>
</node>
<node concept="1SCrpo" id="53cwso4789E" role="1s126_">
<node concept="1SCrvP" id="53cwso478at" role="1SCrqz" />
<node concept="3IOpWs" id="53cwso478ay" role="1SCrrM">
<property role="TrG5h" value="Int" />
</node>
</node>
</node>
</node>
</node>
</model>
inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_type_alias.mps 0 → 100644
View file @ b6c78e8b
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:bdb4fa81-5a9f-4a0a-890e-3965d7ae4551(FORecursiveTypes_Checker.test.fail_type_alias)">
<persistence version="9" />
<languages>
<use id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes" version="0" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes">
<concept id="7997266186981964043" name="FORecursiveTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="5790571747095872620" name="FORecursiveTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="8032141838602454975" name="FORecursiveTypes.structure.LetType" flags="ng" index="1s127d">
<child id="8032141838602454995" name="ty" index="1s126x" />
<child id="8032141838602454999" name="t" index="1s126_" />
</concept>
<concept id="2012336639220440734" name="FORecursiveTypes.structure.TypeVar" flags="ng" index="3IOpWs" />
<concept id="1894367444356273023" name="FORecursiveTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356273132" name="FORecursiveTypes.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272850" name="FORecursiveTypes.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="53cwso478cW">
<property role="TrG5h" value="FailTypeAlias" />
<node concept="2BHCoM" id="53cwso478cX" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1s127d" id="53cwso478d5" role="2BHfFu">
<property role="TrG5h" value="Age" />
<node concept="1SCrrb" id="53cwso478d_" role="1s126x" />
<node concept="1SCrpo" id="53cwso478dI" role="1s126_">
<node concept="1SCrvP" id="53cwso478eD" role="1SCrqz" />
<node concept="3IOpWs" id="53cwso478eI" role="1SCrrM">
<property role="TrG5h" value="Age" />
</node>
</node>
</node>
</node>
</node>
</model>
inca-translation/solutions/FORecursiveTypes_Checker/models/test.fail_wrong_type_passed.mps 0 → 100644
View file @ b6c78e8b
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:2d174aff-34cd-4b4b-ab52-2a2fbcdd9402(FORecursiveTypes_Checker.test.fail_wrong_type_passed)">
<persistence version="9" />
<languages>
<use id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes" version="0" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes">
<concept id="2294833391481651919" name="FORecursiveTypes.structure.VariantTypeEntry" flags="ng" index="228e00">
<child id="2294833391481651924" name="ty" index="228e0r" />
</concept>
<concept id="2294833391481651910" name="FORecursiveTypes.structure.VariantType" flags="ng" index="228e09">
<child id="2294833391481651915" name="elems" index="228e04" />
</concept>
<concept id="7997266186981964043" name="FORecursiveTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="658257277626152307" name="FORecursiveTypes.structure.Tag" flags="ng" index="2EAANM">
<child id="658257277626152331" name="t" index="2EAAKa" />
</concept>
<concept id="658257277626152737" name="FORecursiveTypes.structure.Case" flags="ng" index="2EAAUw">
<property id="658257277626152742" name="label" index="2EAAUB" />
<property id="658257277626152746" name="name" index="2EAAUF" />
<child id="658257277626152753" name="t" index="2EAAUK" />
</concept>
<concept id="658257277626152476" name="FORecursiveTypes.structure.Match" flags="ng" index="2EAAYt">
<child id="658257277626152481" name="matchee" index="2EAAYw" />
<child id="658257277626152495" name="cases" index="2EAAYI" />
</concept>
<concept id="5790571747095872620" name="FORecursiveTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="8032141838602454975" name="FORecursiveTypes.structure.LetType" flags="ng" index="1s127d">
<child id="8032141838602454995" name="ty" index="1s126x" />
<child id="8032141838602454999" name="t" index="1s126_" />
</concept>
<concept id="2012336639220440734" name="FORecursiveTypes.structure.TypeVar" flags="ng" index="3IOpWs" />
<concept id="2012336639220440697" name="FORecursiveTypes.structure.UnitType" flags="ng" index="3IOpZV" />
<concept id="1894367444356272930" name="FORecursiveTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272954" name="FORecursiveTypes.structure.Let" flags="ng" index="1SCrot">
<child id="1894367444356272974" name="bound" index="1SCrpD" />
<child id="1894367444356272978" name="body" index="1SCrpP" />
</concept>
<concept id="1894367444356273023" name="FORecursiveTypes.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="FORecursiveTypes.structure.Fun" flags="ng" index="1SCrqR">
<child id="1894367444356273045" name="ty1" index="1SCrqM" />
<child id="1894367444356273049" name="ty2" index="1SCrqY" />
</concept>
<concept id="1894367444356272864" name="FORecursiveTypes.structure.Var" flags="ng" index="1SCrv7" />
<concept id="1894367444356272850" name="FORecursiveTypes.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="53cwso478bF">
<property role="TrG5h" value="FailWrongTypePassed" />
<node concept="2BHCoM" id="53cwso477Of" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1s127d" id="53cwso477FK" role="2BHfFu">
<property role="TrG5h" value="Nat" />
<node concept="228e09" id="53cwso477FX" role="1s126x">
<node concept="228e00" id="53cwso477G2" role="228e04">
<property role="TrG5h" value="zero" />
<node concept="3IOpZV" id="53cwso477Iy" role="228e0r" />
</node>
<node concept="228e00" id="53cwso477Gq" role="228e04">
<property role="TrG5h" value="succ" />
<node concept="3IOpWs" id="53cwso477GV" role="228e0r">
<property role="TrG5h" value="Nat" />
</node>
</node>
</node>
<node concept="1SCrot" id="53cwso477Q0" role="1s126_">
<property role="TrG5h" value="pred" />
<node concept="1SCrpo" id="53cwso477Qj" role="1SCrpD">
<node concept="1SCro5" id="53cwso477Rz" role="1SCrqz">
<property role="TrG5h" value="x" />
<node concept="2EAAYt" id="53cwso477S8" role="1SCroh">
<node concept="1SCrv7" id="53cwso477Sh" role="2EAAYw">
<property role="TrG5h" value="x" />
</node>
<node concept="2EAAUw" id="53cwso477Sm" role="2EAAYI">
<property role="2EAAUB" value="zero" />
<property role="2EAAUF" value="a" />
<node concept="2EAANM" id="53cwso477Tg" role="2EAAUK">
<property role="TrG5h" value="zero" />
<node concept="1SCrvP" id="53cwso478cR" role="2EAAKa" />
</node>
</node>
<node concept="2EAAUw" id="53cwso477U0" role="2EAAYI">
<property role="2EAAUB" value="succ" />
<property role="2EAAUF" value="p" />
<node concept="1SCrv7" id="53cwso477Uh" role="2EAAUK">
<property role="TrG5h" value="p" />
</node>
</node>
</node>
</node>
<node concept="1SCrqR" id="53cwso477QE" role="1SCrrM">
<node concept="3IOpWs" id="53cwso477QW" role="1SCrqY">
<property role="TrG5h" value="Nat" />
</node>
<node concept="3IOpWs" id="53cwso477Qw" role="1SCrqM">
<property role="TrG5h" value="Nat" />
</node>
</node>
</node>
<node concept="1SCrv7" id="53cwso477Um" role="1SCrpP">
<property role="TrG5h" value="pred" />
</node>
</node>
</node>
</node>
</node>
</model>
inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_binding_with_same_name_type_and_term.mps 0 → 100644
View file @ b6c78e8b
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:07f8194f-8dc6-4b82-893b-d23b1d3bdf04(FORecursiveTypes_Checker.test.ok_binding_with_same_name_type_and_term)">
<persistence version="9" />
<languages>
<use id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes" version="0" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes">
<concept id="2294833391481651919" name="FORecursiveTypes.structure.VariantTypeEntry" flags="ng" index="228e00">
<child id="2294833391481651924" name="ty" index="228e0r" />
</concept>
<concept id="2294833391481651910" name="FORecursiveTypes.structure.VariantType" flags="ng" index="228e09">
<child id="2294833391481651915" name="elems" index="228e04" />
</concept>
<concept id="7997266186981964043" name="FORecursiveTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="658257277626152307" name="FORecursiveTypes.structure.Tag" flags="ng" index="2EAANM">
<child id="658257277626152331" name="t" index="2EAAKa" />
</concept>
<concept id="5790571747095872620" name="FORecursiveTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="8032141838602454975" name="FORecursiveTypes.structure.LetType" flags="ng" index="1s127d">
<child id="8032141838602454995" name="ty" index="1s126x" />
<child id="8032141838602454999" name="t" index="1s126_" />
</concept>
<concept id="8032141838602814340" name="FORecursiveTypes.structure.UnitTerm" flags="ng" index="1s3EnQ" />
<concept id="2012336639220440734" name="FORecursiveTypes.structure.TypeVar" flags="ng" index="3IOpWs" />
<concept id="2012336639220440697" name="FORecursiveTypes.structure.UnitType" flags="ng" index="3IOpZV" />
<concept id="1894367444356272954" name="FORecursiveTypes.structure.Let" flags="ng" index="1SCrot">
<child id="1894367444356272974" name="bound" index="1SCrpD" />
<child id="1894367444356272978" name="body" index="1SCrpP" />
</concept>
<concept id="1894367444356273023" name="FORecursiveTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
<concept id="1894367444356272864" name="FORecursiveTypes.structure.Var" flags="ng" index="1SCrv7" />
</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="53cwso477Ur">
<property role="TrG5h" value="OkBindingWithSameNameTypeAndTerm" />
<node concept="2BHCoM" id="53cwso477Us" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1s127d" id="53cwso477Ye" role="2BHfFu">
<property role="TrG5h" value="Nat" />
<node concept="1SCrot" id="53cwso477Zc" role="1s126_">
<property role="TrG5h" value="Nat" />
<node concept="1SCrpo" id="53cwso477Zt" role="1SCrpD">
<node concept="2EAANM" id="53cwso4780g" role="1SCrqz">
<property role="TrG5h" value="zero" />
<node concept="1s3EnQ" id="53cwso4780V" role="2EAAKa" />
</node>
<node concept="3IOpWs" id="53cwso47810" role="1SCrrM">
<property role="TrG5h" value="Nat" />
</node>
</node>
<node concept="1SCrv7" id="53cwso47815" role="1SCrpP">
<property role="TrG5h" value="Nat" />
</node>
</node>
<node concept="228e09" id="53cwso477FX" role="1s126x">
<node concept="228e00" id="53cwso477G2" role="228e04">
<property role="TrG5h" value="zero" />
<node concept="3IOpZV" id="53cwso477Iy" role="228e0r" />
</node>
<node concept="228e00" id="53cwso477Gq" role="228e04">
<property role="TrG5h" value="succ" />
<node concept="3IOpWs" id="53cwso477GV" role="228e0r">
<property role="TrG5h" value="Nat" />
</node>
</node>
</node>
</node>
</node>
</node>
</model>
inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_rec_type.mps 0 → 100644
View file @ b6c78e8b
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:925687ad-21c6-49d6-9663-cf4152aa309a(FORecursiveTypes_Checker.test.ok_nested_rec_type)">
<persistence version="9" />
<languages>
<use id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes" version="0" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes">
<concept id="2294833391481651919" name="FORecursiveTypes.structure.VariantTypeEntry" flags="ng" index="228e00">
<child id="2294833391481651924" name="ty" index="228e0r" />
</concept>
<concept id="2294833391481651910" name="FORecursiveTypes.structure.VariantType" flags="ng" index="228e09">
<child id="2294833391481651915" name="elems" index="228e04" />
</concept>
<concept id="7997266186981964043" name="FORecursiveTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="658257277626152307" name="FORecursiveTypes.structure.Tag" flags="ng" index="2EAANM">
<child id="658257277626152331" name="t" index="2EAAKa" />
</concept>
<concept id="658257277626152737" name="FORecursiveTypes.structure.Case" flags="ng" index="2EAAUw">
<property id="658257277626152742" name="label" index="2EAAUB" />
<property id="658257277626152746" name="name" index="2EAAUF" />
<child id="658257277626152753" name="t" index="2EAAUK" />
</concept>
<concept id="658257277626152476" name="FORecursiveTypes.structure.Match" flags="ng" index="2EAAYt">
<child id="658257277626152481" name="matchee" index="2EAAYw" />
<child id="658257277626152495" name="cases" index="2EAAYI" />
</concept>
<concept id="5790571747095872620" name="FORecursiveTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="8032141838602454975" name="FORecursiveTypes.structure.LetType" flags="ng" index="1s127d">
<child id="8032141838602454995" name="ty" index="1s126x" />
<child id="8032141838602454999" name="t" index="1s126_" />
</concept>
<concept id="8032141838602814340" name="FORecursiveTypes.structure.UnitTerm" flags="ng" index="1s3EnQ" />
<concept id="2012336639220440734" name="FORecursiveTypes.structure.TypeVar" flags="ng" index="3IOpWs" />
<concept id="2012336639220440697" name="FORecursiveTypes.structure.UnitType" flags="ng" index="3IOpZV" />
<concept id="1894367444356272930" name="FORecursiveTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356273003" name="FORecursiveTypes.structure.App" flags="ng" index="1SCrpc">
<child id="1894367444356273012" name="t1" index="1SCrpj" />
<child id="1894367444356273016" name="t2" index="1SCrpv" />
</concept>
<concept id="1894367444356273023" name="FORecursiveTypes.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="FORecursiveTypes.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="FORecursiveTypes.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="FORecursiveTypes.structure.Var" flags="ng" index="1SCrv7" />
</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="53cwso4781a">
<property role="TrG5h" value="OkNestedRecType" />
<node concept="2BHCoM" id="53cwso4781b" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1s127d" id="53cwso4781P" role="2BHfFu">
<property role="TrG5h" value="Bool" />
<node concept="228e09" id="53cwso47822" role="1s126x">
<node concept="228e00" id="53cwso47827" role="228e04">
<property role="TrG5h" value="true" />
<node concept="3IOpZV" id="53cwso4782h" role="228e0r" />
</node>
<node concept="228e00" id="53cwso4782m" role="228e04">
<property role="TrG5h" value="false" />
<node concept="3IOpZV" id="53cwso4782A" role="228e0r" />
</node>
</node>
<node concept="1s127d" id="53cwso4782F" role="1s126_">
<property role="TrG5h" value="Exp" />
<node concept="228e09" id="53cwso4782S" role="1s126x">
<node concept="228e00" id="53cwso4782X" role="228e04">
<property role="TrG5h" value="natexp" />
<node concept="1SCrrb" id="53cwso4783o" role="228e0r" />
</node>
<node concept="228e00" id="53cwso4783t" role="228e04">
<property role="TrG5h" value="boolexp" />
<node concept="3IOpWs" id="53cwso4783K" role="228e0r">
<property role="TrG5h" value="Bool" />
</node>
</node>
</node>
<node concept="1SCrpc" id="53cwso4783P" role="1s126_">
<node concept="1SCrpo" id="53cwso47848" role="1SCrpj">
<node concept="1SCro5" id="53cwso47852" role="1SCrqz">
<property role="TrG5h" value="exp" />
<node concept="2EAAYt" id="53cwso4785x" role="1SCroh">
<node concept="1SCrv7" id="53cwso4785E" role="2EAAYw">
<property role="TrG5h" value="exp" />
</node>
<node concept="2EAAUw" id="53cwso4785J" role="2EAAYI">
<property role="2EAAUB" value="boolexp" />
<property role="2EAAUF" value="a" />
<node concept="2EAANM" id="53cwso47863" role="2EAAUK">
<property role="TrG5h" value="true" />
<node concept="1s3EnQ" id="53cwso4786I" role="2EAAKa" />
</node>
</node>
<node concept="2EAAUw" id="53cwso4786N" role="2EAAYI">
<property role="2EAAUB" value="natexp" />
<property role="2EAAUF" value="a" />
<node concept="2EAANM" id="53cwso4787g" role="2EAAUK">
<property role="TrG5h" value="false" />
<node concept="1s3EnQ" id="53cwso4787V" role="2EAAKa" />
</node>
</node>
</node>
</node>
<node concept="1SCrqR" id="53cwso4784v" role="1SCrrM">
<node concept="3IOpWs" id="53cwso4784L" role="1SCrqY">
<property role="TrG5h" value="Bool" />
</node>
<node concept="3IOpWs" id="53cwso4784l" role="1SCrqM">
<property role="TrG5h" value="Exp" />
</node>
</node>
</node>
<node concept="2EAANM" id="53cwso4788c" role="1SCrpv">
<property role="TrG5h" value="boolexp" />
<node concept="2EAANM" id="53cwso4788x" role="2EAAKa">
<property role="TrG5h" value="true" />
<node concept="1s3EnQ" id="53cwso4789c" role="2EAAKa" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>
inca-translation/solutions/FORecursiveTypes_Checker/models/test.ok_nested_succ_rec_nat_type.mps 0 → 100644
View file @ b6c78e8b
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:350b0257-408f-4986-8409-23225b6893a2(FORecursiveTypes_Checker.test.ok_nested_succ_rec_nat_type)">
<persistence version="9" />
<languages>
<use id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes" version="0" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="83519d5a-e8d8-40b1-b958-7bbbda82ff24" name="FORecursiveTypes">
<concept id="2294833391481651919" name="FORecursiveTypes.structure.VariantTypeEntry" flags="ng" index="228e00">
<child id="2294833391481651924" name="ty" index="228e0r" />
</concept>
<concept id="2294833391481651910" name="FORecursiveTypes.structure.VariantType" flags="ng" index="228e09">
<child id="2294833391481651915" name="elems" index="228e04" />
</concept>
<concept id="7997266186981964043" name="FORecursiveTypes.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="658257277626152307" name="FORecursiveTypes.structure.Tag" flags="ng" index="2EAANM">
<child id="658257277626152331" name="t" index="2EAAKa" />
</concept>
<concept id="5790571747095872620" name="FORecursiveTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="8032141838602454975" name="FORecursiveTypes.structure.LetType" flags="ng" index="1s127d">
<child id="8032141838602454995" name="ty" index="1s126x" />
<child id="8032141838602454999" name="t" index="1s126_" />
</concept>
<concept id="8032141838602814340" name="FORecursiveTypes.structure.UnitTerm" flags="ng" index="1s3EnQ" />
<concept id="2012336639220440734" name="FORecursiveTypes.structure.TypeVar" flags="ng" index="3IOpWs" />
<concept id="2012336639220440697" name="FORecursiveTypes.structure.UnitType" flags="ng" index="3IOpZV" />
<concept id="1894367444356273023" name="FORecursiveTypes.structure.Anno" flags="ng" index="1SCrpo">
<child id="1894367444356273028" name="t" index="1SCrqz" />
<child id="1894367444356273109" name="ty" index="1SCrrM" />
</concept>
</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="53cwso477IG">
<property role="TrG5h" value="OkNestedSuccRecNatType" />
<node concept="2BHCoM" id="53cwso477IH" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1s127d" id="53cwso477FK" role="2BHfFu">
<property role="TrG5h" value="Nat" />
<node concept="228e09" id="53cwso477FX" role="1s126x">
<node concept="228e00" id="53cwso477G2" role="228e04">
<property role="TrG5h" value="zero" />
<node concept="3IOpZV" id="53cwso477Iy" role="228e0r" />
</node>
<node concept="228e00" id="53cwso477Gq" role="228e04">
<property role="TrG5h" value="succ" />
<node concept="3IOpWs" id="53cwso477GV" role="228e0r">
<property role="TrG5h" value="Nat" />
</node>
</node>
</node>
<node concept="1SCrpo" id="53cwso477H5" role="1s126_">
<node concept="2EAANM" id="53cwso477Hu" role="1SCrqz">
<property role="TrG5h" value="succ" />
<node concept="2EAANM" id="53cwso477Ly" role="2EAAKa">
<property role="TrG5h" value="succ" />
<node concept="2EAANM" id="53cwso477N9" role="2EAAKa">
<property role="TrG5h" value="succ" />
<node concept="2EAANM" id="53cwso477Nu" role="2EAAKa">
<property role="TrG5h" value="zero" />
<node concept="1s3EnQ" id="53cwso477O9" role="2EAAKa" />
</node>
</node>
</node>
</node>
<node concept="3IOpWs" id="53cwso477IB" role="1SCrrM">
<property role="TrG5h" value="Nat" />