diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-17 14:39:02 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-17 14:39:02 +0000 |
| commit | 290dbe823c4a3f1e7f61b519ec7469052603fd78 (patch) | |
| tree | 924b00cb01a1b79c133b47062e6f34626bb554ac | |
| parent | 94761f409cecac40959bf3b49b13bf81b324684e (diff) | |
doc on overloading
| -rw-r--r-- | doc/gf-history.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index 24c7efbfa..49d4ff892 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -14,6 +14,18 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2 <p> +17/11 (AR) Operation overloading: an <tt>oper</tt> can have many types, +from which one is picked at compile time. The types must have different +argument lists. Exact match with the arguments given to the <tt>oper</tt> +is required. An example is given in +<a href="../lib/resource-1.0/common/Overload.gf"><tt>Overload.gf</tt></a>. +The purpose of overloading is to make libraries easier to use, since +only one name for each grammatical operation is needed: predication, modification, +coordination, etc. The concrete syntax is, at this experimental level, not +extended but relies on using a record with the function name repeated +as label name (see the example). The treatment of overloading is inspired +by C++, and was first suggested by Björn Nringert. + <p> |