If I define a type with labels, e.g.
typeBST<'T>=| Empty
| Node ofvalue:'T*left:BST<'T>*right:BST<'T>
Then if I use that type with destructuring syntax and I need to assign names to things, I think that the IDE should suggest a name based on the label if it exists.
let recflip t =match t with| Empty -> t
| Node(value, left, right)->...// ^^ ^^ ^^// These are each suggested to me by the IDE.
If I define a type with labels, e.g.
Then if I use that type with destructuring syntax and I need to assign names to things, I think that the IDE should suggest a name based on the label if it exists.