prepare rc1

.gitignore

@@ -187,4 +187,5 @@ dist
 *.bc
 *.dylib
 callgrind.out.*
-cachegrind.out.*
+cachegrind.out.*
+.yybuild.*

performance-investigation/matrix-multiply/.gitignore

@@ -2,4 +2,4 @@
 time_plot
 *.png
 *.hi
-*.exe
+*.exe

豫言编译器/入口。豫

@@ -22,14 +22,14 @@
 参数者（命令行参数之获取参数于元）也。
 参数长度者长度于参数也。
 
-当前路径者（行于获取当前路径）也。
-
+「： 当前路径者（行于获取当前路径）也。
+ ：」
 
 输入文件路径处理乃化字符串而字符串也。
 输入文件路径处理者会串而
     若路径名是绝对路径于串
     则串
-    否则（「路径合并」于当前路径于串）也。
+    否则（「路径合并」于（获取当前路径于元）于串）也。
 
 
 鉴参数而有
@@ -47,7 +47,7 @@
                     若（读引用于「需要显式关于」）
                     则（打印行于AGPL版权声明）
                     否则（
-                        虑无者非常粗略调试打印行于（会无而『当前路径：』附（当前路径））而
+                        虑无者非常粗略调试打印行于（会无而『当前路径：』附（（获取当前路径于元）））而
                         虑所有输入文件者（态射于输入文件路径处理于（读引用于「要编译的文件」））而
                         鉴「所有输入文件」而
                             有文件名衔【】则（
@@ -62,16 +62,20 @@
                                             进程之退出于（操作系统之子进程之运行并传递输出于（『python3』）于（参数））
                                          ）否则
                                         （虑「
-                                            进行编译于阳于文件名。
+                                            所有依赖分析于文件名。
+                                            有列也态射于（进行编译）于（读引用于文件编译顺序）。
                                             退出状态者条件生成可执行程序并执行于文件名也。
                                             进程之退出于（退出状态）。
                                         」）
                                     或有『worker』则（
-                                        虑「
-                                            进程之退出于（
+                                        鉴读引用于单一工作模式任务而
+                                            有『exec-gen』则（
+                                                写引用于文件编译顺序于（（读引用于文件编译顺序）接【文件名】）；
+                                                进程之退出于（条件生成可执行程序并执行于文件名）
+                                            ）
+                                            或有「其他工作」则（
                                                 执行单一工作于文件名
-                                            ）。
-                                        」
+                                            ）
                                     ）
                                     或有「其他模式」则（
                                         发生事故于『不识别的模式：』附（其他模式）

豫言编译器/编译步骤/优化/基础工具/定义查找。豫

@@ -57,7 +57,7 @@
                     则（
                             （
                                 虑文件名者「读取文件引用节点」于「可能元组值」而
-                                虑文件结构者「读取优化后形式」于文件名而
+                                虑文件结构者「读优化后形式」于文件名而
                                 鉴文件结构而
                                     有（式节点于（结构递归节点于「标签们」）于「递归结构参」衔【】）则
                                 （

豫言编译器/编译步骤/优化/跨文件优化/常量内联。豫

@@ -139,7 +139,7 @@
                 则（
                     当前路径及式中一
                 ）否则（
-                    「读取优化后形式」于文件名
+                    「读优化后形式」于文件名
                 ））而
             鉴文件结构而
                 有（式节点于（结构递归节点于「标签们」）于「递归结构参」衔【】）则

豫言编译器/编译步骤/总体过程/分布编译步骤。豫

@@ -50,11 +50,115 @@
         虑无者非常粗略调试打印行于（会无而『| 正在进行依赖分析： 』附路径）而
         虑「所有依赖」者寻找可能导入文件顶层于路径而
         虑无者非常粗略调试打印行于（会无而『| 完成，正在写缓存： 』附路径）而
-        虑无者写树组缓存于路径于『依赖分析结果』于（打表态射于「所有依赖」于（会文件名而文件名与阳与（式节点于待定节点于【】）））而
-        虑无者打印行于（以『「：换行：」』合并（所有依赖））而
-        零
+        虑无者「写串列缓存」于路径于『文件依赖』于「所有依赖」而
+        「所有依赖」
     ）否则（
