maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] upModule problem

From: Francisco Durán <duran AT lcc.uma.es>
To: Narsis Amini <narsisa90 AT yahoo.com>
Cc: maude-help AT maude.cs.uiuc.edu
Subject: Re: [Maude-help] upModule problem
Date: Thu, 30 Jul 2009 11:00:46 -0500
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Could you please send us an example? It is probably just a syntactic error.

Best,

Francisco

El 30/07/2009, a las 10:51, Narsis Amini escribió:

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 mailing list
Maude-help AT maude.cs.uiuc.edu
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help

[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