matching.fsx

type Person = { IsClever : bool }

let p = { IsClever = true }

/// Warning - missed "false"
let example1 =
    match p with
    | { IsClever = true } -> "Yes, this person is clever"

/// No warning - all cases matched
let example2 =
    match p with
    | { IsClever = true } -> "Yes, this person is clever"
    | { IsClever = false } -> "Fully matched!"

/// Warning - even though all cases are "theoretically" matched
let example3 =
    let number = 10
    match p with
    | { IsClever = true } -> "Yes, this person is clever"
    | { IsClever = false } when number > 10 -> "Clever when number is more than 10"
    | { IsClever = false } when number <= 10 -> "Clever when number is not more than 10"