maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] upModule problem

From: Narsis Amini <narsisa90 AT yahoo.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] upModule problem
Date: Thu, 30 Jul 2009 08:51:29 -0700 (PDT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=mKEeva+A5c4G2eLWmST+0S+SrFcJ270ObKJQ2Lee7d9+D+qXSxmjvJ5tem2Fd+hmP2qPYWUH8usdINULnUVKvpHbaKaBiwthgSEgfcmHbSMXvo5TLj1Jbc7iUffeFJbqfaS91o4a/90Q0RciBKZaCyMppDf2pVt1Xlv7YcxaVw0=;
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Dear all,
I want to use reflection capabilities.
I import Meta-level module, but something is wrong here and
when I use upModule, "bad token" message is raised.
I have no problem with operations like metaApply etc.
I use Maude in windows OS.
I would be pleased if you help me.
Thanks

[Maude-help] upModule problem, Narsis Amini, 07/30/2009
- Re: [Maude-help] upModule problem, Francisco Durán, 07/30/2009
  - Re: [Maude-help] upModule problem, Narsis Amini, 07/30/2009
    - Re: [Maude-help] upModule problem, Francisco Durán, 07/30/2009
      - Re: [Maude-help] upModule problem, Narsis Amini, 07/30/2009
        
        Re: [Maude-help] upModule problem, Francisco Durán, 07/30/2009
        
        Re: [Maude-help] upModule problem, Narsis Amini, 07/31/2009