Global names

3.3 Global names

The naming conventions in Lucid Synchrone are inherited from Objective Caml with some restrictions ¹. They are listed here:

Names in Lucid Synchrone are decomposed into the following syntactic classes:

The syntactic class value-name for value names
The syntactic class typeconstr-name for type constructors
The syntactic class module-name for module names

3.3.1 Naming values

value-name	::=	lowercase-ident
	\|	`(` operator-name `)`
operator-name	::=	prefix-symbol \| infix-symbol \| `*` \| `=` \| `or` \| `&`
constructor-name	::=	capitalized-ident
	\|	`()`
typeconstr-name	::=	lowercase-ident
module-name	::=	capitalized-ident

As in Objective Caml, the syntactic class of lowercase-ident is the set of identifiers starting with a lowercase letter whereas capitalized-ident is the set of of identifiers starting with a capital letter.

3.3.2 Referring to named values

value-path	::=	value-name
	\|	module-name `.` value-name
constructor	::=	constructor-name
	\|	module-name `.` capitalized-ident
typeconstr	::=	typeconstr-name
	\|	module-name `.` typeconstr

A value can be referred either by its name or by qualifying the name with a module name.

1: In fact, the naming convention are closer to the one of Caml Light but the adopted syntax is the one of Objective Caml.