Next: Types reference, Previous: Lattices, Up: Compiler
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.