3 ms·
How does this get enforced for string content changed at runtime? Or does this apply for only to strings initialised in code.
by allisdust 4y ago
How does this get enforced for string content changed at runtime? Or does this apply for only to strings initialised in code.
- pyjarrett 4y agoYou can enforce newtype on strings, or also use a dynamic predicate which checks at runtime. https://ada-lang.io/docs/arm/AA-3/AA-3.2/#324--subtype-predicates https://ada-lang.io/docs/arm/AA-3/AA-3.2/#324--subtype-predi...