search

au-ts / cogent

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

after fields support & constraint-based typechecker for layouts #366

Closed zebraNeon closed 3 years ago

zebraNeon commented 4 years ago

now we should be able to write record { f1: 1B, f2: 1B at 1B } as record { f1: 1B, f2: 1B after 1B }