fix record formatting (#10685)
fix record formatting (#10685)

Co-authored-by: Don Syme <b5dbbfb48408f01136ce76174d97884cbc27980b@fastmail.com>
dsyme/fsharp,dsyme/fsharp,dsyme/fsharp,dsyme/fsharp,dsyme/fsharp,dsyme/fsharp,dsyme/fsharp