Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Paolo:

You have three alternatives:

1.- You can import the module with the same renamings so that the importation 
is shared. 

2.- You can rename all sorts and operations with advisories. 

3.- You can use the "set show advisories off ." command. 

I should try (1). It may take some time to find the right renaming, but it is 
the way to go unless you want to get to different copies of the same module. 
For (2) you'll need a lot of unnecessary renamings, and with (3) you should 
be just hiding a fixable problem. 

Paco


El 08/05/2011, a las 13:59, Paolo Picci escribió:

> 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.
> >
> 
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help