Co-authored-by: sternenseemann <sternenseemann@systemli.org>
This commit is contained in:
Valentin Gagarin 2023-06-14 00:40:06 +02:00 committed by GitHub
parent a7def97e9a
commit 8413407247
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -150,7 +150,7 @@ Other discussions around language changes:
- Forward compatibility is undesirable anyway
- (-) Requires support by all tooling, lose semantics otherwise
- Use `assert builtins.languageVersion` in the first line of the file
- Use `assert builtins.langVersion` in the first line of the file
- (+) Produces more telling error messages in existing evaluators
- (+) Future evaluators could be augmented to treat this as specially for better errors
- (-) Special treatment may confuse users: why does `assert` at the beginning of a file work differently than somewhere else?