4.7.5 The Language structure
fixityInSignatures
Compatibility option
Structure
Shell.Options.Language
Type
val fixityInSignatures: bool option
Description
If true, allow fixity specifications in signatures. This option is included for compatibility with the Standard ML of New Jersey compiler (NJSML).
Example
According to the Definition, the following code is invalid:
MLWorks> signature S = sig infix %%% end; MLWorks>
An error browser containing the message "Fixity declarations in signatures not valid in this mode." appears.
With fixityInSignatures set to true, the signature is accepted:
MLWorks> set (fixityInSignatures, true); val it : unit = () MLWorks> signature S = sig infix %%% end; signature S = sig end MLWorks>