Maude-help mailing list

[Angelo Bean <angelo.bean AT sympatico.ca>]

Sir,

     I have a problem running Maude 2.0.1 under Linux and XEmacs: The 
coloured 
characters are not displayed correctly in the XEmacs shell. However, coloured 
characters are displayed correctly when opening  '.maude' files in other 
buffers. Moreover, in the GNOME terminal everything works fine.

     I am unable to find my mistake and your advice will be greatly 
appreciated.

My configuration:
     Mandrake Linux 9.0
     XEmacs 21.4 (patch 9)
     Maude mode for XEmacs

Using C-c C-m and C-c C-c , one gets:

                     \||||||||||||||||||/
                   --- Welcome to  [31mM [36ma [34mu [35md [32me [0m ---
                     /||||||||||||||||||\
            Maude 2.0.1 built: Aug  1 2003 17:25:59
             Copyright 1997-2003 SRI International
                   Sun Jan  4 20:10:53 2004
Maude> Maude> ==========================================
fmod NAT-BOOL
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 11 (fmod NAT-BOOL): module  
[35mPEANO-NAT [0m does
    not exist.
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 15 (fmod NAT-BOOL): undeclared 
sort  [35mNat [0m.
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 19 (fmod NAT-BOOL): didn't 
expect token
     [35m0 [0m:
eq 0 <---*HERE*
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 19 (fmod NAT-BOOL): no parse 
for
    statement
eq 0 <= N = true .
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 20 (fmod NAT-BOOL): bad token  
[35ms [0m.
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 20 (fmod NAT-BOOL): no parse 
for
    statement
eq s (M) <= 0 = false .
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 21 (fmod NAT-BOOL): bad token  
[35ms [0m.
 [31mWarning:  [0m"Chap2-Nat-Bool.maude", line 21 (fmod NAT-BOOL): no parse 
for
    statement
eq s (M) <= s (N) = M <= N .
Maude> 

Note: The 'copy and paste' from XEmacs is not quite accurate. The '[' 
character in this email is displayed as '^[[' in the XEmacs shell.

Where is my mistake?

Thank you very much for your help.

Best regards.
            Angelo E. Bean

------------------------------------------------------------------------------------------------