search

unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.77k stars 268 forks source link

Record types don't render with their field names in docs #2971

Open rlmark opened 2 years ago

rlmark commented 2 years ago

A record type with field names will appear as expected in the UCM 

unique type learn.glance.Pet = { age : Nat, species : Text, foodPreferences : [Text] }

But will not appear in the docs with associated field names. This issue appears on both the website and on Share/ the local ui.

rlmark commented 2 years ago

When this is fixed, the types for learn.glance.Pet, dataTypes.recordTypes.Volunteer and Point1 in the language guide section for record types can be transcluded by source instead of hard-coded.