[Olena-patches] scool r83: Add tests on templates

URL: https://svn.lrde.epita.fr/svn/scool/branches/scool-ng ChangeLog: 2008-09-16 Maxime van Noppen <yabo(a)lrde.epita.fr> Add tests on templates * function/c++_ast/declaration_005.aterm: New. * function/c++_ast/declaration_006.aterm: New. * function/c++_ast/declaration_007.aterm: New. * function/scool_ast/declaration_005.aterm: New. * function/scool_ast/declaration_006.aterm: New. * function/scool_ast/declaration_007.aterm: New. * function/scool_ast/declaration_008.aterm: New. * function/scool_src/declaration_005.scl: New. * function/scool_src/declaration_006.scl: New. * function/scool_src/declaration_007.scl: New. * function/scool_src/declaration_008.scl: New. c++_ast/declaration_005.aterm | 1 + c++_ast/declaration_006.aterm | 1 + c++_ast/declaration_007.aterm | 1 + scool_ast/declaration_005.aterm | 1 + scool_ast/declaration_006.aterm | 1 + scool_ast/declaration_007.aterm | 1 + scool_ast/declaration_008.aterm | 1 + scool_src/declaration_005.scl | 1 + scool_src/declaration_006.scl | 1 + scool_src/declaration_007.scl | 1 + scool_src/declaration_008.scl | 1 + 11 files changed, 11 insertions(+) Index: branches/scool-ng/tests/function/c++_ast/declaration_005.aterm =================================================================== --- branches/scool-ng/tests/function/c++_ast/declaration_005.aterm (revision 0) +++ branches/scool-ng/tests/function/c++_ast/declaration_005.aterm (revision 83) @@ -0,0 +1 @@ +CxxProgram([CxxFun([(CxxType("typename"),CxxId("T"))],CxxType("void"),CxxId("foo"),[])]) Index: branches/scool-ng/tests/function/c++_ast/declaration_006.aterm =================================================================== --- branches/scool-ng/tests/function/c++_ast/declaration_006.aterm (revision 0) +++ branches/scool-ng/tests/function/c++_ast/declaration_006.aterm (revision 83) @@ -0,0 +1 @@ +CxxProgram([CxxFun([(CxxType("typename"),CxxId("T"))],CxxType("void"),CxxId("foo"),[(CxxConstType(CxxRefType(CxxType("T"))),CxxId("a"))])]) Index: branches/scool-ng/tests/function/c++_ast/declaration_007.aterm =================================================================== --- branches/scool-ng/tests/function/c++_ast/declaration_007.aterm (revision 0) +++ branches/scool-ng/tests/function/c++_ast/declaration_007.aterm (revision 83) @@ -0,0 +1 @@ +CxxProgram([CxxFun([(CxxType("typename"),CxxId("T")),(CxxType("typename"),CxxId("S"))],CxxType("void"),CxxId("foo"),[(CxxConstType(CxxRefType(CxxType("T"))),CxxId("a")),(CxxConstType(CxxRefType(CxxType("S"))),CxxId("b"))])]) Index: branches/scool-ng/tests/function/scool_ast/declaration_005.aterm =================================================================== --- branches/scool-ng/tests/function/scool_ast/declaration_005.aterm (revision 0) +++ branches/scool-ng/tests/function/scool_ast/declaration_005.aterm (revision 83) @@ -0,0 +1 @@ +Program([FunctionDeclaration(None,Identifier("foo"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type")])),ArgumentsDeclaration([]),SimpleType("void")))]) Index: branches/scool-ng/tests/function/scool_ast/declaration_006.aterm =================================================================== --- branches/scool-ng/tests/function/scool_ast/declaration_006.aterm (revision 0) +++ branches/scool-ng/tests/function/scool_ast/declaration_006.aterm (revision 83) @@ -0,0 +1 @@ +Program([FunctionDeclaration(None,Identifier("foo"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type")])),ArgumentsDeclaration([TypedId(Identifier("a"),SimpleType("T"))]),SimpleType("void")))]) Index: branches/scool-ng/tests/function/scool_ast/declaration_007.aterm =================================================================== --- branches/scool-ng/tests/function/scool_ast/declaration_007.aterm (revision 0) +++ branches/scool-ng/tests/function/scool_ast/declaration_007.aterm (revision 83) @@ -0,0 +1 @@ +Program([FunctionDeclaration(None,Identifier("foo"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type"),TypedId(Identifier("S"),"type")])),ArgumentsDeclaration([TypedId(Identifier("a"),SimpleType("T")),TypedId(Identifier("b"),SimpleType("S"))]),SimpleType("void")))]) Index: branches/scool-ng/tests/function/scool_ast/declaration_008.aterm =================================================================== --- branches/scool-ng/tests/function/scool_ast/declaration_008.aterm (revision 0) +++ branches/scool-ng/tests/function/scool_ast/declaration_008.aterm (revision 83) @@ -0,0 +1 @@ +Program([FunctionDeclaration(None,Identifier("foo"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("B"),SimpleType("bool"))])),ArgumentsDeclaration([]),SimpleType("void")))]) Index: branches/scool-ng/tests/function/scool_src/declaration_005.scl =================================================================== --- branches/scool-ng/tests/function/scool_src/declaration_005.scl (revision 0) +++ branches/scool-ng/tests/function/scool_src/declaration_005.scl (revision 83) @@ -0,0 +1 @@ +foo : [T : type] () -> void; Index: branches/scool-ng/tests/function/scool_src/declaration_006.scl =================================================================== --- branches/scool-ng/tests/function/scool_src/declaration_006.scl (revision 0) +++ branches/scool-ng/tests/function/scool_src/declaration_006.scl (revision 83) @@ -0,0 +1 @@ +foo : [T : type] (a : T) -> void; Index: branches/scool-ng/tests/function/scool_src/declaration_007.scl =================================================================== --- branches/scool-ng/tests/function/scool_src/declaration_007.scl (revision 0) +++ branches/scool-ng/tests/function/scool_src/declaration_007.scl (revision 83) @@ -0,0 +1 @@ +foo : [T : type, S : type] (a : T, b : S) -> void; Index: branches/scool-ng/tests/function/scool_src/declaration_008.scl =================================================================== --- branches/scool-ng/tests/function/scool_src/declaration_008.scl (revision 0) +++ branches/scool-ng/tests/function/scool_src/declaration_008.scl (revision 83) @@ -0,0 +1 @@ +foo : [B : bool] () -> void; -- \__/ \__/ (00) Maxime `yabo` van Noppen (00) ___) \ Epita 2009 / (___ (_____/ \_____)