Dear Maude Abusers,

A new alpha release can be accessed at SRI-CSL in:

~eker/public_html/Maude/Alpha93c/

or downloaded from:

http://www.csl.sri.com/~eker/Maude/Alpha93c/

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This is yet another Maude 2.5 release candidate. It fixes a bug in
alpha93b where upView() uses the SortMapSet ctors for making
OpMapSets; illustrated by the following example:

fmod BUG is
  pr META-LEVEL .

  var Q : Qid .
  vars ME ME' : ModuleExpression .
  var SMS : SortMappingSet .
  var OMS : OpMappingSet .

  op getOMS : View -> OpMappingSet .
  eq getOMS(view Q from ME to ME' is SMS OMS endv) = OMS .
endfm

red getOMS(upView('TRIV)) .

Bug reported by Adrián Riesco <ariesco@fdi.ucm.es>

This version also adds projection functions for meta-views:

  op getName : View -> Qid .
  eq getName(view Q from ME to ME' is SMS OMS endv) = Q .

  op getFrom : View -> ModuleExpression .
  eq getFrom(view Q from ME to ME' is SMS OMS endv) = ME .

  op getTo : View -> ModuleExpression .
  eq getTo(view Q from ME to ME' is SMS OMS endv) = ME' .

  op getSortMappings : View -> SortMappingSet .
  eq getSortMappings(view Q from ME to ME' is SMS OMS endv) = SMS .

  op getOpMappings : View -> OpMappingSet .
  eq getOpMappings(view Q from ME to ME' is SMS OMS endv) = OMS .

Steven