Error message if no parent sig scope, but child scopes exceed default

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 9 forks source link

Error message if no parent sig scope, but child scopes exceed default #243

Closed tnelson closed 8 months ago

tnelson commented 8 months ago

Relates to issue #150 . Like Alloy, add an error in situations where a parent sig has no declared scope, but child sigs do (and the total exceeds the default scope).