Next: , Previous: Lattices, Up: Compiler


4.8 Merge

The XDK grammar file compiler allows to merge an arbitrary number of grammars into one. Two grammars g_1 and g_2 can be merged into g_3 if they have the same type definitions.

The merge operation is defined as follows:

If more than two grammars g_i (1<=i<=n, and n>2) are merged, the last grammar in the sequence determines the dimension definitions of the merged grammar.