* _scm.h: Removed #include <errno.h>.
[bpt/guile.git] / libguile / unif.c
index 44cb0c2..f452360 100644 (file)
@@ -1,4 +1,4 @@
-/*     Copyright (C) 1995,1996,1997,1998, 2000 Free Software Foundation, Inc.
+/*     Copyright (C) 1995,1996,1997,1998, 2000, 2001 Free Software Foundation, Inc.
  * 
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -52,6 +52,9 @@
 \f
 
 #include <stdio.h>
+#include <errno.h>
+#include <string.h>
+
 #include "libguile/_scm.h"
 #include "libguile/chars.h"
 #include "libguile/eval.h"
@@ -86,7 +89,7 @@
  * long long           llvect
  */
 
-long scm_tc16_array;
+scm_bits_t scm_tc16_array;
 
 /* return the size of an element in a uniform array or 0 if type not
    found.  */
@@ -153,23 +156,37 @@ singp (SCM obj)
 
 SCM 
 scm_make_uve (long k, SCM prot)
+#define FUNC_NAME "scm_make_uve"
 {
   SCM v;
   long i, type;
+
   if (SCM_EQ_P (prot, SCM_BOOL_T))
     {
-      i = sizeof (long) * ((k + SCM_LONG_BIT - 1) / SCM_LONG_BIT);
-      type = scm_tc7_bvect;
+      SCM_NEWCELL (v);
+      if (k > 0)
+       {
+         SCM_ASSERT_RANGE (1, scm_long2num (k), k <= SCM_BITVECTOR_MAX_LENGTH);
+         i = sizeof (long) * ((k + SCM_LONG_BIT - 1) / SCM_LONG_BIT);
+         SCM_SET_BITVECTOR_BASE (v, (char *) scm_must_malloc (i, "vector"));
+         SCM_SET_BITVECTOR_LENGTH (v, k);
+       }
+      else
+       {
+         SCM_SET_BITVECTOR_BASE (v, 0);
+         SCM_SET_BITVECTOR_LENGTH (v, 0);
+       }
+      return v;
     }
   else if (SCM_CHARP (prot) && (SCM_CHAR (prot) == '\0'))
     {
       i = sizeof (char) * k;
       type = scm_tc7_byvect;
-    }    
+    }
   else if (SCM_CHARP (prot))
     {
       i = sizeof (char) * k;
-      type = scm_tc7_string;
+      return scm_makstr (i, 0);
     }
   else if (SCM_INUMP (prot))
     {
@@ -179,11 +196,11 @@ scm_make_uve (long k, SCM prot)
       else
        type = scm_tc7_ivect;
     }
-  else if (SCM_SYMBOLP (prot) && (1 == SCM_LENGTH (prot)))
+  else if (SCM_SYMBOLP (prot) && (1 == SCM_SYMBOL_LENGTH (prot)))
     {
       char s;
 
-      s = SCM_CHARS (prot)[0];
+      s = SCM_SYMBOL_CHARS (prot)[0];
       if (s == 's')
        {
          i = sizeof (short) * k;
@@ -198,14 +215,13 @@ scm_make_uve (long k, SCM prot)
 #endif
       else
        {
-         return scm_make_vector (SCM_MAKINUM (k), SCM_UNDEFINED);
+         return scm_c_make_vector (k, SCM_UNDEFINED);
        }
     }
-  else
-  if (SCM_IMP (prot) || !SCM_INEXACTP (prot))
+  else if (!SCM_INEXACTP (prot))
     /* Huge non-unif vectors are NOT supported. */
     /* no special scm_vector */
-    return scm_make_vector (SCM_MAKINUM (k), SCM_UNDEFINED);
+    return scm_c_make_vector (k, SCM_UNDEFINED);
   else if (singp (prot))
     {
       i = sizeof (float) * k;
@@ -222,13 +238,17 @@ scm_make_uve (long k, SCM prot)
       type = scm_tc7_dvect;
     }
 
+  SCM_ASSERT_RANGE (1, scm_long2num (k), k <= SCM_UVECTOR_MAX_LENGTH);
+
   SCM_NEWCELL (v);
   SCM_DEFER_INTS;
-  SCM_SETCHARS (v, (char *) scm_must_malloc (i ? i : 1, "vector"));
-  SCM_SETLENGTH (v, (k < SCM_LENGTH_MAX ? k : SCM_LENGTH_MAX), type);
+  SCM_SET_UVECTOR_BASE (v, (char *) scm_must_malloc (i ? i : 1, "vector"));
+  SCM_SET_UVECTOR_LENGTH (v, k, type);
   SCM_ALLOW_INTS;
   return v;
 }
