search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.94k stars 261 forks source link

Dafny 4 proposal: shorter syntax for record datatypes #2595

Open cpitclaudel opened 2 years ago

cpitclaudel commented 2 years ago

Proposal:

datatype Record(field1: type1, …, fieldn: typen)

As a short form of

datatype Record = Record(field1: type1, …, fieldn: typen)
MikaelMayer commented 2 years ago

Should we syntax highlight the remaining Record as a type or as a constructor ? :-)