maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Module importation

From: Paolo Picci <paolo.picci AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Module importation
Date: Sat, 7 May 2011 21:56:18 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

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] Module importation, Paolo Picci, 05/07/2011
- Re: [Maude-help] Module importation, Steven Eker, 05/07/2011
  - Re: [Maude-help] Module importation, Paolo Picci, 05/08/2011
    - Re: [Maude-help] Module importation, Francisco Durán, 05/09/2011
      - Re: [Maude-help] Module importation, Steven Eker, 05/09/2011