Unison Records pretty printing transcript

records-bug-transcript.md

Ensure that Records keep their syntax after being added to the codebase

.> builtins.mergeio
.> load unison-src/transcripts-using-base/base.u

Record with 1 field

unique type Record1 = { a : Text }

.> add

.> view Record1

Record with 2 fields

unique type Record2 = { a : Text, b : Int }

.> add

.> view Record2

Record with 3 fields

unique type Record3 = { a : Text, b : Int, c : Nat }

.> add

.> view Record3

Record with many fields

unique type Record4 = 
  { a : Text
  , b : Int
  , c : Nat
  , d : Bytes
  , e : Text
  , f : Nat
  , g : [Nat]
  }

.> add

.> view Record4