文件后缀

豫言用文件后缀区分文件的种类。源文件一律以全角句号加“豫”字结尾（。豫），模块名与种类段之间也用全角句号，如 字节串。豫、宿主。接口。豫、逐元。底层。测试。豫。后缀决定四件事：文件里能写什么、无体声明由谁提供、按哪种模式编译，以及导入时能找到哪些模块。本篇按当前仓库列出全部后缀，每种附一个仓库里的例子：缀一是源文件，缀二是导入时的查找次序，缀三是文档、测试数据、构建产物等其他文件。各子语言共同遵守的设计原则及其配合方式见子语言设计。

各条以“缀”编号。

缀一：源文件

导入路径只写模块名，种类段由编译器按缀二补上。例如 寻观「豫章」之「形制」之「帛书」之书。 找到的文件是 库/豫章/形制/帛书。豫。

高级源文件

高级源文件有垃圾回收，编成 WasmGC 模块。

着色文件

着色文件用豫言标准语法写 GPU 着色程序，详见着色语言。

设计语言

设计语言（提案 00018）的作品用构造写法写在设计源文件里，由引擎库「设计」求值、渲染。

底层文件

文件名带“。底层”的是底层文件：无垃圾回收，编成整数 Wasm，用于执行器、驱动、张量内核等系统代码。语言子集与后端见 应用/豫言编译器/文档/底层模式.汉语.md。

包描述

数据文件

数据文件（数据子语言，提案 00028）存静态数据。

• 类型检查分两步：检查之前查写法，值里的函数、运算与其他调用，以及 即、立 定义都报错，报错写明原因；检查之后查构造写法的头与单写的名字是值构造器。字段名、字段类型与必填项由构造写法降级按头的签名检查（标签函数类型签七），写错字段名时报“构造「头」没有属性「名」”。
• 「列」【…】 直接用内建的列构造，数据文件不必导入标准库；签名里写「列」「文」等类型名时导入标准库。
• 单独检查一个数据文件：豫构 类型检查 <包> <模块段…>，如 豫构 类型检查 软件目录 测试 样例。
• 运行时下载或读入的数据文件由库「数据文件」只做词法与语法分析地读写；工具与 CI 之间交换的清单、软件目录（如包仓库的 /豫/社区/软件/豫言-兼容六十四。数据。豫）与工具链钉都写成数据文件。
• 「典」【…】 只供库「数据文件」在运行时读取；编译与导入时「典」的类型留待后续版本，数据文件里写「典」时报错。

约定的文件名

• 入口。豫：可执行包常用的入口模块名，包描述的「类型」里写 「入口」者『入口』也；它定义入口函数「入口」（类型 化「有」而「有」），包描述可以用「入口函数」另指一个名字。底层可执行包的入口文件是 入口。底层。豫。

兼容输入另接受以 .yuyan 结尾的源文件路径。

缀二：模块查找

导入路径的末段是模块名。编译器按导入方的种类给模块名依次补上下列后缀，取第一个存在的文件：

• 导入路径只写包名（或止于子包）时，先按库包描述里「类型」的「默认导入」展开成若干条目，每个条目再按导入方的种类补上表中的后缀（见豫构包系统“默认导入”）。
• 各项都不存在时报“包内模块不存在”。高级文件要导入的模块只有底层文件时，报错附上“这是底层模块，高级代码不能导入”；底层文件找不到模块时，报错列出它可以导入的三种后缀。
• 包入口与 豫构 文件 指定的文件可以是高级文件，也可以是底层文件，查找次序是表中高级与底层两行相接。数据文件可以作类型检查的入口；构建程序时它当入口报错。
• 测试与脚本按全名导入（末段写 名。测试、名。脚本）：测试只能被测试与脚本导入，普通模块导入测试时报“普通模块不能导入测试”；脚本不能被导入，导入时报“脚本不能被导入”。
• 程序的编译模式看入口文件：入口是底层文件时，整个程序走底层管线；其余程序走高级管线，编成 WasmGC。

例如 豫言操作系统/裸机/原生样例/你好/入口。底层。豫 是底层文件，它的两条导入：

寻观「磐石」之书。
寻「原生你好」之「林纳」之书。

第一条按底层库的默认导入展开成 基、仓廪、格、址算 四个底层模块（如 库/底层库/基。底层。豫），第二条取同包的 林纳。底层接口。豫。

缀三：其他文件

文件名除半角点外全是汉字时，后缀一律用全角句号分隔；英文后缀（.md、.html、.wasm 等）用半角点。半角点接汉字后缀的是旧名，仓里已全部改用全角句号（汇编树码已改为 。树码，工具链也认旧名 .树码）；CI 的 formatting check 对 Git 受控文件里名字除半角点外全是汉字的发警告，本地用 ./格式检查。林檎。豫行 --文件名 列出。

文档

测试数据

构建产物与缓存

豫言系统造盘