modules.xml 1.27 KB
Newer Older
1 2 3 4
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="MPSProject">
    <projectModules>
5
      <modulePath path="$PROJECT_DIR$/languages/FORecursiveTypes/FORecursiveTypes.mpl" folder="" />
6
      <modulePath path="$PROJECT_DIR$/languages/NewLanguage/SumTypes.mpl" folder="" />
7 8
      <modulePath path="$PROJECT_DIR$/languages/ProductTypes/ProductTypes.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/languages/RecordTypes/RecordTypes.mpl" folder="" />
9 10
      <modulePath path="$PROJECT_DIR$/languages/SLTCN/SLTCN.mpl" folder="" />
      <modulePath path="$PROJECT_DIR$/languages/STLCN/STLCN.mpl" folder="" />
11
      <modulePath path="$PROJECT_DIR$/languages/VariantTypes/VariantTypes.mpl" folder="" />
12
      <modulePath path="$PROJECT_DIR$/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd" folder="" />
13
      <modulePath path="$PROJECT_DIR$/solutions/RecordTypes_Checker/RecordTypes_Checker.msd" folder="" />
14
      <modulePath path="$PROJECT_DIR$/solutions/STLCN_Checker/STLCN_Checker.msd" folder="" />
15
      <modulePath path="$PROJECT_DIR$/solutions/SumTypes_Checker/SumTypes_Checker.msd" folder="." />
16
      <modulePath path="$PROJECT_DIR$/solutions/VariantTypes_Checker/VariantTypes_Checker.msd" folder="" />
17 18 19
    </projectModules>
  </component>
</project>