Подавление специализации в файле src/common/Escape.ref (#319)

Функция DoUnEscapeString-SR содержит аккумулятор, а из-за обобщения снизу этот аккумулятор специализируется для случаев каждого экранированного символа в нём. Это даёт визуальную задержку компиляции на маленьком файле. Поэтому данная функция помечена специализируемой без статических параметров — любой её вызов будет тривиальным.
bmstu-iu9 · Jul 18, 2020 · 3ffcef5 · 3ffcef5
1 parent 68b7a69
commit 3ffcef5
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/common/Escape.ref b/src/common/Escape.ref
@@ -73,6 +73,13 @@ OctDigits { = '01234567'; }
 DecDigits { = '0123456789'; }
 HexDigits { = '01234567AaBbCcDdEeFf'; }
 
+/*
+  Подавляем избыточную специализацию функции по аккумулятору.
+  Иначе аккумулятор выводится как статический параметр и строятся экземпляры
+  для e.Scanned '\n', e.Scanned '\r' и т.д.
+*/
+$SPEC DoUnEscapeString-SR (e.scanned) e.text;
+
 DoUnEscapeString-SR {
   (e.Scanned) '\\x' e.HexAndTail
     = <DoUnEscapeString-SR-Hex