From c98adf2e3981f6c379e7274d6442f21ce1a0ba8c Mon Sep 17 00:00:00 2001 From: Miguel de Benito Date: Fri, 14 Sep 2012 11:05:19 +0000 Subject: [PATCH] Comment on options for contextually overloaded functions. --- devel/scheme/utils/utils-overload.en.tm | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/devel/scheme/utils/utils-overload.en.tm b/devel/scheme/utils/utils-overload.en.tm index 7452baf..c0c5e4b 100644 --- a/devel/scheme/utils/utils-overload.en.tm +++ b/devel/scheme/utils/utils-overload.en.tm @@ -1,4 +1,4 @@ - + @@ -102,6 +102,13 @@ options and explain how the additional information attached to functions can be exploited. + <\warning> + A current limitation of the implementation is that functions overloaded + using and cannot have different options. This + means in particular that you cannot specify different values for + depending on the context. + + <\explain> )>