Previous Up Next

3.3  Global names

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

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

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.

Previous Up Next