maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- 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
- Re: [Maude-help] Problem with QID in META-MODULEs, Steven Eker, 12/03/2004
Archive powered by MHonArc 2.6.16.