Commit a9f4af29 authored by André Pacak's avatar André Pacak
Browse files

dump

parent 47fa0041
......@@ -152,39 +152,6 @@
</concept>
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
</language>
<language id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang">
<concept id="7997266186981964043" name="pcf.lang.structure.ModuleElemDef" flags="ng" index="2BHCoM">
<child id="7997266186982065639" name="term" index="2BHfFu" />
</concept>
<concept id="6840065899900111400" name="pcf.lang.structure.Fix" flags="ng" index="158W6q">
<child id="6840065899900111409" name="t" index="158W63" />
</concept>
<concept id="6840065899900111365" name="pcf.lang.structure.NumLit" flags="ng" index="158W6R">
<property id="6840065899900111366" name="num" index="158W6O" />
</concept>
<concept id="6840065899900270961" name="pcf.lang.structure.If0" flags="ng" index="15frb3">
<child id="6840065899900270977" name="t2" index="15fr8N" />
<child id="6840065899900270966" name="cond" index="15frb4" />
<child id="6840065899900270970" name="t1" index="15frb8" />
</concept>
<concept id="5790571747095872620" name="pcf.lang.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272930" name="pcf.lang.structure.Lam" flags="ng" index="1SCro5">
<child id="6840065899900111421" name="ty" index="158W6f" />
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356273003" name="pcf.lang.structure.App" flags="ng" index="1SCrpc">
<child id="1894367444356273012" name="t1" index="1SCrpj" />
<child id="1894367444356273016" name="t2" index="1SCrpv" />
</concept>
<concept id="1894367444356273040" name="pcf.lang.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="pcf.lang.structure.Nat" flags="ng" index="1SCrrb" />
<concept id="1894367444356272864" name="pcf.lang.structure.Var" flags="ng" index="1SCrv7" />
</language>
<language id="3a1c1f85-c745-4d04-a210-f97a7e31f9cc" name="org.inca.extensions">
<concept id="8889009408328735956" name="org.inca.extensions.structure.NodePattern" flags="ng" index="27Pwox">
<child id="8889009408328735975" name="type" index="27Pwoi" />
......@@ -282,41 +249,6 @@
<node concept="1H6rdE" id="3hkyKqyIauY" role="1H6rbt" />
</node>
</node>
<node concept="1gj3CZ" id="RBQsPP$bqn">
<property role="TrG5h" value="Test" />
<node concept="2BHCoM" id="RBQsPP$cP5" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="158W6q" id="RBQsPP$dLJ" role="2BHfFu">
<node concept="1SCro5" id="RBQsPP$eIt" role="158W63">
<property role="TrG5h" value="f" />
<node concept="1SCrqR" id="RBQsPP$h$8" role="158W6f">
<node concept="1SCrrb" id="RBQsPP$i2y" role="1SCrqY" />
<node concept="1SCrrb" id="RBQsPP$h5M" role="1SCrqM" />
</node>
<node concept="1SCro5" id="RBQsPP$mLM" role="1SCroh">
<property role="TrG5h" value="x" />
<node concept="15frb3" id="RBQsPP$pB$" role="1SCroh">
<node concept="1SCrv7" id="RBQsPP$q64" role="15frb4">
<property role="TrG5h" value="x" />
</node>
<node concept="158W6R" id="RBQsPP$Hg_" role="15frb8">
<property role="158W6O" value="1" />
</node>
<node concept="1SCrpc" id="RBQsPP$sVS" role="15fr8N">
<node concept="1SCrv7" id="RBQsPP$tql" role="1SCrpj">
<property role="TrG5h" value="f" />
</node>
<node concept="1SCrv7" id="RBQsPP$tSF" role="1SCrpv">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
<node concept="1SCrrb" id="RBQsPP$oES" role="158W6f" />
</node>
</node>
</node>
</node>
</node>
<node concept="3TKv5i" id="3g6selKTO0A">
<property role="TrG5h" value="PCF" />
<node concept="C6Zt3" id="3g6selKTO0B" role="xaH5_">
......
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -15,7 +15,7 @@
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
<import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
<import index="pzen" ref="r:25bfb30f-3676-4451-9448-27a17343be80(org.inca.core.runtime.plugin)" />
<import index="49o" ref="r:0a7258fa-1aee-4101-a27a-dcb857cd4cdf(pcf.exectests.model)" />
<import index="49o" ref="r:0a7258fa-1aee-4101-a27a-dcb857cd4cdf(t2_t3_model)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
<import index="jzuy" ref="r:6e7dd948-f19c-43a8-9d13-11db5e2eb071(pcf.lang.structure)" implicit="true" />
</imports>
......
......@@ -15,6 +15,8 @@
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
<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">7e673f3e-1eb9-4560-b6b7-4f8b397f2636(TypeLangTest)</dependency>
<dependency reexport="false">c0c5d1c5-5221-451f-8a7f-16b584c03ae2(pcf.exectests)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
......@@ -38,9 +40,11 @@
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="7e673f3e-1eb9-4560-b6b7-4f8b397f2636(TypeLangTest)" version="0" />
<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="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" />
</dependencyVersions>
......
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