Maude-help mailing list

[Ethan Aubin <ethan.aubin AT pobox.com>]

Hi, I've gotten full maude to load on another box at school and am
having problems loading modules written in core syntax in full
mode. E.g. If I wrap ()s around a functional module I get a 'No parse
for input error'. Am I missing something from the manual? Thanks -- EA




[denali: ~/formal] > cat delme.core.maude
fmod ORDERED-NAT-LIST is
  protecting NAT .
  sort OrderedNatList .
  subsort Nat < OrderedNatList .

  op _,_ : OrderedNatList OrderedNatList -> [OrderedNatList] [ctor assoc] .
endfm[denali: ~/formal] > ../maude-sparc-solaris/maude.solaris 
                     \||||||||||||||||||/
                   --- Welcome to Maude ---
                     /||||||||||||||||||\
            Maude 2.0.1 built: Aug  1 2003 19:11:29
             Copyright 1997-2003 SRI International
                   Mon Dec  8 13:57:52 2003
Maude> load delme.core.maude


[denali: ~/formal] > cat delme.full.maude
(fmod ORDERED-NAT-LIST is
  protecting NAT .
  sort OrderedNatList .
  subsort Nat < OrderedNatList .

  op _,_ : OrderedNatList OrderedNatList -> [OrderedNatList] [ctor assoc] .
endfm)

[denali: ~/formal] > ../maude-sparc-solaris/maude.solaris 
                     \||||||||||||||||||/
                   --- Welcome to Maude ---
                     /||||||||||||||||||\
            Maude 2.0.1 built: Aug  1 2003 19:11:29
             Copyright 1997-2003 SRI International
                   Mon Dec  8 13:58:53 2003
Maude> load fm.maude

                Full Maude 2.0 (June 6th, 2003)

Maude> load delme.full.maude
rewrites: 14 in 80ms cpu (258ms real) (175 rewrites/second)
Error: No parse for input.


BTW, Just as first impression of Maude, many of the parse errors I've
found are very confusing and don't give much information in locating
where the syntax errors actually occur...