changeset 14:66931f63db4d

modify
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Thu, 14 Jun 2012 23:45:05 +0900
parents a41427ab4d3b
children 68d2c32f74cf
files paper/Makefile paper/rectype.ind
diffstat 2 files changed, 24 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/paper/Makefile	Thu Jun 14 20:45:37 2012 +0900
+++ b/paper/Makefile	Thu Jun 14 23:45:05 2012 +0900
@@ -1,8 +1,8 @@
-DEPENDENCY = rectype.ind 
+DEPENDENCY = aplas2012.tex abstract 0	% sections
 
-DEPENDOHP = ohp.tex 
+DEPENDOHP = ohp.tex abstract 0	% sections
 
-PAPER = rectype.ind
+PAPER = aplas2012.tex
 
 
 PRINTER = ab
--- a/paper/rectype.ind	Thu Jun 14 20:45:37 2012 +0900
+++ b/paper/rectype.ind	Thu Jun 14 23:45:05 2012 +0900
@@ -179,7 +179,27 @@
 crucial in UML.
 
 
---recursive type syntax
+--Recursive type syntax
+
+CbC's program pass next pointer of code segment on argument.
+It is passed as follows.
+
+   __code csA( __code (*p)() ) {
+       goto p(csB);
+   }
+
+But, This declarationd is not right.
+Because p have arguments.
+p 
+
+
+
+    __code csA( __code (*p)( __code (*)( __code (*)( __code )))) {
+       goto p(csB);
+    }
+
+
+
 
 We implemented \rectype syntax in CbC on GCC.
 \rectype syntax is declare a recursive type.
@@ -203,13 +223,6 @@
        p(csB);
     }
 
-
-
-    __code csA( __code (*p)( __code (*)( __code (*)( __code )))) {
-       goto p(csB);
-    }
-
-
 --Implementation of \rectype in CbC on GCC