|
|
|---|
|
|
|
|---|
Definition of the predicates that check whether all the identifiers in the abstract syntax are ASCII and valid, with or without GCC extensions.
We use fty::deffold-reduce to define these predicates concisely.
These predicates are all parameterized by a flag saying whether GCC extensions are supported or not, which changes the exact notion of valid ASCII identifier; see ascii-ident-stringp.
The
The
We only need to override the predicate for the ident type, to call ascii-ident-stringp on the unwrapped value.