函数应用接地信息
公开「元类型」暂无说明。
模块 / 73
软件/豫言/编译器核心/编译步骤/类型检查/函数应用隐式参数合成。豫
软件/豫言/编译器核心/编译步骤/类型检查/函数应用隐式参数合成。豫
18公开名称
函数应用类型骨架
公开「元类型」含局部变量的类型、可直接读取的 ground 类型
函数应用参数组
公开「元类型」上下文、按声明顺序的隐式变量名、显式参数类型、返回类型
收集函数调用头脊
公开化「表达式」而（「表达式」合（「列」于（「参数形式」合「表达式」）））已给隐式参数、当前函数的全部显式参数、剩余调用脊
读取函数应用实参类型
公开化（「列」于「条目」）而化「表达式」而（「或可有」于「表达式」）暂无说明。
函数应用期望类自由名
公开化（「或可有」于「表达式」）而（「列」于「字符串」）暂无说明。
实例化函数应用隐式参数
公开化（「列」于「字符串」）而化（「串典」于（「或可有」于「表达式」））而化「表达式」而（「字符串」合「表达式」合（「串典」于（「或可有」于「表达式」）））暂无说明。
读取函数应用类型骨架
公开化（「列」于「字符串」）而化「表达式」而（（「串典」于（「或可有」于「表达式」））合（「列」于「字符串」）合（「列」于「表达式」）合「表达式」）暂无说明。
拆分函数应用参数组
公开化「整数」而化「整数」而化「爻」而化（「列」于（「参数形式」合「表达式」））而（（「列」于「表达式」）合（「列」于「表达式」）合（「列」于（「参数形式」合「表达式」）））暂无说明。
尝试接地函数应用类型
公开化（「串典」于（「或可有」于「表达式」））而化「表达式」而化「表达式」而（「串典」于（「或可有」于「表达式」））暂无说明。
接地函数应用隐式参数
公开化（「串典」于（「或可有」于「表达式」））而化（「列」于（「表达式」合（「或可有」于「表达式」）））而（「串典」于（「或可有」于「表达式」））暂无说明。
写入函数应用已给隐式参数
公开化（「串典」于（「或可有」于「表达式」））而化（「列」于「字符串」）而化（「列」于「表达式」）而（（「串典」于（「或可有」于「表达式」））合（「列」于「字符串」））暂无说明。
求解函数应用隐式参数
公开化（「列」于「条目」）而化（（「串典」于（「或可有」于「表达式」））合（「列」于「字符串」）合（「列」于「表达式」）合「表达式」）而化（「列」于「表达式」）而化（「列」于「表达式」）而化（「或可有」于「表达式」）而（「列」于「表达式」）暂无说明。
添加当前函数应用组参数
公开化「爻」而化「表达式」而化「参数形式」而化「表达式」而「表达式」暂无说明。
检查函数应用参数组
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化（「列」于「表达式」）而化（「列」于「表达式」）而化（「列」于「表达式」）而（「表达式」合「表达式」）暂无说明。
进行已知头函数应用
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化（「列」于（「参数形式」合「表达式」））而化（「或可有」于「表达式」）而（「表达式」合「表达式」）暂无说明。
进行函数应用头脊类型合成
公开化（「列」于「条目」）而化「表达式」而（「表达式」合「表达式」）暂无说明。
进行函数应用头脊类型检查
公开化（「列」于「条目」）而化「表达式」而化「表达式」而「表达式」暂无说明。