maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] import with no common ancestor

From: Roald de Vries <r.a.de.vries.2 AT umail.leidenuniv.nl>
To: maude-help AT peepal.cs.uiuc.edu
Subject: [Maude-help] import with no common ancestor
Date: Fri, 15 Jun 2007 14:47:45 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

I'm building a module that needs both META-UTIL and LIST-AND-SET{QID}. So:

mod INTERFACE is

inc META-UTIL .

inc LIST-AND-SET{Qid} * (op empty to none, op _,_ to _;_ [prec 43]) .

endm

This gives (a lot of) messages like the following:

Advisory: "project.interface.maude", line 1 (mod INTERFACE): operator nil has been

imported from both "prelude.maude", line 939 (fmod LIST) and "prelude.maude", line

939 (fmod LIST) with no common ancestor.

I expect I have to express somehow that nil from META-UTIL is the same as the nil from LIST-AND-SET{Qid}, but I wouldn't know how. Can anyone tell me? Thanks in advance.

[Maude-help] import with no common ancestor, Roald de Vries, 06/15/2007