Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

It means you've imported the same module twice, perhaps once via a renaming, 
without renaming all the sorts (in particular EqSet&RlsSet) so now there is 
confusion between the two copies of this sort, and potentially operators 
defined on it.

However these are only advisories - Maude will bash sorts with the same name 
together in an ungraceful manner and press on. There must be a more serious 
problem for a module not to be importable - presumably it was lost in the ....

Without the actual code it's hard to be more specific.

Steven

On Saturday 07 May 2011 12:56:18 pm Paolo Picci wrote:
> help please
> i have this error and i dont have any idea about that
> 
> Advisory: "ruleInterface.maude", line 340 (mod RULES-INTERFACE): sort
> EqSet&RlsSet has been imported from both "full-maude.maude", line 1422
>  (fmod MODULE-HANDLING) and "full-maude.maude", line 1422
>     (fmod MODULE-HANDLING).
> ....
> ....
> Advisory: "ruleInterface.maude", line 340 (mod RULES-INTERFACE): operator
> upDown# has been imported from both "full-maude.maude", line 5262 (fmod
> META-NARROWING-SEARCH) and "full-maude.maude", line
>     5262 (fmod META-NARROWING-SEARCH) with no common ancestor.
> Warning: "ruleInterface.maude", line 340 (mod RULES-INTERFACE): this module
> contains one or more errors that could not be patched up and thus it cannot
> be used or imported.
> Advisory: redefining module RULE-TRANS.
> Warning: "Main.maude", line 37 (mod RULE-TRANS): unable to use module
> RULES-INTERFACE due to unpatchable errors.
>