5003.md

5003

Something was requested by a signature, but not present in the structure that is attempting to ascribe to that signature.

signature SIG = sig
  val x : int
  val y : string
end

structure Str : SIG = struct
(**                   ^^^^^^ missing value required by signature: `x` *)
  val y = "oops"
end

To fix

Provide definitions for the missing items.

See also 5034 for a particular case in which this error may confusingly appear.