Constants

6.5 Constants

constant	::=	integer-literal
	∣	float-literal
	∣	char-literal
	∣	string-literal
	∣	constr
	∣	`false`
	∣	`true`
	∣	`[]`
	∣	`()`
	∣	`tag-name

The syntactic class of constants comprises literals from the four base types (integers, floating-point numbers, characters, character strings), and constant constructors from both normal and polymorphic variants, as well as the special constants false, true, [], and (), which behave like constant constructors.