From b44f183a75deea11fa379554b893b6656e1864b2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 14 Dec 2010 19:37:35 +0000
Subject: [PATCH] permit PARAMETERIZED operators to be zero-ary

---
 src/expr/mkmetakind | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind
index c68ba59cd..4ce0c6262 100755
--- a/src/expr/mkmetakind
+++ b/src/expr/mkmetakind
@@ -235,17 +235,9 @@ function register_metakind {
     exit 1
   fi
 
-  if [ $mk = OPERATOR -o $mk = PARAMETERIZED ]; then
-    if [ $mk = PARAMETERIZED -a "$k" = SORT_TYPE ]; then
-      # exception: zero-ary SORT_TYPE is permitted for sort constructors
-      :
-    elif [ $mk = PARAMETERIZED -a "$k" = APPLY ]; then
-      # exception: zero-ary APPLY is permitted for defined zero-ary functions
-      :
-    elif [ $lb = 0 ]; then
-      echo "$kf:$lineno: error in range \`$nc' for \`$k': $mk-kinded kinds must always take at least one child" >&2
-      exit 1
-    fi
+  if [ $mk = OPERATOR -a $lb = 0 ]; then
+    echo "$kf:$lineno: error in range \`$nc' for \`$k': $mk-kinded kinds must always take at least one child" >&2
+    exit 1
   fi
 
   metakind_lbchildren="${metakind_lbchildren}
-- 
2.30.2