comment

objectionary · Dec 8, 2024 · 79ab1b7 · 79ab1b7
1 parent 17dc231
commit 79ab1b7
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/eo-parser/src/main/resources/XMIR.xsd b/eo-parser/src/main/resources/XMIR.xsd
@@ -181,10 +181,19 @@ SOFTWARE.
         </xs:documentation>
       </xs:annotation>
     </xs:attribute>
-    <xs:attribute name="star" type="empty"/>
     <xs:attribute name="as" type="attribute-name"/>
     <xs:attribute name="atom" type="function-name"/>
     <xs:attribute name="loc" type="locator"/>
+    <!--
+    The following three are definitely temporary and should
+    be removed from XMIR. However, we can't remove them
+    now: they are created by the parser, then used by
+    the optimizer, and then removed. Since we check XML documents for
+    XSD compliance after the parsing phase, we can't remove them
+    now. We will remove them later, when we will have a separate
+    XSD for the parser output (maybe).
+    -->
+    <xs:attribute name="star" type="empty"/>
     <xs:attribute name="method" type="empty"/>
     <xs:attribute name="const" type="empty"/>
   </xs:complexType>