new domain-specific language for kinds files: permits characterization of different "kinds of kinds" (special, operator, parameterized, and constant), and permits doxygen comments on them

1 files changed, 23 insertions, 5 deletions

diff --git a/src/expr/mkkind b/src/expr/mkkind
index bc10f1e2c..cffdc0caa 100755
--- a/src/expr/mkkind
+++ b/src/expr/mkkind
@@ -34,6 +34,28 @@ middle=$1; shift
 epilogue=$1; shift
 
 cases=
+
+function special {
+  r=$1
+  comment=$2
+
+  echo "  $r, /*! $comment */"
+  cases="$cases  case $r: out << \"$r\"; break;
+"
+}
+
+function operator {
+  special "$1" "$2"
+}
+
+function parameterized {
+  special "$1" "$2"
+}
+
+function constant {
+  special "$1" "$3"
+}
+
 cat "$prologue"
 while [ $# -gt 0 ]; do
   b=$(basename $(dirname "$1"))
@@ -42,11 +64,7 @@ while [ $# -gt 0 ]; do
   cases="$cases
   /* from $b */
 "
-  for r in `cat "$1"`; do
-    echo "  $r,"
-    cases="$cases  case $r: out << \"$r\"; break;
-"
-  done
+  source "$1"
   shift
 done
 cat "$middle"