maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Problem with QID in META-MODULEs

From: Jay McCarthy <jay.mccarthy AT gmail.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] Problem with QID in META-MODULEs
Date: Fri, 3 Dec 2004 09:31:10 -0500
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding; b=Z+Rsz0zPRHMhuedWU2A14o7zprwSOz/AHan2/BI4UKypza+y/f2bTTVy2NOgMpfl0w9wwoidNX5cceOtr3O1r+KwCa5NZz4NNOXiIBm3XM6soFWi4S16pmohtodTaWXXp5MzdNJNhtBN7hqdoz8O/ETwKQ2vNvt1Kc6LHbPEbOY=
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Can someone explain why the following error is generated?

----

mod TEST is
including META-LEVEL .
including META-MODULE .
including QID .

op Test : Qid -> ResultPair .

vars Q : Qid .

eq Test( Q ) =
metaReduce(
(mod 'TEST is
including 'QID .
sorts 'Thing .
none
op Q : nil -> 'Thing [ctor] .
op 'convert : 'Thing -> 'Qid [none] .
none
eq 'convert[ qid(string(Q) + ".Thing") ]
= qid(string(Q) + ".Qid") [none] .
none
endm),
'convert[ qid(string(Q) + ".Thing") ]
)
.
endm

reduce Test( 'T ) .

-----

==========================================
reduce in TEST : Test('T) .
Advisory: could not find a constant T of sort Qid in meta-module TEST.
rewrites: 6 in 0ms cpu (6ms real) (~ rewrites/second)
result [ResultPair?]: metaReduce(mod 'TEST is
including 'QID .
sorts 'Thing .
none
op 'T : nil -> 'Thing [ctor] .
op 'convert : 'Thing -> 'Qid [none] .
none
eq 'convert['T.Thing] = 'T.Qid [none] .
none
endm, 'convert['T.Thing])
Maude>

[Maude-help] Problem with QID in META-MODULEs, Jay McCarthy, 12/03/2004
- Re: [Maude-help] Problem with QID in META-MODULEs, Steven Eker, 12/03/2004
  - Re: [Maude-help] Problem with QID in META-MODULEs, Jay McCarthy, 12/03/2004