io7m
io7m-jparasol
0.11.3
4.3. Integer literal
4. Expressions
4.5. Boolean literal
Previous
Up
Next
4.4
Real literal
4.4.1
Description
1
A
real_literal
is a simple real-number value.
4.4.2
Type rules
1
Real literal
expressions are of type
float
, where
ℝ
represents the literal:
4.4.2.1. Real literal type rule (float_constant)
4.4.3
Operational semantics
1
real_literal
expressions are
values
by definition, and are equal to the value of the literal.
Previous
Up
Next
4.3. Integer literal
4. Expressions
4.5. Boolean literal