Merge pull request #358 from bmstu-iu9/vladisp-generic-match

Автотест на нюанс с обобщением в специализации (#251)
bmstu-iu9 · Jun 26, 2021 · c1ae85c · c1ae85c
2 parents d13a3c9 + 037e9c9
commit c1ae85c
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/autotests/opt-tree-spec14.ref b/autotests/opt-tree-spec14.ref
@@ -0,0 +1,19 @@
+* TREE
+
+$ENTRY Go {
+  /* empty */
+    = <F ('A') ('B') ('C') ('D')> : '1'
+    = <F ('A') ('_') ('C') ('D')> : '2'
+    = /* empty */;
+}
+
+F {
+  (e.A) (e.B) (e.C) (e.D) = <S (e.A) e.B 'A' (e.C e.D)>;
+}
+
+$SPEC S (e.S) e.d;
+
+S {
+  (e.A) 'B' e.A e.E, e.E : e.E = '1';
+  (e.A) e._ e.A e.E = '2';
+}