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> )>