diff --git a/doc/gf-modules.html b/doc/gf-modules.html index 0a085ac49..ce6a5b41f 100644 --- a/doc/gf-modules.html +++ b/doc/gf-modules.html @@ -749,11 +749,23 @@ times. Here is a summary of how they are compiled: This means that some generated code is duplicated, because those operations that do have complete definitions in an interface are copied to each of -the instances +the instances.

Transfer modules

+Translation by transfer means that syntax trees are manipulated +by non-compositional functions (transfer rules) between the +source and target languages. They are being introduce to GF as a module +type of its own, but their development is still in progress. What +will be available are at least fun and def +judgements, but more is needed. It has not yet been defined how +transfer modules are integrated in multilingual grammars, i.e.\ +where in the grammar it is specified what transfer to use. +(Both GF and GFC have a syntax for transfer modules and +multilingual headers, but their compilation further than parsing +has not been implemented.) +

Summary of module syntax and semantics