4.7.5 The Language structure

fixityInSignatures

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>

Generated with Harlequin WebMaker