maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Using MachineInt in Full-Maude

From: Hojjat Hossein <hossein.hojjat AT epfl.ch>
To: "maude-help AT maude.cs.uiuc.edu" <maude-help AT maude.cs.uiuc.edu>
Cc: Jobstmann Barbara <barbara.jobstmann AT epfl.ch>
Subject: [Maude-help] Using MachineInt in Full-Maude
Date: Fri, 16 Jan 2009 18:32:35 +0100
Accept-language: en-US, fr-CH
Acceptlanguage: en-US, fr-CH
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hello,

I have problems using machineint with full-maude.
I am using Maude 2.4.
I can easily load the following module into core Maude and use it:

fmod machineint-CoreMaude is
protecting MACHINE-INT{32-BIT} .
vars A, B : MachineInt .

op plus : MachineInt MachineInt -> MachineInt .

eq plus(A , B) = A + B .

endfm

But as soon as I switch to full-maude there are errors when loading the
module:

(fmod machineint-FullMaude is
protecting MACHINE-INT{32-BIT} .
vars A, B : MachineInt .

op plus : MachineInt MachineInt -> MachineInt .

eq plus(A , B) = A + B .

endfm)

Maude> load Examples/machineint-FullMaude
Advisory: could not find sort NzMachineInt in meta-module
machineint-FullMaude.
Advisory: bad operator declaration op '$mask : nil -> 'NzMachineInt [memo
strat(0)] . in meta-module machineint-FullMaude.
...

I'd be glad if someone can point out what I am missing in this program.

The best,
Hossein Hojjat
PhD Student
EPFL

[Maude-help] Using MachineInt in Full-Maude, Hojjat Hossein, 01/16/2009
- Re: [Maude-help] Using MachineInt in Full-Maude, Richard Graham, 01/17/2009
  - RE: [Maude-help] Using MachineInt in Full-Maude, Hojjat Hossein, 01/19/2009