«Каноническая» форма для образа обобщения (#154)

bmstu-iu9 · Jul 9, 2018 · 3614730 · 3614730
1 parent f70f2ce
commit 3614730
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/src/compiler/GlobalGen-Ref.ref b/src/compiler/GlobalGen-Ref.ref
@@ -105,11 +105,12 @@ Generalization-Pair {
 
   (MN ':' s.NumL ',' (e.TermsL1) ',' (e.TermsL2))
   (MN ':' s.NumR ',' (e.TermsR1) ',' (e.TermsR2))
-    = (
-        MN ':' <Min s.NumL s.NumR> ','
-        (<GeneralizationInPairs-Left (e.TermsL1) (e.TermsR1)>) ','
-        (<GeneralizationInPairs-Right (e.TermsL2) (e.TermsR2)>)
-      );
+    = <Lenw <GeneralizationInPairs-Left (e.TermsL1) (e.TermsR1)>>
+    : s.LenLeft e.Left
+    = <Lenw <GeneralizationInPairs-Right (e.TermsL2) (e.TermsR2)>>
+    : s.LenRight e.Right
+    = <Min s.NumL s.NumR <+ s.LenLeft s.LenRight>> : s.Min
+    = (MN ':' s.Min ',' (e.Left) ',' (e.Right));
 
   (MN ':' s.NumL ',' (e.TermsL1) ',' (e.TermsL2))
   (K ':' s.NumR ',' (e.TermsR))