maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] partial op declaration breaks module instantiation

From: Matthias Radestock <matthias AT sorted.org>
To: Francisco Duran <duran AT lcc.uma.es>
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] partial op declaration breaks module instantiation
Date: Thu, 01 Jun 2006 12:38:30 +0100
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Francisco Duran
<duran AT lcc.uma.es>
writes:

> http://www.lcc.uma.es/~duran/full-maude-22c.maude.gz

Francisco,

Thanks. I can confirm that the new version fixes the problem.

Btw, are you planning to make parameterised views part of Core Maude at
some stage?

Matthias.

Re: [Maude-help] partial op declaration breaks module instantiation, Francisco Duran, 06/01/2006
- Re: [Maude-help] partial op declaration breaks module instantiation, Matthias Radestock, 06/01/2006
  - Re: [Maude-help] partial op declaration breaks module instantiation, Francisco Duran, 06/01/2006