+#undef FUNC_NAME
+
 
 SCM_DEFINE (scm_uniform_vector_length, "uniform-vector-length", 1, 0, 0, 
            (SCM v),
@@ -236,26 +256,28 @@ SCM_DEFINE (scm_uniform_vector_length, "uniform-vector-length", 1, 0, 0,
 #define FUNC_NAME s_scm_uniform_vector_length
 {
   SCM_ASRTGO (SCM_NIMP (v), badarg1);
-  switch SCM_TYP7
-    (v)
+  switch SCM_TYP7 (v)
     {
     default:
-    badarg1:SCM_WTA(1,v);
-    case scm_tc7_bvect:
+    badarg1:SCM_WRONG_TYPE_ARG (1, v);
+    case scm_tc7_vector:
+    case scm_tc7_wvect:
+      return SCM_MAKINUM (SCM_VECTOR_LENGTH (v));
     case scm_tc7_string:
+      return SCM_MAKINUM (SCM_STRING_LENGTH (v));
+    case scm_tc7_bvect:
+      return SCM_MAKINUM (SCM_BITVECTOR_LENGTH (v));
     case scm_tc7_byvect:
     case scm_tc7_uvect:
     case scm_tc7_ivect:
     case scm_tc7_fvect:
     case scm_tc7_dvect:
     case scm_tc7_cvect:
-    case scm_tc7_vector:
-    case scm_tc7_wvect:
     case scm_tc7_svect:
 #ifdef HAVE_LONG_LONGS
     case scm_tc7_llvect:
 #endif
-      return SCM_MAKINUM (SCM_LENGTH (v));
+      return SCM_MAKINUM (SCM_UVECTOR_LENGTH (v));
     }
 }
 #undef FUNC_NAME
@@ -305,13 +327,13 @@ SCM_DEFINE (scm_array_p, "array?", 1, 1, 0,
           
        case scm_tc7_svect:
          protp = SCM_SYMBOLP (prot)
-           && (1 == SCM_LENGTH (prot))
-           && ('s' == SCM_CHARS (prot)[0]);
+           && (1 == SCM_SYMBOL_LENGTH (prot))
+           && ('s' == SCM_SYMBOL_CHARS (prot)[0]);
 #ifdef HAVE_LONG_LONGS
        case scm_tc7_llvect:
          protp = SCM_SYMBOLP (prot)
-           && (1 == SCM_LENGTH (prot))
-           && ('s' == SCM_CHARS (prot)[0]);
+           && (1 == SCM_SYMBOL_LENGTH (prot))
+           && ('s' == SCM_SYMBOL_CHARS (prot)[0]);
 #endif
        case scm_tc7_fvect:
          protp = singp (prot);
@@ -399,7 +421,7 @@ SCM_DEFINE (scm_array_dimensions, "array-dimensions", 1, 0, 0,
 #ifdef HAVE_LONG_LONGS
     case scm_tc7_llvect:
 #endif
-      return scm_cons (SCM_MAKINUM (SCM_LENGTH (ra)), SCM_EOL);
+      return scm_cons (scm_uniform_vector_length (ra), SCM_EOL);
     case scm_tc7_smob:
       if (!SCM_ARRAYP (ra))
        return SCM_BOOL_F;
@@ -521,14 +543,12 @@ scm_shap2ra (SCM args, const char *what)
   ra = scm_make_ra (ndim);
   SCM_ARRAY_BASE (ra) = 0;
   s = SCM_ARRAY_DIMS (ra);
-  for (; SCM_NIMP (args); s++, args = SCM_CDR (args))
+  for (; !SCM_NULLP (args); s++, args = SCM_CDR (args))
     {
       spec = SCM_CAR (args);
-      if (SCM_IMP (spec))
-
+      if (SCM_INUMP (spec))
        {
-         SCM_ASSERT (SCM_INUMP (spec) && SCM_INUM (spec) >= 0, spec,
-                     s_bad_spec, what);
+         SCM_ASSERT (SCM_INUM (spec) >= 0, spec, s_bad_spec, what);
          s->lbnd = 0;
          s->ubnd = SCM_INUM (spec) - 1;
          s->inc = 1;
@@ -558,26 +578,20 @@ SCM_DEFINE (scm_dimensions_to_uniform_array, "dimensions->uniform-array", 2, 1,
            "@var{prototype} is used.")
 #define FUNC_NAME s_scm_dimensions_to_uniform_array
 {
-  scm_sizet k, vlen = 1;
-  long rlen = 1;
+  scm_sizet k;
+  unsigned long int rlen = 1;
   scm_array_dim *s;
   SCM ra;
   if (SCM_INUMP (dims))
     {
-      if (SCM_INUM (dims) < SCM_LENGTH_MAX)
-       {
-         SCM answer = scm_make_uve (SCM_INUM (dims), prot);
-
-         if (!SCM_UNBNDP (fill))
-           scm_array_fill_x (answer, fill);
-         else if (SCM_SYMBOLP (prot))
-           scm_array_fill_x (answer, SCM_MAKINUM (0));
-         else
-           scm_array_fill_x (answer, prot);
-         return answer;
-       }
-    else
-      dims = scm_cons (dims, SCM_EOL);
+      SCM answer = scm_make_uve (SCM_INUM (dims), prot);
+      if (!SCM_UNBNDP (fill))
+       scm_array_fill_x (answer, fill);
+      else if (SCM_SYMBOLP (prot))
+       scm_array_fill_x (answer, SCM_MAKINUM (0));
+      else
+       scm_array_fill_x (answer, prot);
+      return answer;
     }
   SCM_ASSERT (SCM_NULLP (dims) || SCM_CONSP (dims),
               dims, SCM_ARG1, FUNC_NAME);
@@ -587,49 +601,20 @@ SCM_DEFINE (scm_dimensions_to_uniform_array, "dimensions->uniform-array", 2, 1,
   k = SCM_ARRAY_NDIM (ra);
   while (k--)
     {
-      s[k].inc = (rlen > 0 ? rlen : 0);
+      s[k].inc = rlen;
+      SCM_ASSERT_RANGE (1, dims, s[k].lbnd <= s[k].ubnd);
       rlen = (s[k].ubnd - s[k].lbnd + 1) * s[k].inc;
-      vlen *= (s[k].ubnd - s[k].lbnd + 1);
-    }
-  if (rlen < SCM_LENGTH_MAX)
-    SCM_ARRAY_V (ra) = scm_make_uve ((rlen > 0 ? rlen : 0L), prot);
-  else
-    {
-      scm_sizet bit;
-      switch (SCM_TYP7 (scm_make_uve (0L, prot)))
-       {
-       default:
-         bit = SCM_LONG_BIT;
-         break;
-       case scm_tc7_bvect:
-         bit = 1;
-         break;
-       case scm_tc7_string:
-         bit = SCM_CHAR_BIT;
-         break;
-       case scm_tc7_fvect:
-         bit = sizeof (float) * SCM_CHAR_BIT / sizeof (char);
-         break;
-       case scm_tc7_dvect:
-         bit = sizeof (double) * SCM_CHAR_BIT / sizeof (char);
-         break;
-       case scm_tc7_cvect:
-         bit = 2 * sizeof (double) * SCM_CHAR_BIT / sizeof (char);
-         break;
-       }
-      SCM_ARRAY_BASE (ra) = (SCM_LONG_BIT + bit - 1) / bit;
-      rlen += SCM_ARRAY_BASE (ra);
-      SCM_ARRAY_V (ra) = scm_make_uve (rlen, prot);
-      *((long *) SCM_VELTS (SCM_ARRAY_V (ra))) = rlen;
     }
+
+  SCM_ARRAY_V (ra) = scm_make_uve (rlen, prot);
+
   if (!SCM_UNBNDP (fill))
-    {
-      scm_array_fill_x (ra, fill);
-    }
+    scm_array_fill_x (ra, fill);
   else if (SCM_SYMBOLP (prot))
     scm_array_fill_x (ra, SCM_MAKINUM (0));
   else
     scm_array_fill_x (ra, prot);
+
   if (1 == SCM_ARRAY_NDIM (ra) && 0 == SCM_ARRAY_BASE (ra))
     if (s->ubnd < s->lbnd || (0 == s->lbnd && 1 == s->inc))
       return SCM_ARRAY_V (ra);
@@ -706,7 +691,7 @@ SCM_DEFINE (scm_make_shared_array, "make-shared-array", 2, 0, 1,
     {
       SCM_ARRAY_V (ra) = oldra;
       old_min = 0;
-      old_max = (long) SCM_LENGTH (oldra) - 1;
+      old_max = SCM_INUM (scm_uniform_vector_length (oldra)) - 1;
     }
   inds = SCM_EOL;
   s = SCM_ARRAY_DIMS (ra);
@@ -773,9 +758,10 @@ SCM_DEFINE (scm_make_shared_array, "make-shared-array", 2, 0, 1,
          "mapping out of range", FUNC_NAME);
   if (1 == SCM_ARRAY_NDIM (ra) && 0 == SCM_ARRAY_BASE (ra))
     {
-      if (1 == s->inc && 0 == s->lbnd
-         && SCM_LENGTH (SCM_ARRAY_V (ra)) == 1 + s->ubnd)
-       return SCM_ARRAY_V (ra);
+      SCM v = SCM_ARRAY_V (ra);
+      unsigned long int length = SCM_INUM (scm_uniform_vector_length (v));
+      if (1 == s->inc && 0 == s->lbnd && length == 1 + s->ubnd)
+       return v;
       if (s->ubnd < s->lbnd)
        return scm_make_uve (0L, scm_array_prototype (ra));
     }
@@ -815,7 +801,7 @@ SCM_DEFINE (scm_transpose_array, "transpose-array", 1, 0, 1,
   switch (SCM_TYP7 (ra))
     {
     default:
-    badarg:SCM_WTA (1,ra);
+    badarg:SCM_WRONG_TYPE_ARG (1, ra);
     case scm_tc7_bvect:
     case scm_tc7_string:
     case scm_tc7_byvect:
@@ -838,7 +824,7 @@ SCM_DEFINE (scm_transpose_array, "transpose-array", 1, 0, 1,
     case scm_tc7_smob:
       SCM_ASRTGO (SCM_ARRAYP (ra), badarg);
       vargs = scm_vector (args);
-      SCM_ASSERT (SCM_LENGTH (vargs) == SCM_ARRAY_NDIM (ra),
+      SCM_ASSERT (SCM_VECTOR_LENGTH (vargs) == SCM_ARRAY_NDIM (ra),
                  scm_makfrom0str (FUNC_NAME), SCM_WNA, NULL);
                  ve = SCM_VELTS (vargs);
       ndim = 0;
@@ -925,11 +911,10 @@ SCM_DEFINE (scm_enclose_array, "enclose-array", 1, 0, 1,
   SCM_ASSERT (0 <= ninr, scm_makfrom0str (FUNC_NAME), SCM_WNA, NULL);
   ra_inr = scm_make_ra (ninr);
   SCM_ASRTGO (SCM_NIMP (ra), badarg1);
-  switch SCM_TYP7
-    (ra)
+  switch SCM_TYP7 (ra)
     {
     default:
-    badarg1:SCM_WTA (1,ra);
+    badarg1:SCM_WRONG_TYPE_ARG (1, ra);
     case scm_tc7_string:
     case scm_tc7_bvect:
     case scm_tc7_byvect:
@@ -945,7 +930,7 @@ SCM_DEFINE (scm_enclose_array, "enclose-array", 1, 0, 1,
     case scm_tc7_llvect:
 #endif
       s->lbnd = 0;
-      s->ubnd = SCM_LENGTH (ra) - 1;
+      s->ubnd = SCM_INUM (scm_uniform_vector_length (ra)) - 1;
       s->inc = 1;
       SCM_ARRAY_V (ra_inr) = ra;
       SCM_ARRAY_BASE (ra_inr) = 0;
@@ -972,11 +957,11 @@ SCM_DEFINE (scm_enclose_array, "enclose-array", 1, 0, 1,
       SCM_ARRAY_DIMS (ra_inr)[k].lbnd = s[j].lbnd;
       SCM_ARRAY_DIMS (ra_inr)[k].ubnd = s[j].ubnd;
       SCM_ARRAY_DIMS (ra_inr)[k].inc = s[j].inc;
-      SCM_CHARS (axv)[j] = 1;
+      SCM_STRING_CHARS (axv)[j] = 1;
     }
   for (j = 0, k = 0; k < noutr; k++, j++)
     {
-      while (SCM_CHARS (axv)[j])
+      while (SCM_STRING_CHARS (axv)[j])
        j++;
       SCM_ARRAY_DIMS (res)[k].lbnd = s[j].lbnd;
       SCM_ARRAY_DIMS (res)[k].ubnd = s[j].ubnd;
@@ -1011,11 +996,10 @@ SCM_DEFINE (scm_array_in_bounds_p, "array-in-bounds?", 1, 0, 1,
       pos = SCM_INUM (ind);
     }
 tail:
-  switch SCM_TYP7
-    (v)
+  switch SCM_TYP7 (v)
     {
     default:
-    badarg1:SCM_WTA (1,v);
+    badarg1:SCM_WRONG_TYPE_ARG (1, v);
     wna: scm_wrong_num_args (scm_makfrom0str (FUNC_NAME));
     case scm_tc7_smob:
       k = SCM_ARRAY_NDIM (v);
@@ -1060,8 +1044,11 @@ tail:
 #endif
     case scm_tc7_vector:
     case scm_tc7_wvect:
-      SCM_ASRTGO (SCM_NULLP (args) && SCM_INUMP (ind), wna);
-      return SCM_BOOL(pos >= 0 && pos < SCM_LENGTH (v));
+      {
+       unsigned long int length = SCM_INUM (scm_uniform_vector_length (v));
+       SCM_ASRTGO (SCM_NULLP (args) && SCM_INUMP (ind), wna);
+       return SCM_BOOL(pos >= 0 && pos < length);
+      }
     }
 }
 #undef FUNC_NAME
@@ -1090,8 +1077,8 @@ SCM_DEFINE (scm_uniform_vector_ref, "uniform-vector-ref", 2, 0, 0,
     }
   else
     {
+      unsigned long int length;
       if (SCM_NIMP (args))
-
        {
          SCM_ASSERT (SCM_CONSP (args) && SCM_INUMP (SCM_CAR (args)), args, SCM_ARG2, FUNC_NAME);
          pos = SCM_INUM (SCM_CAR (args));
@@ -1102,17 +1089,17 @@ SCM_DEFINE (scm_uniform_vector_ref, "uniform-vector-ref", 2, 0, 0,
           SCM_VALIDATE_INUM (2,args);
          pos = SCM_INUM (args);
        }
-      SCM_ASRTGO (pos >= 0 && pos < SCM_LENGTH (v), outrng);
+      length = SCM_INUM (scm_uniform_vector_length (v));
+      SCM_ASRTGO (pos >= 0 && pos < length, outrng);
     }
-  switch SCM_TYP7
-    (v)
+  switch SCM_TYP7 (v)
     {
     default:
       if (SCM_NULLP (args))
  return v;
     badarg:
-      SCM_WTA (1,v);
-      abort ();
+      SCM_WRONG_TYPE_ARG (1, v);
+      /* not reached */
 
     outrng:
       scm_out_of_range (FUNC_NAME, SCM_MAKINUM (pos));
@@ -1138,9 +1125,9 @@ SCM_DEFINE (scm_uniform_vector_ref, "uniform-vector-ref", 2, 0, 0,
       else
        return SCM_BOOL_F;
     case scm_tc7_string:
-      return SCM_MAKE_CHAR (SCM_UCHARS (v)[pos]);
+      return SCM_MAKE_CHAR (SCM_STRING_UCHARS (v)[pos]);
     case scm_tc7_byvect:
-      return SCM_MAKINUM (((char *)SCM_CHARS (v))[pos]);
+      return SCM_MAKINUM (((char *) SCM_UVECTOR_BASE (v))[pos]);
   case scm_tc7_uvect:
     return scm_ulong2num (((unsigned long *) SCM_VELTS (v))[pos]);
   case scm_tc7_ivect:
@@ -1172,20 +1159,21 @@ SCM_DEFINE (scm_uniform_vector_ref, "uniform-vector-ref", 2, 0, 0,
 
 SCM 
 scm_cvref (SCM v, scm_sizet pos, SCM last)
+#define FUNC_NAME "scm_cvref"
 {
   switch SCM_TYP7 (v)
     {
     default:
-      scm_wta (v, (char *) SCM_ARG1, "PROGRAMMING ERROR: scm_cvref");
+      SCM_WRONG_TYPE_ARG (SCM_ARG1, v);
     case scm_tc7_bvect:
       if (SCM_BITVEC_REF(v,pos))
        return SCM_BOOL_T;
       else
        return SCM_BOOL_F;
     case scm_tc7_string:
-      return SCM_MAKE_CHAR (SCM_UCHARS (v)[pos]);
+      return SCM_MAKE_CHAR (SCM_STRING_UCHARS (v)[pos]);
     case scm_tc7_byvect:
-      return SCM_MAKINUM (((char *)SCM_CHARS (v))[pos]);
+      return SCM_MAKINUM (((char *) SCM_UVECTOR_BASE (v))[pos]);
     case scm_tc7_uvect:
       return scm_ulong2num(((unsigned long *) SCM_VELTS (v))[pos]);
     case scm_tc7_ivect:
@@ -1238,6 +1226,8 @@ scm_cvref (SCM v, scm_sizet pos, SCM last)
       }
     }
 }
+#undef FUNC_NAME
+
 
 SCM_REGISTER_PROC(s_uniform_array_set1_x, "uniform-array-set1!", 3, 0, 0, scm_array_set_x);
 
@@ -1260,6 +1250,7 @@ SCM_DEFINE (scm_array_set_x, "array-set!", 2, 0, 1,
     }
   else
     {
+      unsigned long int length;
       if (SCM_NIMP (args))
        {
          SCM_ASSERT (SCM_CONSP(args) && SCM_INUMP (SCM_CAR (args)), args,
@@ -1271,13 +1262,14 @@ SCM_DEFINE (scm_array_set_x, "array-set!", 2, 0, 1,
        {
           SCM_VALIDATE_INUM_COPY (3,args,pos);
        }
-      SCM_ASRTGO (pos >= 0 && pos < SCM_LENGTH (v), outrng);
+      length = SCM_INUM (scm_uniform_vector_length (v));
+      SCM_ASRTGO (pos >= 0 && pos < length, outrng);
     }
   switch (SCM_TYP7 (v))
     {
     default: badarg1:
-      SCM_WTA (1,v);
-      abort ();
+      SCM_WRONG_TYPE_ARG (1, v);
+      /* not reached */
     outrng:
       scm_out_of_range (FUNC_NAME, SCM_MAKINUM (pos));
     wna:
@@ -1290,17 +1282,17 @@ SCM_DEFINE (scm_array_set_x, "array-set!", 2, 0, 1,
       else if (SCM_EQ_P (obj, SCM_BOOL_T))
        SCM_BITVEC_SET(v,pos);
       else
-      badobj:SCM_WTA (2,obj);
+       badobj:SCM_WRONG_TYPE_ARG (2, obj);
       break;
     case scm_tc7_string:
       SCM_ASRTGO (SCM_CHARP (obj), badobj);
-      SCM_UCHARS (v)[pos] = SCM_CHAR (obj);
+      SCM_STRING_UCHARS (v)[pos] = SCM_CHAR (obj);
       break;
     case scm_tc7_byvect:
       if (SCM_CHARP (obj))
        obj = SCM_MAKINUM ((char) SCM_CHAR (obj));
       SCM_ASRTGO (SCM_INUMP (obj), badobj);
-      ((char *)SCM_CHARS (v))[pos] = SCM_INUM (obj);
+      ((char *) SCM_UVECTOR_BASE (v))[pos] = SCM_INUM (obj);
       break;
     case scm_tc7_uvect:
       SCM_VELTS(v)[pos] = SCM_PACK (scm_num2ulong(obj, (char *)SCM_ARG2, FUNC_NAME));
@@ -1397,14 +1389,20 @@ SCM_DEFINE (scm_array_contents, "array-contents", 1, 1, 0,
              return SCM_BOOL_F;
            if (scm_tc7_bvect == SCM_TYP7 (SCM_ARRAY_V (ra)))
              {
-               if (len != SCM_LENGTH (SCM_ARRAY_V (ra)) ||
+               if (len != SCM_BITVECTOR_LENGTH (SCM_ARRAY_V (ra)) ||
                    SCM_ARRAY_BASE (ra) % SCM_LONG_BIT ||
                    len % SCM_LONG_BIT)
                  return SCM_BOOL_F;
              }
          }
-       if ((len == SCM_LENGTH (SCM_ARRAY_V (ra))) && 0 == SCM_ARRAY_BASE (ra) && SCM_ARRAY_DIMS (ra)->inc)
-         return SCM_ARRAY_V (ra);
+
+       {
+         SCM v = SCM_ARRAY_V (ra);
+         unsigned long int length = SCM_INUM (scm_uniform_vector_length (v));
+         if ((len == length) && 0 == SCM_ARRAY_BASE (ra) && SCM_ARRAY_DIMS (ra)->inc)
+           return v;
+       }
+
        sra = scm_make_ra (1);
        SCM_ARRAY_DIMS (sra)->lbnd = 0;
        SCM_ARRAY_DIMS (sra)->ubnd = len - 1;
@@ -1429,9 +1427,9 @@ scm_ra2contig (SCM ra, int copy)
   k = SCM_ARRAY_NDIM (ra);
   if (SCM_ARRAY_CONTP (ra) && ((0 == k) || (1 == SCM_ARRAY_DIMS (ra)[k - 1].inc)))
     {
-      if (scm_tc7_bvect != SCM_TYP7 (ra))
+      if (scm_tc7_bvect != SCM_TYP7 (SCM_ARRAY_V (ra)))
        return ra;
-      if ((len == SCM_LENGTH (SCM_ARRAY_V (ra)) &&
+      if ((len == SCM_BITVECTOR_LENGTH (SCM_ARRAY_V (ra)) &&
           0 == SCM_ARRAY_BASE (ra) % SCM_LONG_BIT &&
           0 == len % SCM_LONG_BIT))
        return ra;
@@ -1475,6 +1473,7 @@ SCM_DEFINE (scm_uniform_array_read_x, "uniform-array-read!", 1, 3, 0,
   long cstart = 0;
   long cend;
   long offset = 0;
+  char *base;
 
   SCM_ASRTGO (SCM_NIMP (v), badarg1);
   if (SCM_UNBNDP (port_or_fd))
@@ -1483,13 +1482,13 @@ SCM_DEFINE (scm_uniform_array_read_x, "uniform-array-read!", 1, 3, 0,
     SCM_ASSERT (SCM_INUMP (port_or_fd)
                || (SCM_OPINPORTP (port_or_fd)),
                port_or_fd, SCM_ARG2, FUNC_NAME);
-  vlen = SCM_LENGTH (v);
+  vlen = SCM_INUM (scm_uniform_vector_length (v));
 
 loop:
   switch SCM_TYP7 (v)
     {
     default:
-    badarg1:SCM_WTA (SCM_ARG1,v);
+    badarg1:SCM_WRONG_TYPE_ARG (SCM_ARG1, v);
     case scm_tc7_smob:
       SCM_ASRTGO (SCM_ARRAYP (v), badarg1);
       cra = scm_ra2contig (ra, 0);
@@ -1499,35 +1498,48 @@ loop:
       v = SCM_ARRAY_V (cra);
       goto loop;
     case scm_tc7_string:
-    case scm_tc7_byvect:
+      base = SCM_STRING_CHARS (v);
       sz = sizeof (char);
       break;
     case scm_tc7_bvect:
+      base = (char *) SCM_BITVECTOR_BASE (v);
       vlen = (vlen + SCM_LONG_BIT - 1) / SCM_LONG_BIT;
       cstart /= SCM_LONG_BIT;
+      sz = sizeof (long);
+      break;
+    case scm_tc7_byvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
+      sz = sizeof (char);
+      break;
     case scm_tc7_uvect:
     case scm_tc7_ivect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (long);
       break;
     case scm_tc7_svect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (short);
       break;
 #ifdef HAVE_LONG_LONGS
     case scm_tc7_llvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (long_long);
       break;
 #endif
     case scm_tc7_fvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (float);
       break;
     case scm_tc7_dvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (double);
       break;
     case scm_tc7_cvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = 2 * sizeof (double);
       break;
     }
-  
+
   cend = vlen;
   if (!SCM_UNBNDP (start))
     {
@@ -1552,7 +1564,7 @@ loop:
     {
       scm_port *pt = SCM_PTAB_ENTRY (port_or_fd);
       int remaining = (cend - offset) * sz;
-      char *dest = SCM_CHARS (v) + (cstart + offset) * sz;
+      char *dest = base + (cstart + offset) * sz;
 
       if (pt->rw_active == SCM_PORT_WRITE)
        scm_flush (port_or_fd);
@@ -1590,7 +1602,7 @@ loop:
   else /* file descriptor.  */
     {
       SCM_SYSCALL (ans = read (SCM_INUM (port_or_fd),
-                              SCM_CHARS (v) + (cstart + offset) * sz,
+                              base + (cstart + offset) * sz,
                               (scm_sizet) (sz * (cend - offset))));
       if (ans == -1)
        SCM_SYSERROR;
@@ -1623,6 +1635,7 @@ SCM_DEFINE (scm_uniform_array_write, "uniform-array-write", 1, 3, 0,
   long offset = 0;
   long cstart = 0;
   long cend;
+  char *base;
 
   port_or_fd = SCM_COERCE_OUTPORT (port_or_fd);
 
@@ -1633,13 +1646,13 @@ SCM_DEFINE (scm_uniform_array_write, "uniform-array-write", 1, 3, 0,
     SCM_ASSERT (SCM_INUMP (port_or_fd)
                || (SCM_OPOUTPORTP (port_or_fd)),
                port_or_fd, SCM_ARG2, FUNC_NAME);
-  vlen = SCM_LENGTH (v);
+  vlen = SCM_INUM (scm_uniform_vector_length (v));
 
 loop:
   switch SCM_TYP7 (v)
     {
     default:
-    badarg1:SCM_WTA (1, v);
+    badarg1:SCM_WRONG_TYPE_ARG (1, v);
     case scm_tc7_smob:
       SCM_ASRTGO (SCM_ARRAYP (v), badarg1);
       v = scm_ra2contig (v, 1);
@@ -1649,31 +1662,44 @@ loop:
       v = SCM_ARRAY_V (v);
       goto loop;
     case scm_tc7_string:
-    case scm_tc7_byvect:
+      base = SCM_STRING_CHARS (v);
       sz = sizeof (char);
       break;
     case scm_tc7_bvect:
+      base = (char *) SCM_BITVECTOR_BASE (v);
       vlen = (vlen + SCM_LONG_BIT - 1) / SCM_LONG_BIT;
       cstart /= SCM_LONG_BIT;
+      sz = sizeof (long);
+      break;
+    case scm_tc7_byvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
+      sz = sizeof (char);
+      break;
     case scm_tc7_uvect:
     case scm_tc7_ivect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (long);
       break;
     case scm_tc7_svect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (short);
       break;
 #ifdef HAVE_LONG_LONGS
     case scm_tc7_llvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (long_long);
       break;
 #endif
     case scm_tc7_fvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (float);
       break;
     case scm_tc7_dvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = sizeof (double);
       break;
     case scm_tc7_cvect:
+      base = (char *) SCM_UVECTOR_BASE (v);
       sz = 2 * sizeof (double);
       break;
     }
@@ -1700,7 +1726,7 @@ loop:
 
   if (SCM_NIMP (port_or_fd))
     {
-      char *source = SCM_CHARS (v) + (cstart + offset) * sz;
+      char *source = base + (cstart + offset) * sz;
 
       ans = cend - offset;
       scm_lfwrite (source, ans * sz, port_or_fd);
@@ -1708,7 +1734,7 @@ loop:
   else /* file descriptor.  */
     {
       SCM_SYSCALL (ans = write (SCM_INUM (port_or_fd),
-                               SCM_CHARS (v) + (cstart + offset) * sz,
+                               base + (cstart + offset) * sz,
                                (scm_sizet) (sz * (cend - offset))));
       if (ans == -1)
        SCM_SYSERROR;
@@ -1725,23 +1751,23 @@ static char cnt_tab[16] =
 {0, 1, 1, 2, 1, 2, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4};
 
 SCM_DEFINE (scm_bit_count, "bit-count", 2, 0, 0,
-           (SCM b, SCM bitvector),
-           "Returns the number of occurrences of the boolean B in BITVECTOR.")
+           (SCM b, SCM bitvector),
+           "Returns the number of occurrences of the boolean @var{b} in\n"
+           "@var{bitvector}.")
 #define FUNC_NAME s_scm_bit_count
 {
   SCM_VALIDATE_BOOL (1, b);
-  SCM_ASSERT (!SCM_IMP (bitvector) && SCM_TYP7 (bitvector) == scm_tc7_bvect,
-             bitvector, 2, FUNC_NAME);
-  if (SCM_LENGTH (bitvector) == 0) {
+  SCM_ASSERT (SCM_BITVECTOR_P (bitvector), bitvector, 2, FUNC_NAME);
+  if (SCM_BITVECTOR_LENGTH (bitvector) == 0) {
     return SCM_INUM0;
   } else {
     unsigned long int count = 0;
-    unsigned long int i = (SCM_LENGTH (bitvector) - 1) / SCM_LONG_BIT;
+    unsigned long int i = (SCM_BITVECTOR_LENGTH (bitvector) - 1) / SCM_LONG_BIT;
     unsigned long int w = SCM_UNPACK (SCM_VELTS (bitvector)[i]);
     if (SCM_FALSEP (b)) {
       w = ~w;
     };
-    w <<= SCM_LONG_BIT - 1 - ((SCM_LENGTH (bitvector) - 1) % SCM_LONG_BIT);
+    w <<= SCM_LONG_BIT - 1 - ((SCM_BITVECTOR_LENGTH (bitvector) - 1) % SCM_LONG_BIT);
     while (1) {
       while (w) {
        count += cnt_tab[w & 0x0f];
@@ -1771,116 +1797,107 @@ SCM_DEFINE (scm_bit_position, "bit-position", 3, 0, 0,
 {
   long i, lenw, xbits, pos;
   register unsigned long w;
-  SCM_VALIDATE_NIM (2,v);
+
+  SCM_VALIDATE_BOOL (1, item);
+  SCM_ASSERT (SCM_BITVECTOR_P (v), v, SCM_ARG2, FUNC_NAME);
   SCM_VALIDATE_INUM_COPY (3,k,pos);
-  SCM_ASSERT_RANGE (3, k, (pos <= SCM_LENGTH (v)) && (pos >= 0));
-  if (pos == SCM_LENGTH (v))
+  SCM_ASSERT_RANGE (3, k, (pos <= SCM_BITVECTOR_LENGTH (v)) && (pos >= 0));
+
+  if (pos == SCM_BITVECTOR_LENGTH (v))
     return SCM_BOOL_F;
-  switch SCM_TYP7 (v)
-    {
-    default:
-      SCM_WTA (2,v);
-    case scm_tc7_bvect:
-      if (0 == SCM_LENGTH (v))
-       return SCM_MAKINUM (-1L);
-      lenw = (SCM_LENGTH (v) - 1) / SCM_LONG_BIT;      /* watch for part words */
-      i = pos / SCM_LONG_BIT;
+
+  lenw = (SCM_BITVECTOR_LENGTH (v) - 1) / SCM_LONG_BIT;   /* watch for part words */
+  i = pos / SCM_LONG_BIT;
+  w = SCM_UNPACK (SCM_VELTS (v)[i]);
+  if (SCM_FALSEP (item))
+    w = ~w;
+  xbits = (pos % SCM_LONG_BIT);
+  pos -= xbits;
+  w = ((w >> xbits) << xbits);
+  xbits = SCM_LONG_BIT - 1 - (SCM_BITVECTOR_LENGTH (v) - 1) % SCM_LONG_BIT;
+  while (!0)
+    {
+      if (w && (i == lenw))
+       w = ((w << xbits) >> xbits);
+      if (w)
+       while (w)
+         switch (w & 0x0f)
+           {
+           default:
+             return SCM_MAKINUM (pos);
+           case 2:
+           case 6:
+           case 10:
+           case 14:
+             return SCM_MAKINUM (pos + 1);
+           case 4:
+           case 12:
+             return SCM_MAKINUM (pos + 2);
+           case 8:
+             return SCM_MAKINUM (pos + 3);
+           case 0:
+             pos += 4;
+             w >>= 4;
+           }
+      if (++i > lenw)
+       break;
+      pos += SCM_LONG_BIT;
       w = SCM_UNPACK (SCM_VELTS (v)[i]);
       if (SCM_FALSEP (item))
        w = ~w;
-      xbits = (pos % SCM_LONG_BIT);
-      pos -= xbits;
-      w = ((w >> xbits) << xbits);
-      xbits = SCM_LONG_BIT - 1 - (SCM_LENGTH (v) - 1) % SCM_LONG_BIT;
-      while (!0)
-       {
-         if (w && (i == lenw))
-           w = ((w << xbits) >> xbits);
-         if (w)
-           while (w)
-             switch (w & 0x0f)
-               {
-               default:
-                 return SCM_MAKINUM (pos);
-               case 2:
-               case 6:
-               case 10:
-               case 14:
-                 return SCM_MAKINUM (pos + 1);
-               case 4:
-               case 12:
-                 return SCM_MAKINUM (pos + 2);
-               case 8:
-                 return SCM_MAKINUM (pos + 3);
-               case 0:
-                 pos += 4;
-                 w >>= 4;
-               }
-         if (++i > lenw)
-           break;
-         pos += SCM_LONG_BIT;
-         w = SCM_UNPACK (SCM_VELTS (v)[i]);
-         if (SCM_FALSEP (item))
-           w = ~w;
-       }
-      return SCM_BOOL_F;
     }
+  return SCM_BOOL_F;
 }
 #undef FUNC_NAME
 
 
 SCM_DEFINE (scm_bit_set_star_x, "bit-set*!", 3, 0, 0,
-           (SCM v, SCM kv, SCM obj),
-           "If uve is a bit-vector @var{bv} and uve must be of the same length.  If\n"
-           "@var{bool} is @code{#t}, uve is OR'ed into @var{bv}; If @var{bool} is @code{#f}, the\n"
-           "inversion of uve is AND'ed into @var{bv}.\n\n"
-           "If uve is a unsigned integer vector all the elements of uve must be\n"
-           "between 0 and the @code{LENGTH} of @var{bv}.  The bits of @var{bv}\n"
-           "corresponding to the indexes in uve are set to @var{bool}.\n\n"
-           "The return value is unspecified.")
+           (SCM v, SCM kv, SCM obj),
+           "If uve is a bit-vector @var{bv} and uve must be of the same\n"
+           "length.  If @var{bool} is @code{#t}, uve is OR'ed into\n"
+           "@var{bv}; If @var{bool} is @code{#f}, the inversion of uve is\n"
+           "AND'ed into @var{bv}.\n\n"
+           "If uve is a unsigned integer vector all the elements of uve\n"
+           "must be between 0 and the @code{length} of @var{bv}.  The bits\n"
+           "of @var{bv} corresponding to the indexes in uve are set to\n"
+           "@var{bool}.  The return value is unspecified.")
 #define FUNC_NAME s_scm_bit_set_star_x
 {
   register long i, k, vlen;
-  SCM_ASRTGO (SCM_NIMP (v), badarg1);
+  SCM_ASSERT (SCM_BITVECTOR_P (v), v, SCM_ARG1, FUNC_NAME);
   SCM_ASRTGO (SCM_NIMP (kv), badarg2);
   switch SCM_TYP7 (kv)
     {
     default:
-    badarg2:SCM_WTA (2,kv);
+    badarg2:SCM_WRONG_TYPE_ARG (2, kv);
     case scm_tc7_uvect:
-      switch SCM_TYP7 (v)
-       {
-       default:
-       badarg1:  SCM_WTA (1,v);
-       case scm_tc7_bvect:
-         vlen = SCM_LENGTH (v);
-         if (SCM_FALSEP (obj))
-           for (i = SCM_LENGTH (kv); i;)
-             {
-               k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
-               if (k >= vlen)
-                 scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
-               SCM_BITVEC_CLR(v,k);
-             }
-         else if (SCM_EQ_P (obj, SCM_BOOL_T))
-           for (i = SCM_LENGTH (kv); i;)
-             {
-               k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
-               if (k >= vlen)
-                 scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
-               SCM_BITVEC_SET(v,k);
-             }
-         else
-         badarg3:SCM_WTA (3,obj);
-       }
+      vlen = SCM_BITVECTOR_LENGTH (v);
+      if (SCM_FALSEP (obj))
+       for (i = SCM_UVECTOR_LENGTH (kv); i;)
+         {
+           k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
+           if (k >= vlen)
+             scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
+           SCM_BITVEC_CLR(v,k);
+         }
+      else if (SCM_EQ_P (obj, SCM_BOOL_T))
+       for (i = SCM_UVECTOR_LENGTH (kv); i;)
+         {
+           k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
+           if (k >= vlen)
+             scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
+           SCM_BITVEC_SET(v,k);
+         }
+      else
+       badarg3:SCM_WRONG_TYPE_ARG (3, obj);
       break;
     case scm_tc7_bvect:
-      SCM_ASRTGO (SCM_TYP7 (v) == scm_tc7_bvect && SCM_LENGTH (v) == SCM_LENGTH (kv), badarg1);
+      SCM_ASSERT (SCM_BITVECTOR_LENGTH (v) == SCM_BITVECTOR_LENGTH (kv), v, SCM_ARG1, FUNC_NAME);
       if (SCM_FALSEP (obj))
-       for (k = (SCM_LENGTH (v) + SCM_LONG_BIT - 1) / SCM_LONG_BIT; k--;)
+       for (k = (SCM_BITVECTOR_LENGTH (v) + SCM_LONG_BIT - 1) / SCM_LONG_BIT; k--;)
          SCM_UNPACK (SCM_VELTS (v)[k]) &= ~ SCM_UNPACK(SCM_VELTS (kv)[k]);
       else if (SCM_EQ_P (obj, SCM_BOOL_T))
-       for (k = (SCM_LENGTH (v) + SCM_LONG_BIT - 1) / SCM_LONG_BIT; k--;)
+       for (k = (SCM_BITVECTOR_LENGTH (v) + SCM_LONG_BIT - 1) / SCM_LONG_BIT; k--;)
          SCM_UNPACK (SCM_VELTS (v)[k]) |= SCM_UNPACK (SCM_VELTS (kv)[k]);
       else
        goto badarg3;
@@ -1904,53 +1921,45 @@ SCM_DEFINE (scm_bit_count_star, "bit-count*", 3, 0, 0,
   register unsigned long k;
   int fObj = 0;
   
-  SCM_ASRTGO (SCM_NIMP (v), badarg1);
+  SCM_ASSERT (SCM_BITVECTOR_P (v), v, SCM_ARG1, FUNC_NAME);
   SCM_ASRTGO (SCM_NIMP (kv), badarg2);
   switch SCM_TYP7 (kv)
     {
     default:
     badarg2:
-        SCM_WTA (2,kv);
+        SCM_WRONG_TYPE_ARG (2, kv);
     case scm_tc7_uvect:
-      switch SCM_TYP7
-       (v)
-       {
-       default:
-       badarg1:
-         SCM_WTA (1,v);
-       case scm_tc7_bvect:
-         vlen = SCM_LENGTH (v);
-         if (SCM_FALSEP (obj))
-           for (i = SCM_LENGTH (kv); i;)
-             {
-               k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
-               if (k >= vlen)
-                 scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
-               if (!SCM_BITVEC_REF(v,k))
-                 count++;
-             }
-         else if (SCM_EQ_P (obj, SCM_BOOL_T))
-           for (i = SCM_LENGTH (kv); i;)
-             {
-               k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
-               if (k >= vlen)
-                 scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
-               if (SCM_BITVEC_REF (v,k))
-                 count++;
-             }
-         else
-         badarg3:SCM_WTA (3,obj);
-       }
+      vlen = SCM_BITVECTOR_LENGTH (v);
+      if (SCM_FALSEP (obj))
+       for (i = SCM_UVECTOR_LENGTH (kv); i;)
+         {
+           k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
+           if (k >= vlen)
+             scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
+           if (!SCM_BITVEC_REF(v,k))
+             count++;
+         }
+      else if (SCM_EQ_P (obj, SCM_BOOL_T))
+       for (i = SCM_UVECTOR_LENGTH (kv); i;)
+         {
+           k = SCM_UNPACK (SCM_VELTS (kv)[--i]);
+           if (k >= vlen)
+             scm_out_of_range (FUNC_NAME, SCM_MAKINUM (k));
+           if (SCM_BITVEC_REF (v,k))
+             count++;
+         }
+      else
+       badarg3:SCM_WRONG_TYPE_ARG (3, obj);
       break;
     case scm_tc7_bvect:
-      SCM_ASRTGO (SCM_TYP7 (v) == scm_tc7_bvect && SCM_LENGTH (v) == SCM_LENGTH (kv), badarg1);
-      if (0 == SCM_LENGTH (v))
+      SCM_ASSERT (SCM_BITVECTOR_LENGTH (v) == SCM_BITVECTOR_LENGTH (kv), v, SCM_ARG1, FUNC_NAME);
+      if (0 == SCM_BITVECTOR_LENGTH (v))
        return SCM_INUM0;
       SCM_ASRTGO (SCM_BOOLP (obj), badarg3);
       fObj = SCM_EQ_P (obj, SCM_BOOL_T);
-      i = (SCM_LENGTH (v) - 1) / SCM_LONG_BIT;
+      i = (SCM_BITVECTOR_LENGTH (v) - 1) / SCM_LONG_BIT;
       k = SCM_UNPACK (SCM_VELTS (kv)[i]) & (fObj ? SCM_UNPACK (SCM_VELTS (v)[i]) : ~ SCM_UNPACK (SCM_VELTS (v)[i]));
-      k <<= SCM_LONG_BIT - 1 - ((SCM_LENGTH (v) - 1) % SCM_LONG_BIT);
+      k <<= SCM_LONG_BIT - 1 - ((SCM_BITVECTOR_LENGTH (v) - 1) % SCM_LONG_BIT);
       while (1)
        {
          for (; k; k >>= 4)
@@ -1972,19 +1981,14 @@ SCM_DEFINE (scm_bit_invert_x, "bit-invert!", 1, 0, 0,
            "Modifies @var{bv} by replacing each element with its negation.")
 #define FUNC_NAME s_scm_bit_invert_x
 {
-  register long k;
-  SCM_ASRTGO (SCM_NIMP (v), badarg1);
-  k = SCM_LENGTH (v);
-  switch SCM_TYP7
-    (v)
-    {
-    case scm_tc7_bvect:
-      for (k = (k + SCM_LONG_BIT - 1) / SCM_LONG_BIT; k--;)
-       SCM_UNPACK (SCM_VELTS (v)[k]) = ~SCM_UNPACK(SCM_VELTS (v)[k]);
-      break;
-    default:
-    badarg1:SCM_WTA (1,v);
-    }
+  long int k;
+
+  SCM_ASSERT (SCM_BITVECTOR_P (v), v, SCM_ARG1, FUNC_NAME);
+
+  k = SCM_BITVECTOR_LENGTH (v);
+  for (k = (k + SCM_LONG_BIT - 1) / SCM_LONG_BIT; k--;)
+    SCM_UNPACK (SCM_VELTS (v)[k]) = ~SCM_UNPACK (SCM_VELTS (v)[k]);
+
   return SCM_UNSPECIFIED;
 }
 #undef FUNC_NAME
@@ -2058,11 +2062,10 @@ SCM_DEFINE (scm_array_to_list, "array->list", 1, 0, 0,
   SCM res = SCM_EOL;
   register long k;
   SCM_ASRTGO (SCM_NIMP (v), badarg1);
-  switch SCM_TYP7
-    (v)
+  switch SCM_TYP7 (v)
     {
     default:
-    badarg1:SCM_WTA (1,v);
+    badarg1:SCM_WRONG_TYPE_ARG (1, v);
     case scm_tc7_smob:
       SCM_ASRTGO (SCM_ARRAYP (v), badarg1);
       return ra2l (v, SCM_ARRAY_BASE (v), 0);
@@ -2075,29 +2078,29 @@ SCM_DEFINE (scm_array_to_list, "array->list", 1, 0, 0,
       {
        long *data = (long *) SCM_VELTS (v);
        register unsigned long mask;
-       for (k = (SCM_LENGTH (v) - 1) / SCM_LONG_BIT; k > 0; k--)
+       for (k = (SCM_BITVECTOR_LENGTH (v) - 1) / SCM_LONG_BIT; k > 0; k--)
          for (mask = 1UL << (SCM_LONG_BIT - 1); mask; mask >>= 1)
            res = scm_cons (SCM_BOOL(((long *) data)[k] & mask), res);
-       for (mask = 1L << ((SCM_LENGTH (v) % SCM_LONG_BIT) - 1); mask; mask >>= 1)
+       for (mask = 1L << ((SCM_BITVECTOR_LENGTH (v) % SCM_LONG_BIT) - 1); mask; mask >>= 1)
          res = scm_cons (SCM_BOOL(((long *) data)[k] & mask), res);
        return res;
       }
   case scm_tc7_uvect: {
     long *data = (long *)SCM_VELTS(v);
-    for (k = SCM_LENGTH(v) - 1; k >= 0; k--)
+    for (k = SCM_UVECTOR_LENGTH(v) - 1; k >= 0; k--)
       res = scm_cons(scm_ulong2num(data[k]), res);
     return res;
   }
   case scm_tc7_ivect: {
     long *data = (long *)SCM_VELTS(v);
-    for (k = SCM_LENGTH(v) - 1; k >= 0; k--)
+    for (k = SCM_UVECTOR_LENGTH(v) - 1; k >= 0; k--)
       res = scm_cons(scm_long2num(data[k]), res);
     return res;
   }
     case scm_tc7_svect: {
       short *data;
       data = (short *)SCM_VELTS(v);
-      for (k = SCM_LENGTH(v) - 1; k >= 0; k--)
+      for (k = SCM_UVECTOR_LENGTH(v) - 1; k >= 0; k--)
        res = scm_cons(SCM_MAKINUM (data[k]), res);
       return res;
     }
@@ -2105,7 +2108,7 @@ SCM_DEFINE (scm_array_to_list, "array->list", 1, 0, 0,
     case scm_tc7_llvect: {
       long_long *data;
       data = (long_long *)SCM_VELTS(v);
-      for (k = SCM_LENGTH(v) - 1; k >= 0; k--)
+      for (k = SCM_UVECTOR_LENGTH(v) - 1; k >= 0; k--)
        res = scm_cons(scm_long_long2num(data[k]), res);
       return res;
     }
@@ -2115,21 +2118,21 @@ SCM_DEFINE (scm_array_to_list, "array->list", 1, 0, 0,
     case scm_tc7_fvect:
       {
        float *data = (float *) SCM_VELTS (v);
-       for (k = SCM_LENGTH (v) - 1; k >= 0; k--)
+       for (k = SCM_UVECTOR_LENGTH (v) - 1; k >= 0; k--)
          res = scm_cons (scm_make_real (data[k]), res);
        return res;
       }
     case scm_tc7_dvect:
       {
        double *data = (double *) SCM_VELTS (v);
-       for (k = SCM_LENGTH (v) - 1; k >= 0; k--)
+       for (k = SCM_UVECTOR_LENGTH (v) - 1; k >= 0; k--)
          res = scm_cons (scm_make_real (data[k]), res);
        return res;
       }
     case scm_tc7_cvect:
       {
        double (*data)[2] = (double (*)[2]) SCM_VELTS (v);
-       for (k = SCM_LENGTH (v) - 1; k >= 0; k--)
+       for (k = SCM_UVECTOR_LENGTH (v) - 1; k >= 0; k--)
          res = scm_cons (scm_make_complex (data[k][0], data[k][1]), res);
        return res;
       }
@@ -2138,8 +2141,6 @@ SCM_DEFINE (scm_array_to_list, "array->list", 1, 0, 0,
 #undef FUNC_NAME
 
 
-static char s_bad_ralst[] = "Bad scm_array contents list";
-
 static int l2ra(SCM lst, SCM ra, scm_sizet base, scm_sizet k);
 
 SCM_DEFINE (scm_list_to_uniform_array, "list->uniform-array", 3, 0, 0,
@@ -2167,7 +2168,6 @@ SCM_DEFINE (scm_list_to_uniform_array, "list->uniform-array", 3, 0, 0,
   ra = scm_dimensions_to_uniform_array (scm_reverse (shp), prot,
                                        SCM_UNDEFINED);
   if (SCM_NULLP (shp))
-
     {
       SCM_ASRTGO (1 == scm_ilength (lst), badlst);
       scm_array_set_x (ra, SCM_CAR (lst), SCM_EOL);
@@ -2175,15 +2175,15 @@ SCM_DEFINE (scm_list_to_uniform_array, "list->uniform-array", 3, 0, 0,
     }
   if (!SCM_ARRAYP (ra))
     {
-      for (k = 0; k < SCM_LENGTH (ra); k++, lst = SCM_CDR (lst))
+      unsigned long int length = SCM_INUM (scm_uniform_vector_length (ra));
+      for (k = 0; k < length; k++, lst = SCM_CDR (lst))
        scm_array_set_x (ra, SCM_CAR (lst), SCM_MAKINUM (k));
       return ra;
     }
   if (l2ra (lst, ra, SCM_ARRAY_BASE (ra), 0))
     return ra;
   else
-    badlst:scm_wta (lst, s_bad_ralst, FUNC_NAME);
-  return SCM_BOOL_F;
+    badlst:SCM_MISC_ERROR ("Bad scm_array contents list: ~S", SCM_LIST1 (lst));
 }
 #undef FUNC_NAME
 
@@ -2229,7 +2229,9 @@ static void
 rapr1 (SCM ra,scm_sizet j,scm_sizet k,SCM port,scm_print_state *pstate)
 {
   long inc = 1;
-  long n = SCM_LENGTH (ra);
+  long n = (SCM_TYP7 (ra) == scm_tc7_smob
+           ? 0
+           : SCM_INUM (scm_uniform_vector_length (ra)));
   int enclosed = 0;
 tail:
   switch SCM_TYP7 (ra)
@@ -2289,16 +2291,16 @@ tail:
       break;
     case scm_tc7_string:
       if (n-- > 0)
-       scm_iprin1 (SCM_MAKE_CHAR (SCM_UCHARS (ra)[j]), port, pstate);
+       scm_iprin1 (SCM_MAKE_CHAR (SCM_STRING_UCHARS (ra)[j]), port, pstate);
       if (SCM_WRITINGP (pstate))
        for (j += inc; n-- > 0; j += inc)
          {
            scm_putc (' ', port);
-           scm_iprin1 (SCM_MAKE_CHAR (SCM_UCHARS (ra)[j]), port, pstate);
+           scm_iprin1 (SCM_MAKE_CHAR (SCM_STRING_UCHARS (ra)[j]), port, pstate);
          }
       else
        for (j += inc; n-- > 0; j += inc)
-         scm_putc (SCM_CHARS (ra)[j], port);
+         scm_putc (SCM_STRING_CHARS (ra)[j], port);
       break;
     case scm_tc7_byvect:
       if (n-- > 0)
@@ -2433,7 +2435,7 @@ tail:
        {                       /* a uve, not an scm_array */
          register long i, j, w;
          scm_putc ('*', port);
-         for (i = 0; i < (SCM_LENGTH (exp)) / SCM_LONG_BIT; i++)
+         for (i = 0; i < (SCM_BITVECTOR_LENGTH (exp)) / SCM_LONG_BIT; i++)
            {
              scm_bits_t w = SCM_UNPACK (SCM_VELTS (exp)[i]);
              for (j = SCM_LONG_BIT; j; j--)
@@ -2442,10 +2444,10 @@ tail:
                  w >>= 1;
                }
            }
-         j = SCM_LENGTH (exp) % SCM_LONG_BIT;
+         j = SCM_BITVECTOR_LENGTH (exp) % SCM_LONG_BIT;
          if (j)
            {
-             w = SCM_UNPACK (SCM_VELTS (exp)[SCM_LENGTH (exp) / SCM_LONG_BIT]);
+             w = SCM_UNPACK (SCM_VELTS (exp)[SCM_BITVECTOR_LENGTH (exp) / SCM_LONG_BIT]);
              for (; j; j--)
                {
                  scm_putc (w & 1 ? '1' : '0', port);
@@ -2503,11 +2505,10 @@ SCM_DEFINE (scm_array_prototype, "array-prototype", 1, 0, 0,
   int enclosed = 0;
   SCM_ASRTGO (SCM_NIMP (ra), badarg);
 loop:
-  switch SCM_TYP7
-    (ra)
+  switch SCM_TYP7 (ra)
     {
     default:
-    badarg:SCM_WTA (1,ra);
+    badarg:SCM_WRONG_TYPE_ARG (1, ra);
     case scm_tc7_smob:
       SCM_ASRTGO (SCM_ARRAYP (ra), badarg);
       if (enclosed++)
@@ -2528,10 +2529,10 @@ loop:
     case scm_tc7_ivect:
       return SCM_MAKINUM (-1L);
     case scm_tc7_svect:
-      return SCM_CDR (scm_intern ("s", 1));
+      return scm_str2symbol ("s");
 #ifdef HAVE_LONG_LONGS
     case scm_tc7_llvect:
-      return SCM_CDR (scm_intern ("l", 1));
+      return scm_str2symbol ("l");
 #endif
     case scm_tc7_fvect:
       return scm_make_real (1.0);
@@ -2545,29 +2546,31 @@ loop:
 
 
 static SCM
-markra (SCM ptr)
+array_mark (SCM ptr)
 {
   return SCM_ARRAY_V (ptr);
 }
 
 
 static scm_sizet
-freera (SCM ptr)
+array_free (SCM ptr)
 {
-  scm_must_free (SCM_CHARS (ptr));
+  scm_must_free (SCM_ARRAY_MEM (ptr));
   return sizeof (scm_array) + SCM_ARRAY_NDIM (ptr) * sizeof (scm_array_dim);
 }
 
 void
 scm_init_unif ()
 {
-  scm_tc16_array = scm_make_smob_type_mfpe ("array", 0,
-                                           markra,
-                                           freera,
-                                           scm_raprin1,
-                                           scm_array_equal_p);
+  scm_tc16_array = scm_make_smob_type ("array", 0);
+  scm_set_smob_mark (scm_tc16_array, array_mark);
+  scm_set_smob_free (scm_tc16_array, array_free);
+  scm_set_smob_print (scm_tc16_array, scm_raprin1);
+  scm_set_smob_equalp (scm_tc16_array, scm_array_equal_p);
   scm_add_feature ("array");
+#ifndef SCM_MAGIC_SNARFER
 #include "libguile/unif.x"
+#endif
 }
 
 /*