Commit 2c3013b1 authored by André Pacak's avatar André Pacak
Browse files

extension for pcf with type annotation and lam without type argument annotation.

extended synthesizer as well
parent dcd7cea9
......@@ -5,6 +5,7 @@
<modulePath path="${itypes-inca.home}/languages/NewLanguage/sum.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/TypeLang/TypeLang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/forecursive.lang/forecursive.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/pcf.anno.ext/pcf.anno.ext.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/pcf.floatnum.ext/pcf.floatnum.ext.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/pcf.lang/pcf.lang.mpl" folder="" />
<modulePath path="${itypes-inca.home}/languages/pcf.universal.ext/pcf.universal.ext.mpl" folder="" />
......
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:ce14d5d4-ad5c-408b-91db-72f1978f9b7f(main@generator)">
<persistence version="9" />
<languages>
<devkit ref="a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)" />
</languages>
<imports>
<import index="tzfm" ref="r:35a7f664-0726-41d1-b51b-d8fe4b23d8e9(pcf.anno.ext.structure)" />
</imports>
<registry>
<language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
<concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia" />
</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="bUwia" id="61RW$Z6UFIJ">
<property role="TrG5h" value="main" />
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:88cbc381-698d-4f3c-a3ce-2c7a6a108712(pcf.anno.ext.behavior)">
<persistence version="9" />
<languages>
<use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="2" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports />
<registry />
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:0d8b8010-be00-4f74-9023-93fae666a9eb(pcf.anno.ext.constraints)">
<persistence version="9" />
<languages>
<use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="4" />
<devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
</languages>
<imports>
<import index="tzfm" ref="r:35a7f664-0726-41d1-b51b-d8fe4b23d8e9(pcf.anno.ext.structure)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
<child id="1068581517665" name="statement" index="3cqZAp" />
</concept>
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
<child id="1081773367580" name="leftExpression" index="3uHU7B" />
</concept>
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
</language>
<language id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints">
<concept id="1147467115080" name="jetbrains.mps.lang.constraints.structure.NodePropertyConstraint" flags="ng" index="EnEH3">
<reference id="1147467295099" name="applicableProperty" index="EomxK" />
<child id="1212097481299" name="propertyValidator" index="QCWH9" />
</concept>
<concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
<concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
<reference id="1213093996982" name="concept" index="1M2myG" />
<child id="1213098023997" name="property" index="1MhHOB" />
</concept>
<concept id="1153138554286" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_propertyValue" flags="nn" index="1Wqviy" />
</language>
</registry>
<node concept="1M2fIO" id="61RW$Z6UJ7l">
<ref role="1M2myG" to="tzfm:61RW$Z6UIW9" resolve="Lam" />
<node concept="EnEH3" id="6AVADwUrUk5" role="1MhHOB">
<ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
<node concept="QB0g5" id="6AVADwUrUk9" role="QCWH9">
<node concept="3clFbS" id="6AVADwUrUka" role="2VODD2">
<node concept="3clFbF" id="6AVADwUrUr$" role="3cqZAp">
<node concept="1Wc70l" id="6AVADwUrYyV" role="3clFbG">
<node concept="3fqX7Q" id="6AVADwUrYG_" role="3uHU7w">
<node concept="2OqwBi" id="6AVADwUrZx5" role="3fr31v">
<node concept="Xl_RD" id="6AVADwUrYPE" role="2Oq$k0">
<property role="Xl_RC" value="false" />
</node>
<node concept="liA8E" id="6AVADwUs0hw" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object)" resolve="equals" />
<node concept="1Wqviy" id="6AVADwUs0qL" role="37wK5m" />
</node>
</node>
</node>
<node concept="3fqX7Q" id="6AVADwUrUry" role="3uHU7B">
<node concept="2OqwBi" id="6AVADwUrVEe" role="3fr31v">
<node concept="Xl_RD" id="6AVADwUrUAO" role="2Oq$k0">
<property role="Xl_RC" value="true" />
</node>
<node concept="liA8E" id="6AVADwUrWpg" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object)" resolve="equals" />
<node concept="1Wqviy" id="6AVADwUrWx9" role="37wK5m" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:597062f3-668c-44cb-a6ea-b1b2c68dd19f(pcf.anno.ext.editor)">
<persistence version="9" />
<languages>
<use id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor" version="12" />
<use id="9d69e719-78c8-4286-90db-fb19c107d049" name="com.mbeddr.mpsutil.grammarcells" version="0" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports>
<import index="tzfm" ref="r:35a7f664-0726-41d1-b51b-d8fe4b23d8e9(pcf.anno.ext.structure)" implicit="true" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
</imports>
<registry>
<language id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor">
<concept id="1071666914219" name="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" flags="ig" index="24kQdi" />
<concept id="1237303669825" name="jetbrains.mps.lang.editor.structure.CellLayout_Indent" flags="nn" index="l2Vlx" />
<concept id="1080736578640" name="jetbrains.mps.lang.editor.structure.BaseEditorComponent" flags="ig" index="2wURMF">
<child id="1080736633877" name="cellModel" index="2wV5jI" />
</concept>
<concept id="1139848536355" name="jetbrains.mps.lang.editor.structure.CellModel_WithRole" flags="ng" index="1$h60E">
<reference id="1140103550593" name="relationDeclaration" index="1NtTu8" />
</concept>
<concept id="1073389446423" name="jetbrains.mps.lang.editor.structure.CellModel_Collection" flags="sn" stub="3013115976261988961" index="3EZMnI">
<child id="1106270802874" name="cellLayout" index="2iSdaV" />
<child id="1073389446424" name="childCellModel" index="3EZMnx" />
</concept>
<concept id="1073389577006" name="jetbrains.mps.lang.editor.structure.CellModel_Constant" flags="sn" stub="3610246225209162225" index="3F0ifn">
<property id="1073389577007" name="text" index="3F0ifm" />
</concept>
<concept id="1073389658414" name="jetbrains.mps.lang.editor.structure.CellModel_Property" flags="sg" stub="730538219796134133" index="3F0A7n" />
<concept id="1073389882823" name="jetbrains.mps.lang.editor.structure.CellModel_RefNode" flags="sg" stub="730538219795960754" index="3F1sOY" />
<concept id="1166049232041" name="jetbrains.mps.lang.editor.structure.AbstractComponent" flags="ng" index="1XWOmA">
<reference id="1166049300910" name="conceptDeclaration" index="1XX52x" />
</concept>
</language>
<language id="9d69e719-78c8-4286-90db-fb19c107d049" name="com.mbeddr.mpsutil.grammarcells">
<concept id="7363578995839435357" name="com.mbeddr.mpsutil.grammarcells.structure.WrapperCell" flags="ng" index="1kIj98">
<child id="7363578995839435358" name="wrapped" index="1kIj9b" />
</concept>
</language>
</registry>
<node concept="24kQdi" id="61RW$Z6UGzz">
<ref role="1XX52x" to="tzfm:61RW$Z6UGyY" resolve="Anno" />
<node concept="3EZMnI" id="1Da9ityUVsV" role="2wV5jI">
<node concept="1kIj98" id="6JCho9VC0he" role="3EZMnx">
<node concept="3F1sOY" id="6JCho9VC0hx" role="1kIj9b">
<ref role="1NtTu8" to="tzfm:61RW$Z6UGz2" resolve="t" />
</node>
</node>
<node concept="3F0ifn" id="1Da9ityUVtA" role="3EZMnx">
<property role="3F0ifm" value=":" />
</node>
<node concept="3F1sOY" id="1Da9ityUVwp" role="3EZMnx">
<ref role="1NtTu8" to="tzfm:61RW$Z6UGz5" resolve="ty" />
</node>
<node concept="l2Vlx" id="1Da9ityUVsY" role="2iSdaV" />
</node>
</node>
<node concept="24kQdi" id="61RW$Z6UIWO">
<ref role="1XX52x" to="tzfm:61RW$Z6UIW9" resolve="Lam" />
<node concept="3EZMnI" id="1Da9ityUVBS" role="2wV5jI">
<node concept="3F0ifn" id="1Da9ityUVC5" role="3EZMnx">
<property role="3F0ifm" value="lambda" />
</node>
<node concept="3F0A7n" id="2zPKfCWrZC2" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="3F0ifn" id="6hDWkHFKSJi" role="3EZMnx">
<property role="3F0ifm" value="." />
</node>
<node concept="3F1sOY" id="6hDWkHFKSJQ" role="3EZMnx">
<ref role="1NtTu8" to="tzfm:61RW$Z6UIWo" resolve="t" />
</node>
<node concept="l2Vlx" id="1Da9ityUVBV" role="2iSdaV" />
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:35a7f664-0726-41d1-b51b-d8fe4b23d8e9(pcf.anno.ext.structure)">
<persistence version="9" />
<languages>
<use id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure" version="7" />
<devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
</languages>
<imports>
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
<import index="jzuy" ref="r:6e7dd948-f19c-43a8-9d13-11db5e2eb071(pcf.lang.structure)" implicit="true" />
</imports>
<registry>
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
<concept id="1169125787135" name="jetbrains.mps.lang.structure.structure.AbstractConceptDeclaration" flags="ig" index="PkWjJ">
<property id="6714410169261853888" name="conceptId" index="EcuMT" />
<child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
</concept>
<concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
<reference id="1169127628841" name="intfc" index="PrY4T" />
</concept>
<concept id="1071489090640" name="jetbrains.mps.lang.structure.structure.ConceptDeclaration" flags="ig" index="1TIwiD">
<reference id="1071489389519" name="extends" index="1TJDcQ" />
<child id="1169129564478" name="implements" index="PzmwI" />
</concept>
<concept id="1071489288298" name="jetbrains.mps.lang.structure.structure.LinkDeclaration" flags="ig" index="1TJgyj">
<property id="1071599776563" name="role" index="20kJfa" />
<property id="1071599893252" name="sourceCardinality" index="20lbJX" />
<property id="1071599937831" name="metaClass" index="20lmBu" />
<property id="241647608299431140" name="linkId" index="IQ2ns" />
<reference id="1071599976176" name="target" index="20lvS9" />
</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="1TIwiD" id="61RW$Z6UGyY">
<property role="EcuMT" value="6951290974323263678" />
<property role="TrG5h" value="Anno" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="61RW$Z6UGyZ" role="PzmwI">
<ref role="PrY4T" to="jzuy:1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="61RW$Z6UGz2" role="1TKVEi">
<property role="IQ2ns" value="6951290974323263682" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="jzuy:1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="61RW$Z6UGz5" role="1TKVEi">
<property role="IQ2ns" value="6951290974323263685" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="ty" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="jzuy:1Da9ityUTef" resolve="Type" />
</node>
</node>
<node concept="1TIwiD" id="61RW$Z6UIW9">
<property role="EcuMT" value="6951290974323273481" />
<property role="TrG5h" value="Lam" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="61RW$Z6UIWa" role="PzmwI">
<ref role="PrY4T" to="jzuy:1Da9ityUTbh" resolve="Term" />
</node>
<node concept="PrWs8" id="61RW$Z6UIWi" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="1TJgyj" id="61RW$Z6UIWo" role="1TKVEi">
<property role="IQ2ns" value="6951290974323273496" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" to="jzuy:1Da9ityUTbh" resolve="Term" />
</node>
</node>
</model>
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:c08cd50f-1c19-4bd8-9f60-d6f3ea5ec668(pcf.anno.ext.typesystem)">
<persistence version="9" />
<languages>
<use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="1" />
<devkit ref="00000000-0000-4000-0000-1de82b3a4936(jetbrains.mps.devkit.aspect.typesystem)" />
</languages>
<imports />
<registry />
</model>
<?xml version="1.0" encoding="UTF-8"?>
<language namespace="pcf.anno.ext" uuid="01b92298-5a82-4431-9332-a53fc512d3ee" languageVersion="0" moduleVersion="0">
<models>
<modelRoot contentPath="${module}" type="default">
<sourceRoot location="models" />
</modelRoot>
</models>
<accessoryModels />
<generators>
<generator alias="main" namespace="pcf.anno.ext#01" uuid="2141a78f-137c-4419-ad46-5e988b5f1544">
<models>
<modelRoot contentPath="${module}/generator/template" type="default">
<sourceRoot location="." />
</modelRoot>
</models>
<external-templates />
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<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:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="2" />
<language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="1" />
<language slang="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" version="0" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="1" />
<language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="01b92298-5a82-4431-9332-a53fc512d3ee(pcf.anno.ext)" version="0" />
<module reference="2141a78f-137c-4419-ad46-5e988b5f1544(pcf.anno.ext#01)" version="0" />
</dependencyVersions>
<mapping-priorities />
</generator>
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">5a551d67-ba3f-49dc-b984-2ea4f8c9ad07(pcf.lang)</dependency>
</dependencies>
<languageVersions>
<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:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="4" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
<language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="12" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="1" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="1" />
<language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
<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:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
<language slang="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" version="1" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="01b92298-5a82-4431-9332-a53fc512d3ee(pcf.anno.ext)" version="0" />
<module reference="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07(pcf.lang)" version="0" />
</dependencyVersions>
<extendedLanguages />
</language>
......@@ -16,6 +16,7 @@
<dependency reexport="false">7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)</dependency>
<dependency reexport="false">5a551d67-ba3f-49dc-b984-2ea4f8c9ad07(pcf.lang)</dependency>
<dependency reexport="false">c0c5d1c5-5221-451f-8a7f-16b584c03ae2(pcf.exectests)</dependency>
<dependency reexport="false">01b92298-5a82-4431-9332-a53fc512d3ee(pcf.anno.ext)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
......@@ -37,6 +38,7 @@
<language slang="l:3a1c1f85-c745-4d04-a210-f97a7e31f9cc:org.inca.extensions" version="0" />
<language slang="l:8c9a2720-9d21-4370-a226-819eb3e76e1e:org.inca.fun" version="0" />
<language slang="l:cd2909da-ecb4-49dc-b176-33e5c619e516:org.inca.gp" version="0" />
<language slang="l:01b92298-5a82-4431-9332-a53fc512d3ee:pcf.anno.ext" version="-1" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
......@@ -49,6 +51,7 @@
<module reference="5b1f863d-65a0-41a6-a801-33896be24202(jetbrains.mps.ide.editor)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)" version="0" />
<module reference="01b92298-5a82-4431-9332-a53fc512d3ee(pcf.anno.ext)" version="0" />
<module reference="c0c5d1c5-5221-451f-8a7f-16b584c03ae2(pcf.exectests)" version="0" />
<module reference="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07(pcf.lang)" version="0" />
<module reference="82c33745-f966-4de8-b0f2-e83f1d9c7918(pcf.measurements)" version="0" />
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment