From cba88a310a0f0eb663f78fcca824c7f645b413c4 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 17 Nov 2006 14:39:02 +0000 Subject: [PATCH] doc on overloading --- doc/gf-history.html | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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

+17/11 (AR) Operation overloading: an oper 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 oper +is required. An example is given in +Overload.gf. +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. +