scool r81: Rename tests.

15 Sep 2008

URL: https://svn.lrde.epita.fr/svn/scool/branches/scool-ng

ChangeLog:
2008-09-15  Maxime van Noppen  <yabo@lrde.epita.fr>

	Rename tests.
	* function/scool_ast/parameters_arguments_001.aterm: New.
	* function/scool_ast/parameters_arguments_002.aterm: New.
	* function/scool_ast/parameters_arguments_003.aterm: New.
	* function/scool_ast/parameters_arguments_005.aterm: New.
	* function/scool_ast/static_dynamic_parameters_001.aterm: Remove.
	* function/scool_ast/static_dynamic_parameters_002.aterm: Remove.
	* function/scool_ast/static_dynamic_parameters_003.aterm: Remove.
	* function/scool_ast/static_dynamic_parameters_005.aterm: Remove.
	* function/scool_src/parameters_arguments_001.scl: New.
	* function/scool_src/parameters_arguments_002.scl: New.
	* function/scool_src/parameters_arguments_003.scl: New.
	* function/scool_src/parameters_arguments_005.scl: New.
	* function/scool_src/static_dynamic_parameters_001.scl: Remove.
	* function/scool_src/static_dynamic_parameters_002.scl: Remove.
	* function/scool_src/static_dynamic_parameters_003.scl: Remove.
	* function/scool_src/static_dynamic_parameters_005.scl: Remove.

 scool_ast/parameters_arguments_001.aterm |    1 +
 scool_ast/parameters_arguments_002.aterm |    1 +
 scool_ast/parameters_arguments_003.aterm |    1 +
 scool_ast/parameters_arguments_005.aterm |    1 +
 scool_src/parameters_arguments_001.scl   |    1 +
 scool_src/parameters_arguments_002.scl   |    1 +
 scool_src/parameters_arguments_003.scl   |    1 +
 scool_src/parameters_arguments_005.scl   |    1 +
 8 files changed, 8 insertions(+)

Index: branches/scool-ng/tests/function/scool_ast/static_dynamic_parameters_001.aterm (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_ast/static_dynamic_parameters_002.aterm (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_ast/static_dynamic_parameters_003.aterm (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_ast/static_dynamic_parameters_005.aterm (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_ast/parameters_arguments_001.aterm
===================================================================

--- branches/scool-ng/tests/function/scool_ast/parameters_arguments_001.aterm	(revision 0)
+++ branches/scool-ng/tests/function/scool_ast/parameters_arguments_001.aterm	(revision 81)
@@ -0,0 +1 @@
+Program([FunctionDefinition(None,Identifier("f"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type")])),ArgumentsDeclaration([TypedId(Identifier("a"),SimpleType("T"))]),SimpleType("T")),FunctionBlock(Identifier("a")))])
Index: branches/scool-ng/tests/function/scool_ast/parameters_arguments_002.aterm
===================================================================
--- branches/scool-ng/tests/function/scool_ast/parameters_arguments_002.aterm	(revision 0)
+++ branches/scool-ng/tests/function/scool_ast/parameters_arguments_002.aterm	(revision 81)
@@ -0,0 +1 @@
+Program([FunctionDefinition(None,Identifier("f"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type")])),ArgumentsDeclaration([TypedId(Identifier("a"),SimpleType("T"))]),SimpleType("void")),FunctionBlock([ReturnStatement(Identifier("a"))]))])
Index: branches/scool-ng/tests/function/scool_ast/parameters_arguments_003.aterm
===================================================================
--- branches/scool-ng/tests/function/scool_ast/parameters_arguments_003.aterm	(revision 0)
+++ branches/scool-ng/tests/function/scool_ast/parameters_arguments_003.aterm	(revision 81)
@@ -0,0 +1 @@
+Program([FunctionDefinition(None,Identifier("f"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type")])),ArgumentsDeclaration([TypedId(Identifier("a"),SimpleType("T"))]),SimpleType("void")),FunctionBlock(Identifier("a")))])
Index: branches/scool-ng/tests/function/scool_ast/parameters_arguments_005.aterm
===================================================================
--- branches/scool-ng/tests/function/scool_ast/parameters_arguments_005.aterm	(revision 0)
+++ branches/scool-ng/tests/function/scool_ast/parameters_arguments_005.aterm	(revision 81)
@@ -0,0 +1 @@
+Program([FunctionDefinition(None,Identifier("f"),FunctionType(Some(ParametersDeclaration([TypedId(Identifier("T"),"type"),TypedId(Identifier("U"),"type")])),ArgumentsDeclaration([TypedId(Identifier("a"),SimpleType("T")),TypedId(Identifier("b"),SimpleType("U"))]),SimpleType("T")),FunctionBlock(Identifier("a")))])
Index: branches/scool-ng/tests/function/scool_src/static_dynamic_parameters_002.scl (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_src/static_dynamic_parameters_003.scl (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_src/static_dynamic_parameters_005.scl (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_src/static_dynamic_parameters_001.scl (deleted)
===================================================================
Index: branches/scool-ng/tests/function/scool_src/parameters_arguments_001.scl
===================================================================
--- branches/scool-ng/tests/function/scool_src/parameters_arguments_001.scl	(revision 0)
+++ branches/scool-ng/tests/function/scool_src/parameters_arguments_001.scl	(revision 81)
@@ -0,0 +1 @@
+f : [T : type] (a : T) -> T = a;
Index: branches/scool-ng/tests/function/scool_src/parameters_arguments_002.scl
===================================================================
--- branches/scool-ng/tests/function/scool_src/parameters_arguments_002.scl	(revision 0)
+++ branches/scool-ng/tests/function/scool_src/parameters_arguments_002.scl	(revision 81)
@@ -0,0 +1 @@
+f : [T : type] (a : T) -> void = { -> a; }
Index: branches/scool-ng/tests/function/scool_src/parameters_arguments_003.scl
===================================================================
--- branches/scool-ng/tests/function/scool_src/parameters_arguments_003.scl	(revision 0)
+++ branches/scool-ng/tests/function/scool_src/parameters_arguments_003.scl	(revision 81)
@@ -0,0 +1 @@
+f : [T : type] (a : T) -> void = a;
Index: branches/scool-ng/tests/function/scool_src/parameters_arguments_005.scl
===================================================================
--- branches/scool-ng/tests/function/scool_src/parameters_arguments_005.scl	(revision 0)
+++ branches/scool-ng/tests/function/scool_src/parameters_arguments_005.scl	(revision 81)
@@ -0,0 +1 @@
+f : [T : type, U : type] (a : T, b : U) -> T = a;
-- 
                     \__/                            \__/
                     (00)  Maxime `yabo` van Noppen  (00)
                   ___) \         Epita 2009         / (___
                  (_____/                            \_____)

    

Maxime van Noppen

tags

participants (1)