This function builds the words tables associating abstract words to concrete ones given a
Gobstones definition of words for a particular domain.
It is used by Words to allow it generating lexers that can parse Gobstones programs
with any domain in different local languages.
It has a type parameter DSPrims, giving a type defining the concrete words of a specific domain
for Gobstones.
PRECONDITION: there are no repeated primitives or concrete strings in any of the components
of gbsDef.
This function builds the words tables associating abstract words to concrete ones given a Gobstones definition of words for a particular domain. It is used by Words to allow it generating lexers that can parse Gobstones programs with any domain in different local languages. It has a type parameter
DSPrims
, giving a type defining the concrete words of a specific domain for Gobstones.PRECONDITION: there are no repeated primitives or concrete strings in any of the components of
gbsDef
.