Changeset 1932 for to-imperative/trunk/trefal

Timestamp:

Apr 20, 2006, 4:41:35 PM (15 years ago)

Author:

sveta

Message:

• Changing of t++-examples.

Location:

to-imperative/trunk/trefal/samples

Files:

• fib.tpp (modified) (4 diffs)
• read.tpp (modified) (1 diff)

to-imperative/trunk/trefal/samples/fib.tpp

@@ -1 +1 @@
 #include <rf_core.hh>
 #include <refal/Arithm.hh>
+#include <refal/StdIO.hh>
 #include <refal/Compare.hh>
-#include <refal/StdIO.hh>
 
 namespace refal
@@ -14 +14 @@
 tfun int Fib;
 
+tfun int Main;
+
 static tval Expr _c_0;
 
@@ -22 +24 @@
 static tval Expr _c_3;
 
-int Fib( tval Expr_v_arg1,tout Expr_v_res1){
+tfun int Fib( tval Expr_v_arg1,tout Expr_v_res1){
   {
     {
@@ -72 +74 @@
 }
 
-int Main( tout Expr_v_res1){
+tfun int Main( tout Expr_v_res1){
   tval Expr _v_Fib1;
   Fib( _c_3, _v_Fib1);

to-imperative/trunk/trefal/samples/read.tpp

@@ -10 +10 @@
 {
 
-int Main( tout Expr_v_res1){
+tfun int Main;
+
+tfun int Main( tout Expr_v_res1){
   tval Expr _v_Read1;
   if (!StdIO::Read(/*void*/, _v_Read1))