public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/13957] New: GCC 3.4 rejects some template heavy code that 3.3.1 accepts
@ 2004-02-01 10:36 v dot haisman at sh dot cvut dot cz
  2004-02-01 10:38 ` [Bug c++/13957] " v dot haisman at sh dot cvut dot cz
                   ` (11 more replies)
  0 siblings, 12 replies; 13+ messages in thread
From: v dot haisman at sh dot cvut dot cz @ 2004-02-01 10:36 UTC (permalink / raw)
  To: gcc-bugs

I get this error for attached source. The line that the error message mentions
seems to be correct to my best knowledge. GCC 3.3.1 accepts the code. This code
is one of exemples of functional programming library for C++.
http://www.cc.gatech.edu/~yannis/fc++/download.html

wilx@logout:::~/tmp/fc++/FC++-clients.1.5> g++ -save-temps -I ../FC++.1.5 -o
isort isort.cc
../FC++.1.5/list.h: In member function `fcpp::impl::OddList<T>
fcpp::impl::ConsHelp<T, F, fcpp::impl::List<T> >::operator()(const T&, const F&)
const [with T = int, F = fcpp::Full0<fcpp::impl::binder1and2of2<Insert, int,
fcpp::impl::List<int> > >]':
../FC++.1.5/list.h:592:   instantiated from `fcpp::impl::OddList<T>
fcpp::impl::XCons::operator()(const T&, const F&) const [with T = int, F =
fcpp::Full0<fcpp::impl::binder1and2of2<Insert, int, fcpp::impl::List<int> > >]'
../FC++.1.5/curry.h:188:   instantiated from `static R
fcpp::impl::Curryable2Helper<R, F, X, Y>::go(const F&, const X&, const Y&) [with
R = fcpp::impl::OddList<int>, F = fcpp::impl::XCons, X = int, Y =
fcpp::Full0<fcpp::impl::binder1and2of2<Insert, int, fcpp::impl::List<int> > >]'
../FC++.1.5/full.h:115:   instantiated from `typename fcpp::Full2<F>::Sig<X,
Y>::ResultType fcpp::Full2<F>::operator()(const X&, const Y&) const [with X =
int, Y = fcpp::Full0<fcpp::impl::binder1and2of2<Insert, int,
fcpp::impl::List<int> > >, F = fcpp::impl::XCons]'
isort.cc:15:   instantiated from here
../FC++.1.5/list.h:564: error: `fcpp::impl::Cache<T>::CvtFxn' names a type, but
a non-type is expected

-- 
           Summary: GCC 3.4 rejects some template heavy code that 3.3.1
                    accepts
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: v dot haisman at sh dot cvut dot cz
                CC: gcc-bugs at gcc dot gnu dot org,v dot haisman at sh dot
                    cvut dot cz
 GCC build triplet: i386-unknown-freebsd4.9
  GCC host triplet: i386-unknown-freebsd4.9
GCC target triplet: i386-unknown-freebsd4.9


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13957


^ permalink raw reply	[flat|nested] 13+ messages in thread
end of thread, other threads:[~2004-02-02 15:51 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-02-01 10:36 [Bug c++/13957] New: GCC 3.4 rejects some template heavy code that 3.3.1 accepts v dot haisman at sh dot cvut dot cz
2004-02-01 10:38 ` [Bug c++/13957] " v dot haisman at sh dot cvut dot cz
2004-02-01 10:48 ` v dot haisman at sh dot cvut dot cz
2004-02-01 11:31 ` giovannibajo at libero dot it
2004-02-01 18:13 ` giovannibajo at libero dot it
2004-02-01 18:13 ` giovannibajo at libero dot it
2004-02-01 18:13 ` giovannibajo at libero dot it
2004-02-02  0:02 ` giovannibajo at libero dot it
2004-02-02  1:09 ` cvs-commit at gcc dot gnu dot org
2004-02-02  1:11 ` cvs-commit at gcc dot gnu dot org
2004-02-02 15:43 ` [Bug c++/13957] Insufficient diagnostic for dependent expression parsed as non-type but instantiated as type cvs-commit at gcc dot gnu dot org
2004-02-02 15:47 ` cvs-commit at gcc dot gnu dot org
2004-02-02 15:51 ` giovannibajo at libero dot it

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).