Maude-help mailing list

[Paolo Picci <paolo.picci AT gmail.com>]

ok i have found the second impotation, the list of advisories is very long..., there is a way to import the this module without renaming all the operations/sorts? or i need manually to rename all sorts with  ⟨ModuleExpression ⟩ * ( ⟨Renaming ⟩ )

2011/5/7 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.
>