URL: https://svn.lrde.epita.fr/svn/scool/trunk ChangeLog: 2008-04-12 Maxime van Noppen <yabo@lrde.epita.fr> Fix bug in previous commit * src/scoolt/Concept.str: Use the actual identifier name rather than "c" * tests/transformer/concept_use_1.ref, * tests/transformer/concept_use_2.ref: Update output regarding to the bug. src/scoolt/Concept.str | 2 +- tests/transformer/concept_use_1.ref | 2 +- tests/transformer/concept_use_2.ref | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) Index: trunk/tests/transformer/concept_use_1.ref =================================================================== --- trunk/tests/transformer/concept_use_1.ref (revision 60) +++ trunk/tests/transformer/concept_use_1.ref (revision 61) @@ -9,7 +9,7 @@ box(); }; template < class T > -void foo(const box<T>& c) +void foo(const box<T>& pbox) { } template < typename E > Index: trunk/tests/transformer/concept_use_2.ref =================================================================== --- trunk/tests/transformer/concept_use_2.ref (revision 60) +++ trunk/tests/transformer/concept_use_2.ref (revision 61) @@ -9,7 +9,7 @@ box(); }; template < class T > -void foo(const box<T>& c) +void foo(const box<T>& pbox) { } template < typename E > Index: trunk/src/scoolt/Concept.str =================================================================== --- trunk/src/scoolt/Concept.str (revision 60) +++ trunk/src/scoolt/Concept.str (revision 61) @@ -68,7 +68,7 @@ // FIXME: check that what we declared in the where-clause is consistent with the argument (e.g. : [T : type where (E models my-concept)] is not consistent) WhereClauseToCxx: - (wclause, arg) -> (CxxConstType(CxxRefType(<ModelToCxx> (<GetWhereClause> wclause, arg))), "c") + (wclause, (arg_idf, arg_type)) -> (CxxConstType(CxxRefType(<ModelToCxx> (<GetWhereClause> wclause, (arg_type, arg_idf)))), arg_idf) ModelToCxx: -- \__/ \__/ (00) Maxime `yabo` van Noppen (00) ___) \ Epita 2009 / (___ (_____/ Président de Prologin \_____)