固定性声明

请参见官方用户手册获取此页面上信息的最新版本。

总有机碳

固定声明可以出现在模块可能会出现其他声明。然后,它们适用于它们出现的整个范围(即之前和之后,但不在范围之外)。

中缀<优先级><nm1><nm2>。。。

声明姓名成为中缀。TODO:效果?

中缀<优先级><nm1><nm2>。。。infixr<precedence><nm1><nm2>。。。

将名称声明为具有给定优先级的左关联或右关联(二进制)运算符。优先级应为自然数。TODO:效果?

例如,

中缀5_+_

声明名称_+_优先权为5。

TODO:更多示例

TODO:当一个操作符包含多个名称部分时,固定性声明意味着什么?如何处理重叠的情况,例如,如果_a_、_b_和_a_b_都定义了相同(或不同)的优先级?

页面最后一次修改时间为2018年12月14日下午03:45
技术支持PmWiki