Maude-help mailing list

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

Or

(4) Just rename the sorts with advisories - the operators should be taken 
care 
of by ad hoc overloading. If you are importing a model twice, with different 
renamings you should really rename all sorts other those those obtained from 
a 
common import (like Bool) so that you can distinguish between the copies of 
the module in you own code.

Steven

On Monday 09 May 2011 02:15:13 am Francisco Durán wrote:
> 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
> 
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>