natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tests of BL typechecking features. Primitive types.

This commit is contained in:
Fedor Isakov 2018-12-03 16:55:47 +01:00
parent d7c1f70287
commit debaa390e2
5 changed files with 5629 additions and 678 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
View File

@ -792,29 +792,6 @@
</node>
</node>
</node>
<node concept="3Aq93q" id="10BVPEVK4YX" role="1nLNMb">
<property role="3ArMco" value="true" />
<node concept="3I6sU6" id="10BVPEVK4YY" role="3Ip0Jz">
<node concept="3I6s7M" id="10BVPEVK5Ku" role="3I6sU7">
<node concept="3Aqt3T" id="4KALGUEh0bf" role="3I6s78">
<ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
<node concept="3BlFb$" id="4KALGUEh0ba" role="3AunhB">
<node concept="2OqwBi" id="4KALGUEh0bb" role="3BlFb_">
<node concept="3A2sRY" id="4KALGUEh0bc" role="2Oq$k0">
<ref role="3A2yKK" node="10BVPEVK4YL" resolve="lvb" />
</node>
<node concept="3TrEf2" id="4KALGUEh0bd" role="2OqNvi">
<ref role="3Tt5mk" to="8tt8:7_8aRkgDGQs" resolve="expr" />
</node>
</node>
</node>
<node concept="a7P8L" id="4KALGUEh0be" role="3AunhB">
<ref role="a7OzE" node="10BVPEVK64u" resolve="E" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Aq9E8" id="10BVPEVK64G" role="1nLNMd">
<node concept="3I6sU6" id="10BVPEVK64H" role="3Ip0Jz">
<node concept="3I6s7M" id="6XR$k9E04nZ" role="3I6sU7">
@ -848,6 +825,29 @@
</node>
</node>
</node>
<node concept="3Aq93q" id="10BVPEVK4YX" role="1nLNMb">
<property role="3ArMco" value="true" />
<node concept="3I6sU6" id="10BVPEVK4YY" role="3Ip0Jz">
<node concept="3I6s7M" id="10BVPEVK5Ku" role="3I6sU7">
<node concept="3Aqt3T" id="4KALGUEh0bf" role="3I6s78">
<ref role="3AqCNq" node="4KALGUEgLbG" resolve="typeOf" />
<node concept="3BlFb$" id="4KALGUEh0ba" role="3AunhB">
<node concept="2OqwBi" id="4KALGUEh0bb" role="3BlFb_">
<node concept="3A2sRY" id="4KALGUEh0bc" role="2Oq$k0">
<ref role="3A2yKK" node="10BVPEVK4YL" resolve="lvb" />
</node>
<node concept="3TrEf2" id="4KALGUEh0bd" role="2OqNvi">
<ref role="3Tt5mk" to="8tt8:7_8aRkgDGQs" resolve="expr" />
</node>
</node>
</node>
<node concept="a7P8L" id="4KALGUEh0be" role="3AunhB">
<ref role="a7OzE" node="10BVPEVK64u" resolve="E" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>

3676
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

File diff suppressed because it is too large Load Diff

2546
samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps
View File

File diff suppressed because it is too large Load Diff

24
samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps
View File

@ -345,6 +345,30 @@
</node>
</node>
</node>
<node concept="1LZb2c" id="7AyqXCdNg6Z" role="1SL9yI">
<property role="TrG5h" value="primitiveTypes" />
<node concept="3cqZAl" id="7AyqXCdNg70" role="3clF45" />
<node concept="3clFbS" id="7AyqXCdNg71" role="3clF47">
<node concept="2Hmddi" id="7AyqXCdNg72" role="3cqZAp">
<node concept="2YIFZM" id="7AyqXCdNg73" role="2Hmdds">
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
<node concept="2OqwBi" id="7AyqXCdNg74" role="37wK5m">
<node concept="2WthIp" id="7AyqXCdNg75" role="2Oq$k0" />
<node concept="2XshWL" id="7AyqXCdNg76" role="2OqNvi">
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
<node concept="2tJFMh" id="7AyqXCdNg77" role="2XxRq1">
<node concept="ZC_QK" id="7AyqXCdNg8n" role="2tJFKM">
<ref role="2aWVGs" to="96nh:5XJPBczwaPg" resolve="PrimitiveTypes" />
</node>
</node>
</node>
</node>
<node concept="1jxXqW" id="7AyqXCdNg79" role="37wK5m" />
</node>
</node>
</node>
</node>
</node>
</model>

15
samples/mpscore/solutions/typechecking.samples.baseLanguage/models/staging.mps Normal file
View File

@ -0,0 +1,15 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:b309cb56-3611-4c81-a828-546d9de592a2(typechecking.samples.baseLanguage.staging)">
<persistence version="9" />
<languages>
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="8" />
<use id="0fda14cc-a416-4c81-869a-2175d8b3325d" name="jetbrains.mps.baseLanguageExt" version="0" />
<use id="0b80a2e8-f9f1-47b3-823f-56eb115bca42" name="jetbrains.mps.typechecking.annotation" version="0" />
</languages>
<imports>
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" />
<import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" />
</imports>
<registry />
</model>