io7m
io7m-jparasol
0.11.3
4.2. Syntax
4. Expressions
4.4. Real literal
Previous
Up
Next
4.3
Integer literal
4.3.1
Description
1
An
integer_literal
is a simple integer value.
4.3.2
Type rules
1
integer_literal
expressions are of type
integer
, where
ℤ
represents the literal:
4.3.2.1. Integer literal type rule (integer_constant)
4.3.3
Operational semantics
1
integer_literal
expressions are
values
by definition, and are equal to the value of the literal.
Previous
Up
Next
4.2. Syntax
4. Expressions
4.4. Real literal