Maude-help mailing list

[José María Álvarez Palomo <alvarezp AT lcc.uma.es>]

Hi Feng,

as Steve suggests, the problem may be originated because you are using a 
"too god" version of g++, that asks you to provide it with a C++ code 
more compliant with the standard. I've ask to our department's C++ guru 
and he has told me that, as the error message suggests, the reserved 
word typename should be used, as the g++ compiler is not able to know 
that value_type refers to a type.

You could replace existing line 82 of src/Utilities/indexedSet.hh

   eltMap.insert(EltMap::value_type(element, indexMap.size()));

by

   eltMap.insert(typename EltMap::value_type(element, indexMap.size()));

I cannot make you sure if this will work properly, as I'm able to 
compile Maude 2.1.1 with g++ 3.3.3.

Regards

> Hi Feng,
>
> This looks like a very version specific thing - which version of gcc are you 
> using? which version of Maude are you trying to compile? The ever shifting 
> state of C++ implementation means that certain versions of Maude will only 
> compile with certain versions of gcc.
>
> Steven
>
> On Monday 20 June 2005 14:35, Feng Chen wrote:
> > / Hi,
> />/
> />/ I was trying to install Maude in Cygwin, following the
> />/ instruction on the "Maude on Windows" page. After installed
> />/ those third part packages, I tried to compile Maude, but got
> />/ the following error message:
> />/
> />/ ../../../src/Temporal/buchiAutomaton2.cc:101:   instantiated// from here
> />/ ../../../src/Utility/indexedSet.hh:82: error: dependent-name //` std::map<T,int,st/>/ 
> d::less<_Key>,std::allocator<std::pair<const T, int> >
> />/// >::value_type' is parsed ////as a non-type, but instantiation yields a 
> type
> />/ ../../../src/Utility/indexedSet.hh:82: note: say `typename 
> //std::map<T,int,std:://less<_Key>,std::allocator<std::pair<const T, int> >
> />/// >::value_type' if a type is//// meant
> />/
> />/ Could you please help me to check what the problem is?
> />/ Thanks!
> />/
> />/ Feng
> />/ _______________________________________________
> />/ Maude-help mailing list
> />/ Maude-help at maude.cs.uiuc.edu 
> <http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help>
> />/ http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help
> /

--
José María Álvarez Palomo
Dpt. Lenguajes y Ciencias de la Computación
E.T.S.I.Telecomunicación-Complejo Politécnico
Despacho 3.2.6
Campus de Teatinos. Universidad de Málaga
29071 Málaga-España
Tel.: 952 132750. Fax: 952 131397