ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-19 01:37:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] Relax input and output expressions.

Browse Source 
In input and output files, literals are actually insufficient to represent the
most negative values of the signed integer types.

Given that we are likely to need richer forms of input and output expressions
anyways, at this point it seems best to allow any expression at the grammatical
level, and add static semantic requirements on the allowed expressions. As done
with all the other requirements, these will be stated in the Leo Reference,
formalized in ACL2, and enforced in the Leo compiler.
This commit is contained in:
Alessandro Coglio 2022-05-31 19:20:11 -07:00
parent c76dd47dd6
commit 9e1dad2b2a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/grammar/abnf-grammar.txt
View File

@ -357,7 +357,7 @@ format-string = *format-string-element
input-type = type
input-expression = literal
input-expression = expression
input-item = identifier ":" input-type "=" input-expression ";"
@ -372,7 +372,7 @@ input-file = *input-section
; Output Grammar
; --------------
output-expression = literal
output-expression = expression
output-item = output-expression ";"