search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Custom layouts for unit and constructors without arguments #380

Closed amblafont closed 4 years ago

amblafont commented 4 years ago

As discussed, it is currently not possible to give a layout for the unit type, and consequently, for a constructor taking no argument (as then it is implicitly taking a unit argument). Typically, we would like this layout to be of size 0.

amblafont commented 4 years ago

already working!