Exactly. The compiler is too old...
It needs a good réfection.
Le 31 déc. 2016 22:11, "Waldek Hebisch" a écrit :
> Prof. Dr. Johannes Grabmeier wrote:
> >
> > Nevertheless, my complain is, that
> >
> > - a "directly" imported package like the add-part of a category (I count
> > this as an functi
Prof. Dr. Johannes Grabmeier wrote:
>
> Nevertheless, my complain is, that
>
> - a "directly" imported package like the add-part of a category (I count
> this as an function of the new domain/package in the first place)
>
>should have compiler priority to be chosen befor a
>
> - further imp
Hi Waldek,
you perfectly right to give the nitpick hint, that only functions can
access the local variables. Nevertheless, my complain is, that
- a "directly" imported package like the add-part of a category (I count
this as an function of the new domain/package in the first place)
should hav
Prof. Dr. Johannes Grabmeier wrote:
>
> if I don't import another domain which also uses IML, then the compiler
> correctly sees the variables from IML in its own defined new functiogs.
> If, however, such an import is present, it uses the variables from the
> IML from the import.
>
> My feeling
Hallo Waldek,
thanks for your quick explanation, I add my comments directly to your
comments
Am 20.12.16 um 22:35 schrieb Waldek Hebisch:
> Prof. Dr. Johannes Grabmeier wrote"
>> I observed the following behaviour. Perhaps someone can tell what is
>> going on, a bug of philosophy which I do not
Prof. Dr. Johannes Grabmeier wrote"
>
> I observed the following behaviour. Perhaps someone can tell what is
> going on, a bug of philosophy which I do not understad? If necessary I
> can work out and provide a minimal example.
>
> 1. defined a category IML with several functions, all of them are
Hallo all,
I observed the following behaviour. Perhaps someone can tell what is
going on, a bug of philosophy which I do not understad? If necessary I
can work out and provide a minimal example.
1. defined a category IML with several functions, all of them are
implemented in the category, some of
