test.fail_type_alias.mps 2.71 KB
Newer Older
André Pacak's avatar
André Pacak committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53
<?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>