-        虑无者非常粗略调试打印行于（会无而『| 缓存存在： 』附路径）而
-        虑依赖缓存者（「读串列缓存」于路径于『依赖分析结果』）而
-        零
+        虑无者非常粗略调试打印行于（会无而『| 文件依赖缓存存在： 』附路径）而
+        虑依赖缓存者（「读串列缓存」于路径于『文件依赖』）而
+        「依赖缓存」
+    ）也。
+
+执行语法分析乃化字符串而有也。
+执行语法分析者会路径而
+    若（信息需要更新于路径于『抽象语法』）
+    则（
+        虑无者非常粗略调试打印行于（会无而『| 开始语法分析： 』附路径）而
+        虑结果者抽象语法解析编译单元顶层于路径于（ 粗分析编译单元于（ 词法解析顶层于（文件系统之读文件于路径） ） ）而
+        虑无者非常粗略调试打印行于（会无而『| 语法分析完成，正在保存结果： 』附路径）而
+        虑无者写缓存于路径于『抽象语法』于结果而
+        虑无者非常粗略调试打印行于（会无而『| 全部完成： 』附路径）而
+        元
+    ）否则（
+        虑无者非常粗略调试打印行于（会无而『| 抽象语法缓存存在： 』附路径）而
+        元
+    ）也。
+
+执行类型检查并擦除乃化字符串而有也。
+执行类型检查并擦除者会路径而
+    若（「或者」
+        于（信息需要更新于路径于『正则签名』）
+        于（信息需要更新于路径于『擦除后形式』））
+    则（
+        虑无者非常粗略调试打印行于（会无而『| 开始加载缓存： 』附路径）而
+            虑抽象语法者（读缓存于路径于『抽象语法』）而
+            虑无者非常粗略调试打印行于（会无而『| 正在类型检查： 』附路径）而
+            虑检查结果者进行文件结构检查顶层于路径于抽象语法而
+            虑正则签名者检查结果中零而
+            虑无者非常粗略调试打印行于（会无而『| 类型检查完成，准备保存数据： 』附路径）而
+            虑无者写缓存于路径于『正则签名』于「正则签名」而
+            虑无者非常粗略调试打印行于（会无而『| 正在转换擦除： 』附路径）而
+            虑变换结果者（「转换擦除顶层」于路径于检查结果中一）而
+            虑无者非常粗略调试打印行于（会无而『| 转换擦除完成，准备保存数据： 』附路径）而
+            虑无者写缓存于路径于『擦除后形式』于「变换结果」而
+            虑无者非常粗略调试打印行于（会无而『| 全部完成： 』附路径）而
+        元
+    ）否则（
+        虑无者非常粗略调试打印行于（会无而『| 类型检查缓存存在： 』附路径）而
+        元
+    ）也。
+
+执行跨模块优化乃化字符串而有也。
+执行跨模块优化者会路径而
+    若（信息需要更新于路径于『优化后形式』）
+    则（
+        虑无者非常粗略调试打印行于（会无而『| 开始加载缓存： 』附路径）而
+        虑擦除后形式者（读缓存于路径于『擦除后形式』）而
+        虑无者非常粗略调试打印行于（会无而『| 正在优化： 』附路径）而
+        虑优化结果者（「所有跨文件优化步骤」于路径于擦除后形式）而
+        虑无者非常粗略调试打印行于（会无而『| 跨模块优化完成，准备保存数据： 』附路径）而
+        虑无者写缓存于路径于『优化后形式』于「优化结果」而
+        虑无者非常粗略调试打印行于（会无而『| 全部完成： 』附路径）而
+        元
+    ）否则（
+        虑无者非常粗略调试打印行于（会无而『| 跨文件优化缓存存在： 』附路径）而
+        元
+    ）也。
+
+执行闭包转换乃化字符串而有也。
+执行闭包转换者会路径而
+    若（信息需要更新于路径于『闭包形式』）
+    则（
+        虑闭包转换后语法者前闭包转换顶层于路径于（读缓存于路径于『优化后形式』）而
+        虑无者写树组缓存于路径于『闭包形式』于（闭包转换后语法）而
+        元
+    ）否则（
+        虑无者非常粗略调试打印行于（会无而『| 闭包转换缓存存在： 』附路径）而
+        元
+    ）也。
+
+执行求值正则变换乃化字符串而有也。
+执行求值正则变换者会路径而
+    若（信息需要更新于路径于『求值正则形式』）
+    则（
+        虑求值正则形式者进行无类型求值正则变换顶层于路径于（读树组缓存于路径于『闭包形式』）而
+        虑无者写树组缓存于路径于『求值正则形式』于「求值正则形式」而
+        元
+    ）否则（
+        虑无者非常粗略调试打印行于（会无而『| 求值正则变换缓存存在： 』附路径）而
+        元
+    ）也。
+
+执行代码生成乃化字符串而有也。
+执行代码生成者会路径而
+    若（信息需要更新于路径于『代码生成形式』）
+    则（
+        虑无者非常粗略调试打印行于（会无而『| 开始加载缓存： 』附路径）而
+                虑求值正则形式者（读树组缓存于路径于『求值正则形式』）而
+                虑无者非常粗略调试打印行于（会无而『| 缓存加载完成： 』附路径）而
+                虑代码生成前形式者（代码生成准备变换顶层于路径于求值正则形式）而
+                虑无者（若读引用于「保存编译期中间产物」
+                则（
+                    写树组缓存于路径于『代码生成前形式』于代码生成前形式
+                ）
+                否则（
+                    元
+                ））而
+                虑无者非常粗略调试打印行于（会无而『| 代码生成准备完成： 』附路径附『 共』附（整数表示于（长度于代码生成前形式））附『个函数』）而
+                虑无者单个文件代码生成顶层于（读引用于文件编译顺序）于路径于（获取输出文件路径于路径）于代码生成前形式而
+                虑无者非常粗略调试打印行于（会无而『| 代码生成完成，准备保存数据： 』附路径）而
+                虑无者写代码生成形式缓存于路径而
+        元
+    ）否则（
+        虑无者非常粗略调试打印行于（会无而『| 代码生成缓存存在： 』附路径）而
+        元
     ）也。