`const` modifier for record types

cqcallaw / newt

The newt programming language

GNU General Public License v3.0

12 stars 2 forks source link

`const` modifier for record types #61

Open cqcallaw opened 8 years ago

cqcallaw commented 8 years ago

The idea here is to enable specification of a type that is immutable "all the way down"; that is, the type of every member of the record type must also be immutable.