In Haskell, if you import packages X and Y, and X contains a symbol
"foo", you can refer to it as just "foo" or explicitly as X.foo.

If both X and Y contain foo, then saying just "foo" is ambiguous and the compiler flags it as an error. You are required to say X.foo or Y.foo
to indicate which one you want.

Is there a simple way to do something like that in Forth, to get an
error or at least a warning, if the same symbol occurs in multiple
wordlists in the search order?

Thanks.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Paul Rubin <[email protected]d> writes:

If both X and Y contain foo, then saying just "foo" is ambiguous and the >compiler flags it as an error. You are required to say X.foo or Y.foo
to indicate which one you want.

Is there a simple way to do something like that in Forth, to get an
error or at least a warning, if the same symbol occurs in multiple
wordlists in the search order?

If your Forth system supports recognizers, you can replace the name
recognizer with one that searches the whole search order instead of
stopping at the first match, and then prints a warning if there is
more than one match, and returns the first match.

Of course that only produces a warning if you actually access FOO
(unlike what you specified), but I think it's the same for Haskell.

- anton
--
M. Anton Ertl http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
New standard: https://forth-standard.org/
EuroForth 2023 proceedings: http://www.euroforth.org/ef23/papers/
EuroForth 2024 proceedings: http://www.euroforth.org/ef24/papers/

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

[email protected] (Anton Ertl) writes:

Of course that only produces a warning if you actually access FOO
(unlike what you specified), but I think it's the same for Haskell.

Yes, that is what is desired and it's what I thought I described.
Thanks.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

In article <[email protected]>,
Paul Rubin <[email protected]d> wrote:

In Haskell, if you import packages X and Y, and X contains a symbol
"foo", you can refer to it as just "foo" or explicitly as X.foo.

If both X and Y contain foo, then saying just "foo" is ambiguous and the >compiler flags it as an error. You are required to say X.foo or Y.foo
to indicate which one you want.

Is there a simple way to do something like that in Forth, to get an
error or at least a warning, if the same symbol occurs in multiple
wordlists in the search order?

No special measures are required.
You look `fun up in the current search order, and say "isn't unique"
You look `fun up in the all wordlists, and say "isn't globally unique".

In ciforth you have an iterator for namespace (VOCABULARY's) e.g.
\ Print all namespace (voc) names in existence.
: .VOCS 'ID. FOR-VOCS ;

Now replace the execution token ID. by a word using SEARCH-WORDLIST .

You ask for something simple.
That is neither here nor there.
Use a simple Forth, then it is easy.
If you use a difficult Forth, all tasks are difficult.

Thanks.

Groetjes Albert
--
Temu exploits Christians: (Disclaimer, only 10 apostles)
Last Supper Acrylic Suncatcher - 15Cm Round Stained Glass- Style Wall
Art For Home, Office And Garden Decor - Perfect For Windows, Bars,
And Gifts For Friends Family And Colleagues.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)