Constraint is missing from binding

[nojaf]

Issue created from telplin-online

Implementation

module Telplin

[<Interface>]
type Node =
    abstract Children: int array

let noa<'n when 'n :> Node> (n: 'n option) =
    match n with
    | None -> Array.empty
    | Some n -> [| n :> Node |]

Signature

module Telplin

[<Interface>]
type Node =
    abstract Children: int array

val noa: n: 'n option -> Node array

Problem description

The signature and implementation are not compatible because the declaration of the type parameter 'n' requires a constraint of the form 'n :> Node

Extra information

• The proposed signature has problems.
• I or my company would be willing to help fix this.