Мелкий рефакторинг (#337)

bmstu-iu9 · Apr 7, 2021 · b9350c7 · b9350c7
1 parent ac19253
commit b9350c7
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/src/compiler/Checker.ref b/src/compiler/Checker.ref
@@ -992,8 +992,15 @@ CheckPattern-Flatten {
         (e.KnownVars) (Var t.SrcPos s.Mode e.Index) =
           (e.KnownVars (s.Mode e.Index));
 
-        (e.KnownVars) (NewVar t.SrcPos s.Mode e.Index) =
-          (<FixupKnownVars e.KnownVars (s.Mode e.Index)>);
+        (e.KnownVars) (NewVar t.SrcPos s.NewMode e.Index)
+          = e.KnownVars
+          : {
+              e.KnownVars-B (s.OldMode e.Index) e.KnownVars-E
+                = (e.KnownVars-B (s.NewMode e.Index) e.KnownVars-E);
+
+              e.KnownVars^
+                = (e.KnownVars (s.NewMode e.Index));
+            };
 
         (e.KnownVars) (Symbol Name t.SrcPos e.Name) =
           (e.KnownVars) (Symbol Name t.SrcPos e.Name);
@@ -1005,13 +1012,6 @@ CheckPattern-Flatten {
     >;
 }
 
-FixupKnownVars {
-  e.KnownVars-B (s.OldMode e.Index) e.KnownVars-E (s.NewMode e.Index) =
-    e.KnownVars-B (s.NewMode e.Index) e.KnownVars-E;
-
-  e.KnownVars (s.Mode e.Index) = e.KnownVars (s.Mode e.Index);
-}
-
 CheckResult {
   (e.ScopeVars) e.Items =
     <Map